scientific article; zbMATH DE number 524142
From MaRDI portal
Publication:4284631
zbMath0799.68082MaRDI QIDQ4284631
Publication date: 13 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Proof complexity in algebraic systems and bounded depth Frege systems with modular counting ⋮ Natural proofs ⋮ Unnamed Item
This page was built for publication: