On the practical value of different definitional translations to normal form
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Comparison of natural deduction and locking resolution implementationsPublished by Springer Nature ,2005
- A note on assumptions about Skolem functionsJournal of Automated Reasoning, 1995
- On the value of antiprenexingPublished by Springer Nature ,1994
- Controlled integration of the cut rule into connection tableau calculiJournal of Automated Reasoning, 1994
- Relative Complexities of First Order CalculiPublished by Springer Nature ,1992
- The halting problemACM SIGACT News, 1987
- Automated Theorem ProvingPublished by Springer Nature ,1987
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- On the Complexity of Derivation in Propositional CalculusPublished by Springer Nature ,1983
- Theorem Proving via General MatingsJournal of the ACM, 1981