7 citations · 9 across the 7 of their papers we have counts for
1 paper · 1 filter
David Cerna, Alexander Leitsch, Anela Lolic
Proof schemata are infinite sequences of proofs which are defined inductively. In this paper we present a general framework for schemata of terms, formulas and unifiers and define…