Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test.

Margarita V. Korovina

Browse the full CSL paper archive.