scientific article; zbMATH DE number 1471980
From MaRDI portal
Publication:4489064
zbMath0951.03052MaRDI QIDQ4489064
Michael Soltys, Stephen A. Cook
Publication date: 9 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)
Related Items
Transformations into Normal Forms for Quantified Circuits ⋮ Complexity of fixed-size bit-vector logics ⋮ Partial-order Boolean games: informational independence in a logic-based model of strategic interaction ⋮ Sprague-Grundy theory in bounded arithmetic
This page was built for publication: