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


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database