Christian Michaux, Christophe Troestler. Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields. In Maurice Margenstern, editor, International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I. pages 116-139, IUT Metz, 1998.
@inproceedings{MichauxT98,
title = {Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields},
author = {Christian Michaux and Christophe Troestler},
year = {1998},
researchr = {https://researchr.org/publication/MichauxT98},
cites = {0},
citedby = {0},
pages = {116-139},
booktitle = {International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I},
editor = {Maurice Margenstern},
publisher = {IUT Metz},
isbn = {2-9511539-2-9},
}