7 citations · 9 across the 7 of their papers we have counts for
1 paper · 1 filter
Alexander Leitsch, Anela Lolic, Stella Mahler
Inductive proofs can be represented by proof schemata, a formalism that represents infinite sequences of proofs by recursive definitions. Since proof schemata avoid the explicit ap…