KBlab: An equational theorem prover for the Macintosh
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- On word problems in equational theoriesPublished by Springer Nature ,1987
- A foray into combinatory logicJournal of Automated Reasoning, 1986
- A Strong restriction of the inductive completion procedureLecture Notes in Computer Science, 1986
- A superposition oriented theorem proverTheoretical Computer Science, 1985
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- A complete proof of correctness of the Knuth-Bendix completion algorithmJournal of Computer and System Sciences, 1981