On the Church-Rosser property for the direct sum of term rewriting systems

Yoshihito Toyama

Research output: Contribution to journalArticle

123 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 if two term rewriting systems both have the Chruch-Rosser property, then the direct sum of these systems also has this property.

Original languageEnglish
Pages (from-to)128-143
Number of pages16
JournalJournal of the ACM (JACM)
Volume34
Issue number1
DOIs
Publication statusPublished - 1987 Jan 1

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'On the Church-Rosser property for the direct sum of term rewriting systems'. Together they form a unique fingerprint.

  • Cite this