Cheap Non-Standard Analysis and Computability: Some Applications.

Olivier Bournez, Sabrina Ouazzani

Browse the full SYNASC paper archive.