Categories and Subject Descriptors: F.4.2 [Mathematical Logic and Formal Languages]: Grammars and Other Rewriting Systems
General Terms: Theory
Additional Key Words and Phrases: Confluence, left-linearity, term rewriting systems
Selected papers that cite this one
- Massimo Marchiori. Bubbles in modularity. Theoretical Computer Science, 192(1):31-54, 10 February 1998.
Selected references
- Gérard Huet. Confluent reductions: Abstract properties and application to term rewriting systems. Journal of the ACM, 27(4):797-821, October 1980.
- Aart Middeldorp. A sufficient condition for the termination of the direct sum of term rewriting systems. In Proceedings, Fourth Annual Symposium on Logic in Computer Science, pages 396-401, Asilomar Conference Center, Pacific Grove, California, 5-8 June 1989. IEEE Computer Society Press.
- Yoshihito Toyama. On the Church-Rosser property for the direct sum of term rewriting systems. Journal of the ACM, 34(1):128-143, January 1987.