Ginisti, Jean-Pierre Combinatory logic. (La logique combinatoire.) (French) Zbl 0873.03011 Que sais-je? Paris: Presses Universitaires de France. 127 p. (1997). Reviewer: A.Cantini (Firenze) MSC: 03B40 03-01 00A06 PDFBibTeX XMLCite \textit{J.-P. Ginisti}, La logique combinatoire. Paris: Presses Universitaires de France (1997; Zbl 0873.03011)
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
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
van Daalen, Diederik Ton The language theory of Automath. (English) Zbl 0422.68045 Eindhoven: Technische Hogeschool. VI, 309 p. (1980). MSC: 68T15 68T99 68-02 03B40 03B35 03-02 PDFBibTeX XML