On the practical value of different definitional translations to normal form
Authors:
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 403-417
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A note on assumptions about Skolem functionsJournal of Automated Reasoning, 1995
- On the value of antiprenexingLecture Notes in Computer Science, 1994
- Controlled integration of the cut rule into connection tableau calculiJournal of Automated Reasoning, 1994
- Relative Complexities of First Order Calculi1992
- Minimizing the number of clauses by renaming1990
- The halting problemACM SIGACT News, 1987
- Automated Theorem Proving1987
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- On the Complexity of Derivation in Propositional Calculus1983
- Theorem Proving via General MatingsJournal of the ACM, 1981