Applications of real recursive infinite limits - Gomes, Luís Mendes (2008)
Doutor in Informatics, speciality of Theory of Computation