✦ LIBER ✦

Complexity Versus the Church-Rosser Property and Confluence

✍ Scribed by H. Luckhardt

Publisher: John Wiley and Sons
Year: 1991
Tongue: English
Weight: 389 KB
Volume: 37
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19910370504

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing for the Church-Rosser property

✍ Ronald V. Book; Colm P. O'Dunlaing 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 845 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

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

Algorithmic decidability of the Church-R

Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions

✍ Yu. A. Yushchenko 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 498 KB

An extension of Klop's counterexample to

An extension of Klop's counterexample to the Church-Rosser property to λ-calculus with other ordered pair combinators

✍ M.W. Bunder 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 268 KB