scientific article; zbMATH DE number 1157657
From MaRDI portal
Publication:4391222
zbMath0900.03059MaRDI QIDQ4391222
Publication date: 13 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
This page was built for publication: