Author:
Baaz Matthias,Leitsch Alexander
Subject
Computational Mathematics,Algebra and Number Theory
Reference16 articles.
1. Complexity of resolution proofs and function introduction;Baaz;Ann. Pure Appl. Log.,1992
2. On skolemization and proof complexity;Baaz;Fundam. Inform.,1994
3. M. Baaz, A. Leitsch, Proc. CSL’96, 1997, Springer, Berlin, 18, 33
4. Cut normal forms and proof complexity;Baaz;Ann. Pure Appl. Log.,1999
5. G. Défourneaux, N. Peltier, Proc. CADE-14, 1997, Springer, Berlin, 431, 445
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献