✦ LIBER ✦

The Church-Rosser property and special Thue systems

✍ Scribed by D. Kapur; P. Narendran; M.S. Krishnamoorthy; R. McNaughton

Book ID: 107948539
Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 615 KB
Volume: 39
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90134-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Thue congruences and the Church-Rosser p

Thue congruences and the Church-Rosser property

✍ Ronald V. Book; Celm P. O'Dunlaing 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 519 KB

Undecidable questions related to Church-

Undecidable questions related to Church-Rosser Thue systems

✍ Colm Ó'Dúnlaing 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 792 KB

Church–Rosser Thue Systems that Present

Church–Rosser Thue Systems that Present Free Monoids

✍ Otto, Friedrich 📂 Article 📅 1986 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 904 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

Some polynomial-time algorithms for fini

Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems

✍ Paliath Narendran; Friedrich Otto 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 879 KB