✦ LIBER ✦

Church–Rosser Thue Systems that Present Free Monoids

✍ Scribed by Otto, Friedrich

Book ID: 118174131
Publisher: Society for Industrial and Applied Mathematics
Year: 1986
Tongue: English
Weight: 904 KB
Volume: 15
Category: Article
ISSN: 0097-5397
DOI: 10.1137/0215056

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

Undecidable questions related to Church-

Undecidable questions related to Church-Rosser Thue systems

✍ Colm Ó'Dúnlaing 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 792 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

Conjugacy in monoids with a special Chur

Conjugacy in monoids with a special Church-Rosser presentation is decidable

✍ Friedrich Otto 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 666 KB

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Deciding algebraic properties of monoids presented by finite church-rosser Thue systems

✍ Jouannaud, Jean-Pierre 📂 Article 📅 1985 🏛 Springer Berlin Heidelberg ⚖ 742 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