Keyword:Proof Schema

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