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.

Authors

Olivier Chapuis

This author has not been identified. Look up 'Olivier Chapuis' in Google

Pascal Koiran

This author has not been identified. Look up 'Pascal Koiran' in Google