Paper Info
Title
On the Church-Rosser property for the direct sum of term rewriting systems
Abstract
The direct sum of two term rewriting systems is the union of systems having disjoint sets of function symbols. It is shown that if two term rewriting systems both have the Chruch-Rosser property, then the direct sum of these systems also has this property.
Year
DOI
Venue
1987
10.1145/7531.7534
J. ACM
Keywords
Field
DocType
term rewriting system,Church-Rosser property,direct sum,Chruch-Rosser property,reduction system,function symbol,additional key words and phrases: church-rosser property,disjoint set,nonlinear rewriting rule
Discrete mathematics,Combinatorics,Disjoint sets,Computer science,Direct sum,Rewriting
Journal
Volume
Issue
ISSN
34
1
0004-5411
Citations 
PageRank 
References 
108
14.10
2
Authors
1
Search Limit
100108
Name
Order
Citations
PageRank
Yoshihito Toyama153349.60