Decidability of the graph of a map in the model of Blum, Shub and Smale. - Corine Ceola (CCA, 1996)

Computability of a Map and Decidability of its Graph in the Model of Blum, Shub and Smale. - Corine Ceola; Pierre B. A. Lecomte (Theor. Comput. Sci., 1998)