Bounds for proof-search and speed-up in the predicate calculus
- 31 December 1978
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 15 (3), 225-287
- https://doi.org/10.1016/0003-4843(78)90011-6
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- An abstract Church-Rosser theorem. II: ApplicationsThe Journal of Symbolic Logic, 1974
- Sets of theorems with short proofsThe Journal of Symbolic Logic, 1974
- Some results on the length of proofsTransactions of the American Mathematical Society, 1973
- An Abstract form of the church-rosser theorem. IThe Journal of Symbolic Logic, 1970
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965