Author:Alexander Leitsch

Publications
Herbrand's Theorem in Inductive Proofs Alexander Leitsch and Anela Lolic In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
On Proof Schemata and Primitive Recursive Arithmetic Alexander Leitsch, Anela Lolic and Stella Mahler In:LPAR 2024 Complementary Volume
A Resolution Calculus for Second-order Logic with Eager Unification Alexander Leitsch and Tomer Libal In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning