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.
Original language | English |
---|---|
Pages (from-to) | 128-143 |
Number of pages | 16 |
Journal | Journal of the ACM (JACM) |
Volume | 34 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1987 Jan 1 |
ASJC Scopus subject areas
- Software
- Control and Systems Engineering
- Information Systems
- Hardware and Architecture
- Artificial Intelligence