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. © 1987, ACM. All rights reserved.
Cite
CITATION STYLE
APA
Toyama, Y. (1987). On the Church-Rosser property for the direct sum of term rewriting systems. Journal of the ACM (JACM), 34(1), 128–143. https://doi.org/10.1145/7531.7534
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free