Normal Form Transformations
- 1 January 2001
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- Cut normal forms and proof complexityAnnals of Pure and Applied Logic, 1999
- The Taming of the Cut. Classical Refutations with Analytic CutJournal of Logic and Computation, 1994
- ON SKOLEMIZATION AND PROOF COMPLEXITYFundamenta Informaticae, 1994
- An optimality result for clause form translationJournal of Symbolic Computation, 1992
- Complexity of resolution proofs and function introductionAnnals of Pure and Applied Logic, 1992
- Are tableaux an improvement on truth-tables?Journal of Logic, Language and Information, 1992
- The halting problemACM SIGACT News, 1987
- Theorem Proving via General MatingsJournal of the ACM, 1981
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979
- Resolution in type theoryThe Journal of Symbolic Logic, 1971