Shortening proofs by quantifier introduction
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 148-159
- https://doi.org/10.1007/bfb0013057
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Complexity of resolution proofs and function introductionAnnals of Pure and Applied Logic, 1992
- Relative Complexities of First Order CalculiPublished by Springer Nature ,1992
- Automated Theorem ProvingPublished by Springer Nature ,1987