Computational Aspects of Σ-Definability over the Real Numbers without the Equality Test
2003 ◽
pp. 330-344
◽
2002 ◽
Vol 66
(1)
◽
pp. 104-112
◽
2011 ◽
Vol 54
(2)
◽
pp. 411-422
1986 ◽
pp. 63-66