@INPROCEEDINGS {4690,
author={D. Graça and N. Zhong and J. Buescu},
doi={},
booktitle={Conf. on Real Numbers and Computers - RNC},
title={The ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable},
year={2006},
month={July},
volume={none},
pages={33-40} 
}