Book, Ronald V. Confluent and other types of Thue systems. (English) Zbl 0478.68032 J. Assoc. Comput. Mach. 29, 171-182 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 85 Documents MSC: 68Q65 Abstract data types; algebraic specification 03D03 Thue and Post systems, etc. 68Q45 Formal languages and automata 03D40 Word problems, etc. in computability and recursion theory 03B25 Decidability of theories and sets of sentences Keywords:Thue congruence; confluent systems; Church-Rosser system; preperfect system; deterministic context-free language; word problems PDF BibTeX XML Cite \textit{R. V. Book}, J. Assoc. Comput. Mach. 29, 171--182 (1982; Zbl 0478.68032) Full Text: DOI