scientific article
From MaRDI portal
Publication:3140631
zbMath0812.03024MaRDI QIDQ3140631
Publication date: 2 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). ⋮ Cut-elimination: syntax and semantics ⋮ Bounded arithmetic, proof complexity and two papers of Parikh
This page was built for publication:
