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

Yoshihito Toyama

doi:10.1145/7531.7534

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

Yoshihito Toyama

Systems & Software Division

Research output: Contribution to journal › Article › peer-review

124 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 language	English
Pages (from-to)	128-143
Number of pages	16
Journal	Journal of the ACM (JACM)
Volume	34
Issue number	1
DOIs	https://doi.org/10.1145/7531.7534
Publication status	Published - 1987 Jan 1

ASJC Scopus subject areas

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

Access to Document

10.1145/7531.7534

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

@article{53640bd1bc374840b17df0cde2fc0587,

title = "On the Church-Rosser property for the direct sum of term rewriting systems",

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.",

author = "Yoshihito Toyama",

year = "1987",

month = jan,

day = "1",

doi = "10.1145/7531.7534",

language = "English",

volume = "34",

pages = "128--143",

journal = "Journal of the ACM",

issn = "0004-5411",

publisher = "Association for Computing Machinery (ACM)",

number = "1",

}

TY - JOUR

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

AU - Toyama, Yoshihito

PY - 1987/1/1

Y1 - 1987/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0023252439&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023252439&partnerID=8YFLogxK

U2 - 10.1145/7531.7534

DO - 10.1145/7531.7534

M3 - Article

AN - SCOPUS:0023252439

VL - 34

SP - 128

EP - 143

JO - Journal of the ACM

JF - Journal of the ACM

SN - 0004-5411

IS - 1

ER -

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

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this