scientific article
From MaRDI portal
Publication:3717026
zbMath0589.03010MaRDI QIDQ3717026
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantifier eliminationprocedureconstructible settheoremprenex first order formulastime boundBezout's
Model-theoretic algebra (03C60) Complexity of computation (including implicit computational complexity) (03D15) Applications of logic to commutative algebra (13L05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Elementary questions in algebraic geometry (14A25)
Related Items (2)
The membership problem for unmixed polynomial ideals is solvable in single exponential time ⋮ Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields
This page was built for publication: