Author:
Hetzl Stefan,Libal Tomer,Riener Martin,Rukhaia Mikheil
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Herbrand, J.: Recherches sur la théorie de la démonstration. PhD thesis, Université de Paris (1930)
2. Lecture Notes in Computer Science;S.R. Buss,1995
3. Miller, D.: A Compact Representation of Proofs. Studia Logica 46(4), 347–370 (1987)
4. Baaz, M., Leitsch, A.: Cut-elimination and Redundancy-elimination by Resolution. Journal of Symbolic Computation 29(2), 149–176 (2000)
5. Luckhardt, H.: Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken. Journal of Symbolic Logic 54(1), 234–263 (1989)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献