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.
No references recorded for this publication.
No citations of this publication recorded.