scientific article
From MaRDI portal
Publication:3758811
zbMath0622.03021MaRDI QIDQ3758811
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
A bibliography of quantifier elimination for real closed fields ⋮ Some aspects of complexity in real algebraic geometry