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

Margarita V. Korovina (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics