Author:
Baaz Matthias,Leitsch Alexander
Reference26 articles.
1. R. Aubin: Mechanizing Structural Induction I, II. Theoretical Computer Science 9 (1979) 329–362.
2. M. Baaz, Ch. G. Fermüller: Resolution for many-valued logics. In: A. Voronkov (ed.), Logic Programming and Automated Reasoning. Proc. LPAR’92, LNAI 624, pp. 107–118, Springer, Berlin, 1992.
3. M. Baaz, Ch. G. Fermüller, A. Leitsch: A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation. Proc. 9th LICS Symposium, IEEE Computer Society Press, Paris, 1994, pp. 213–219.
4. M. Baaz, A. Leitsch: The Complexity of Resolution Proofs and Function Introduction. Annals of Pure and Applied Logic 5 (1992) 181–215.
5. M. Baaz, A. Leitsch: On Skolemization and proof complexity. Fundamenta Informaticae 20 /4 (1994).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献