✦ LIBER ✦

Testing for the Church-Rosser property

✍ Scribed by Ronald V. Book; Colm P. O'Dunlaing

Publisher: Elsevier Science
Year: 1981
Tongue: English
Weight: 845 KB
Volume: 16
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(81)90078-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An O(|T|3) algorithm for testing the Chu

An O(|T|3) algorithm for testing the Church-Rosser property of thue systems

✍ D. Kapur; M.S. Krishnamoorthy; R. McNaughton; P. Narendran 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 342 KB

Complexity Versus the Church-Rosser Prop

Complexity Versus the Church-Rosser Property and Confluence

✍ H. Luckhardt 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 389 KB

Homogeneous Thue systems and the Church-

Homogeneous Thue systems and the Church-Rosser property

✍ Ronald V Book 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Homogeneous Thue systems are considered. It is shown that if a homogeneous Thue system is not Church-Rosser, then there is no Chttrch-Rosser system that is equivalent to it. This result contrasts with the theorems of 0'Dfnlaing [10,11] showing that it is undecidable whether the congruence generated

Church-Rosser Property for Some Extensio

Church-Rosser Property for Some Extensions of λβ-Reducibility Relation

✍ Andrei A. Kuzichev 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 591 KB

Semigroups presented by one relation and

Semigroups presented by one relation and satisfying the Church-Rosser property

✍ Yu. É. Trubitsyn 📂 Article 📅 1997 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 300 KB

Church–Rosser property of a simple reduc

Church–Rosser property of a simple reduction for full first-order classical natural deduction

✍ Y. Andou 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 131 KB

A system of typed terms which corresponds with the classical natural deduction with one conclusion and full logical symbols is deÿned. Church-Rosser property of the system is proved using an extended method of parallel reduction.