Perdrix, H. Propriétés Church-Rosser de systèmes de réecriture equationnels ayant la propriété de termination faible. (French) Zbl 0583.68005 Theoretical aspects of computer science, Symp., Paris 1984, Lect. Notes Comput. Sci. 166, 97-108 (1984). Reviewer: A.Pettorossi MSC: 68Q65 68T15 68Q55 PDFBibTeX XML
Winkler, Franz The Church Rosser property in computer algebra and special theorem proving: an investigation of critical pair/completion algorithms. (English) Zbl 0562.68023 Dissertationen der Johannes Kepler-Universität Linz, 49. Linz: Johannes Kepler-Universität; Wien: Verband der Wissenschaftlichen Gesellschaften Österreichs (VWGÖ) 193 p. ÖS 180.00; DM 27.00 (1984). Reviewer: V.Calmatuianu MSC: 68W30 68T15 68-02 PDFBibTeX XML