Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields

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.

Abstract

Abstract is missing.