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

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

doi:10.1145/227683.227689

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

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

Systems & Software Division

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

23 Citations (Scopus)

Original language	English
Pages (from-to)	1275-1304
Number of pages	30
Journal	Journal of the ACM (JACM)
Volume	42
Issue number	6
DOIs	https://doi.org/10.1145/227683.227689
Publication status	Published - 1995 Nov 1

ASJC Scopus subject areas

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

Access to Document

10.1145/227683.227689

Cite this

@article{2f5ecafb58e64aaf8a5a04b93351f67e,

title = "Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems",

author = "Y. Toyama and Klop, {J. W.} and Barendregt, {H. P.}",

year = "1995",

month = nov,

day = "1",

doi = "10.1145/227683.227689",

language = "English",

volume = "42",

pages = "1275--1304",

journal = "Journal of the ACM",

issn = "0004-5411",

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

number = "6",

}

TY - JOUR

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

AU - Toyama, Y.

AU - Klop, J. W.

AU - Barendregt, H. P.

PY - 1995/11/1

Y1 - 1995/11/1

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

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

U2 - 10.1145/227683.227689

DO - 10.1145/227683.227689

M3 - Article

AN - SCOPUS:84976820146

VL - 42

SP - 1275

EP - 1304

JO - Journal of the ACM

JF - Journal of the ACM

SN - 0004-5411

IS - 6

ER -

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

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this