Thue congruences and the Church-Rosser property
From MaRDI portal
Publication:1162505
DOI10.1007/BF02572815zbMath0482.03017MaRDI QIDQ1162505
Colm P. O'Dunlaing, Ronald V. Book
Publication date: 1981
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/134494
03B25: Decidability of theories and sets of sentences
20M99: Semigroups
03D03: Thue and Post systems, etc.
Related Items
SOME EXACT SEQUENCES FOR THE HOMOTOPY (BI-)MODULE OF A MONOID, Restrictions of congruences generated by finite canonical string-rewriting systems, Decision problems for finite special string-rewriting systems that are confluent on some congruence class, On two problems related to cancellativity, Complexity of certain decision problems about congruential languages, Thue systems as rewriting systems, When is an extension of a specification consistent? Decidable and undecidable cases, Infinite regular Thue systems, Undecidable questions related to Church-Rosser Thue systems
Cites Work