An extension of the Boyer-Moore Theorem Prover to support first-order quantification
- 1 December 1992
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 9 (3) , 355-372
- https://doi.org/10.1007/bf00245295
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Computer proofs in Group TheoryJournal of Automated Reasoning, 1990
- Proving proof rules: a proof system for concurrent programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Mechanically verifying concurrent programs with the Boyer-Moore proverIEEE Transactions on Software Engineering, 1990
- Subproblem finder and instance checker, two cooperating modules for theorem proversJournal of the ACM, 1986
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962