𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Church-Rosser converters

✍ Scribed by V. M. Glushkov; A. V. Anisimov

Publisher
Springer US
Year
1980
Tongue
English
Weight
974 KB
Volume
15
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Testing for the Church-Rosser property
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