A Lazy Approach to Fully-Expansive Theorem Proving
- 1 January 1993
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Computational metatheory in NuprlPublished by Springer Nature ,2005
- Automating most parts of hardware proofs in HOLPublished by Springer Nature ,1992
- Experiments with proof plans for inductionJournal of Automated Reasoning, 1991
- Centaur: the systemPublished by Association for Computing Machinery (ACM) ,1988
- A higher-order implementation of rewritingScience of Computer Programming, 1983