Publication:3140631
From MaRDI portal
zbMath0812.03024MaRDI QIDQ3140631
Publication date: 2 December 1993
03F20: Complexity of proofs
Related Items
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel)., Bounded arithmetic, proof complexity and two papers of Parikh, Cut-elimination: syntax and semantics