Book, Ronald V. Thue systems as rewriting systems. (English) Zbl 0638.68091 J. Symb. Comput. 3, 39-68 (1987). Reviewer: S.P.Yukna MSC: 68Q45 68T15 03D03 03D15 68Q25 PDFBibTeX XMLCite \textit{R. V. Book}, J. Symb. Comput. 3, 39--68 (1987; Zbl 0638.68091) Full Text: DOI
Gallier, Jean H.; Book, Ronald V. Reductions in tree replacement systems. (English) Zbl 0602.68072 Theor. Comput. Sci. 37, 123-150 (1985). MSC: 68Q45 03D03 PDFBibTeX XMLCite \textit{J. H. Gallier} and \textit{R. V. Book}, Theor. Comput. Sci. 37, 123--150 (1985; Zbl 0602.68072) Full Text: DOI
Book, Ronald V. A note on special Thue systems with a single defining relation. (English) Zbl 0505.03019 Math. Syst. Theory 16, 57-60 (1983). MSC: 03D03 PDFBibTeX XMLCite \textit{R. V. Book}, Math. Syst. Theory 16, 57--60 (1983; Zbl 0505.03019) Full Text: DOI
Book, Ronald V.; Jantzen, Matthias; Wrathall, Celia Monadic Thue systems. (English) Zbl 0488.03020 Theor. Comput. Sci. 19, 231-251 (1982). MSC: 03D03 68Q45 PDFBibTeX XMLCite \textit{R. V. Book} et al., Theor. Comput. Sci. 19, 231--251 (1982; Zbl 0488.03020) Full Text: DOI
Book, Ronald V.; O’Dunlaing, Colm P. Thue congruences and the Church-Rosser property. (English) Zbl 0482.03017 Semigroup Forum 22, 367-379 (1981). MSC: 03D03 03B25 20M99 PDFBibTeX XMLCite \textit{R. V. Book} and \textit{C. P. O'Dunlaing}, Semigroup Forum 22, 367--379 (1981; Zbl 0482.03017) Full Text: DOI EuDML
Book, Ronald V.; O’Dunlaing, Colm P. Testing for the Church-Rosser property. (English) Zbl 0479.68035 Theor. Comput. Sci. 16, 223-229 (1981). MSC: 68Q65 03D03 PDFBibTeX XMLCite \textit{R. V. Book} and \textit{C. P. O'Dunlaing}, Theor. Comput. Sci. 16, 223--229 (1981; Zbl 0479.68035) Full Text: DOI
Book, Ronald V. NTS grammars and Church-Rosser systems. (English) Zbl 0476.68053 Inf. Process. Lett. 13, 73-76 (1981). MSC: 68Q45 03D03 PDFBibTeX XMLCite \textit{R. V. Book}, Inf. Process. Lett. 13, 73--76 (1981; Zbl 0476.68053) Full Text: DOI