Journal of the ACM Bibliography
Y. Toyama, Jan Willem Klop, and H. P. Barendregt. Termination
for direct sums of left-linear complete term rewriting systems.
Journal of the ACM, 42(6):1275-1304, November 1995.
[BibTeX entry]
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
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.
Shortcuts: