scientific article

zbMath0973.03045MaRDI QIDQ2753666

Bruno Poizat

Publication date: 3 December 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

\(\mathbf P =\mathbf{NP}\) for some structures over the binary words