Isomorphism theorem for BSS recursively enumerable sets over real closed fields

• Authors:

• C. Michaux;C. Troestler

• Affiliations:

• Univ. de Mons-Hainaut, Mons, Belgium;Univ. de Mons-Hainaut, Mons, Belgium

• Venue:
• Theoretical Computer Science - Special issue on universal machines and computations
• Year:
• 2000