researchers with a paper here
collaborating institutions

1 paper

cs.LO2025

Towards an Analysis of Proofs in Arithmetic

Alexander Leitsch, Anela Lolić, Stella Mahler

Inductive proofs can be represented as proof schemata, i.e. as parameterized sequences of proofs defined in a primitive recursive way. Applications of proof schemata can be found i…