๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Complexity Versus the Church-Rosser Property and Confluence

โœ Scribed by H. Luckhardt


Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
389 KB
Volume
37
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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-
โœ 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