✦ LIBER ✦

Undecidable questions related to Church-Rosser Thue systems

✍ Scribed by Colm Ó'Dúnlaing

Publisher: Elsevier Science
Year: 1983
Tongue: English
Weight: 792 KB
Volume: 23
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(83)90039-7

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

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

Church-Rosser systems with respect to fo

Church-Rosser systems with respect to formal languages

✍ A. V. Anisimov; V. A. Oleshchuk 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 785 KB

Questions relating to the design of mult

Questions relating to the design of multilayer glass-reinforced-plastic systems in compression

✍ M. Z. Kanovich; A. L. Rabinovich 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 581 KB

Questions of personnel work and personne

Questions of personnel work and personnel policy in the administrative system of the refining and petrochemical industry of the USSR in relation to the resolutions of the XXIV Congress of the Communist Party of the Soviet Union

✍ V. G. Khor'kov 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 490 KB