Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields.

Christian Michaux, Christophe Troestler

Browse the full MCU paper archive.