On the Church-Rosser property for the direct sum of term rewriting systems
- 1 January 1987
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 34 (1) , 128-143
- https://doi.org/10.1145/7531.7534
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.Keywords
This publication has 3 references indexed in Scilit:
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Church-Rosser theorems for replacement systemsPublished by Springer Nature ,1975
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973