Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Baaz, M., Ciabattoni, A., Fermüller, C.: Cut elimination for first order gödel logic by hyperclause resolution. In: Logic for Programming, Artificial Intelligence, and Reasoning, pp. 451–466 (2008)
2. Baaz, M., Egly, U., Leitsch, A.: Normal form transformations. In: Voronkov, A., Robinson, A. (eds.) Handbook of Automated Reasoning, pp. 275–333. Elsevier, Amsterdam (2001)
3. Lecture Notes in Artificial Intelligence;M. Baaz,2005
4. Baaz, M., Leitsch, A.: Cut-elimination and Redundancy-elimination by Resolution. Journal of Symbolic Computation 29(2), 149–176 (2000)
5. Baaz, M., Leitsch, A.: Comparing the complexity of cut-elimination methods. Proof Theory in Computer Science, 49–67 (2001)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献