Author:
Baaz Matthias,Leitsch Alexander
Reference24 articles.
1. M. Aigner, G.M. Ziegler: Proofs from THE BOOK. Springer, Berlin, 1998.
2. P.B. Andrews: Resolution in Type Theory. Journal of Symbolic Logic, 36, pp. 414–432, 1971.
3. M. Baaz, S. Hetzl, A. Leitsch, C. Richter, H. Spohr: Cut-Elimination: Experiments with CERES. Proceedings of LPAR 2004, Lecture Notes in Computer Science 3452, pp. 481–495, 2005.
4. M. Baaz, S. Hetzl, A. Leitsch, C. Richter, H. Spohr: Proof Transformation by CERES. In: J.M. Borwein, W.M. Farmer (eds.), MKM 2006, LNCS (LNAI), vol. 4108, pp. 82–93. Springer, Heidelberg, 2006.
5. M. Baaz, S. Hetzl, A. Leitsch, C. Richter, H. Spohr: CERES: An Analysis of Fürstenberg’s Proof of the Infinity of Primes. Theoretical Computer Science, 403 (2–3), pp. 160–175, 2008.