✦ LIBER ✦

Thue congruences and the Church-Rosser property

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

Book ID: 110560079
Publisher: Springer
Year: 1981
Tongue: English
Weight: 519 KB
Volume: 22
Category: Article
ISSN: 0037-1912
DOI: 10.1007/bf02572815

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Church-Rosser property and special T

The Church-Rosser property and special Thue systems

✍ D. Kapur; P. Narendran; M.S. Krishnamoorthy; R. McNaughton 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 615 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

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

Testing for the Church-Rosser property

✍ Ronald V. Book; Colm P. O'Dunlaing 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 845 KB

Polymorphic lambda calculus: the Church-

Polymorphic lambda calculus: the Church-Rosser property

✍ George Koletsos 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 366 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