Counterexamples to termination for the direct sum of term rewriting systems

Yoshihito Toyama

Research output: Contribution to journalArticlepeer-review

135 Citations (Scopus)

Abstract

The direct sum of two term rewriting systems is the union of systems having disjoint sets of function symbols. It is shown that the direct sum of two term rewriting systems is not terminating, even if these systems are both terminating.

Original languageEnglish
Pages (from-to)141-143
Number of pages3
JournalInformation Processing Letters
Volume25
Issue number3
DOIs
Publication statusPublished - 1987 May 29

Keywords

  • Term rewriting system
  • termination

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Counterexamples to termination for the direct sum of term rewriting systems'. Together they form a unique fingerprint.

Cite this