9 citations · 10 across the 2 of their papers we have counts for
1 paper · 1 filter
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their resp…