Narendran, Paliath; Otto, Friedrich Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems. (English) Zbl 0677.68050 Theor. Comput. Sci. 68, No. 3, 319-332 (1989). MSC: 68Q25 68Q65 03D03 03B25 68T15 68T99 PDFBibTeX XMLCite \textit{P. Narendran} and \textit{F. Otto}, Theor. Comput. Sci. 68, No. 3, 319--332 (1989; Zbl 0677.68050) Full Text: DOI
Benninghofen, B.; Kemmerich, S.; Richter, M. M. [Otto, F.] Systems of reductions. (English) Zbl 0636.68027 Lecture Notes in Computer Science, 277. Berlin etc.: Springer-Verlag. X, 265 p.; DM 40.50 (1987). Reviewer: J.Zlatuska MSC: 68Q65 08A50 20F10 20M35 03D60 68Q25 68Q45 68T15 68-02 03B25 PDFBibTeX XML