From a Noncomputability Result to new interesting Definitions and Computability Results.

Francis Sergeraert

Browse the full ISSAC paper archive.