Saturation and Stability in the Theory of Computation over the Reals

Olivier Chapuis, Pascal Koiran. Saturation and Stability in the Theory of Computation over the Reals. Annals of Pure and Applied Logic, 99(1-3):1-49, 1999.

Abstract

Abstract is missing.