Author:
Baaz Matthias,Fermüller Christian G.
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. M. Baaz, C.G. Fermüller, and A. Leitsch: A non-elementary speed up in proof length by structural clause form transformation. In: Proc. of the 9th IEEE Symp. on Logic in Comp. Sci., LICS 94, Paris, 1994.
2. M. Baaz and A. Leitsch: Complexity of resolution proofs and function introduction. Annals of Pure and Applied Logic 57 (1992), pp. 181–215.
3. B beckert, R. Hähnle and P. Schmitt: The even more liberalized δ-rule in free variable semantic tableaux. In: Computational Logic and Proof Theory, Prooceedings of the 3rd Kurt Gödel Colloquium, Brno, August 1993. Springer, LNCS 713, pp. 108-119.
4. M. Fitting: First-Order Logic and Automated Theorem Proving. Springer, New York, 1990.
5. R. Hähnle and P. Schmitt: The liberalized δ-rule in free variable semantic tableaux. Journal of Automated Reasoning, to appear.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献