Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems

Y. Toyama, J. W. Klop, H. P. Barendregt

Research output: Contribution to journalArticlepeer-review

23 Citations (Scopus)
Original languageEnglish
Pages (from-to)1275-1304
Number of pages30
JournalJournal of the ACM (JACM)
Volume42
Issue number6
DOIs
Publication statusPublished - 1995 Nov 1

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Information Systems
  • Hardware and Architecture
  • Artificial Intelligence

Cite this