Remarks on Tarski's problem concerning (R, +, *, exp)
- 1 January 1984
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Counting types of rigid frameworksInventiones Mathematicae, 1979
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975
- Regular stratificationsPublished by Springer Nature ,1975