Okada, Mitsuhiro A logical analysis on theory of conditional rewriting. (English) Zbl 0667.68106 Conditional term rewriting systems, 1st. int. Workshop, Orsay/France 1987, Lect. Notes Comput.Sci. 308, 179-196 (1988). Reviewer: T.Tammet MSC: 68T15 03B35 PDFBibTeX XML
Desclés, Jean-Pierre Théorème de Church-Rosser et structuration des langues naturelles. (Church-Rosser theorem and structuration of natural languages). (French) Zbl 0663.03006 Math. Inf. Sci. Hum. 103, 67-92 (1988). MSC: 03B40 03B65 PDFBibTeX XMLCite \textit{J.-P. Desclés}, Math. Inf. Sci. Hum. 103, 67--92 (1988; Zbl 0663.03006) Full Text: Numdam EuDML
Shankar, N. A mechanical proof of the Church-Rosser theorem. (English) Zbl 0654.68103 J. Assoc. Comput. Mach. 35, No. 3, 475-522 (1988). Reviewer: A.Leitsch MSC: 68T15 03B35 03B40 PDFBibTeX XMLCite \textit{N. Shankar}, J. Assoc. Comput. Mach. 35, No. 3, 475--522 (1988; Zbl 0654.68103) Full Text: DOI
Kapur, Deepak; Musser, David R.; Narendran, Paliath Only prime superpositions need be considered in the Knuth-Bendix completion procedure. (English) Zbl 0651.68029 J. Symb. Comput. 6, No. 1, 19-36 (1988). MSC: 68Q65 68W30 68T15 PDFBibTeX XMLCite \textit{D. Kapur} et al., J. Symb. Comput. 6, No. 1, 19--36 (1988; Zbl 0651.68029) Full Text: DOI