Mathematics of computing at CiE 2005
págs. 735-736
Random reals and Lipschitz continuity
págs. 737-749
Continuous semantics for strong normalisation
págs. 751-762
On the complexity of inductive definitions
págs. 763-788
Schnorr dimension
págs. 789-811
Borel ranks and Wadge degrees of context free $\omega$-languages
págs. 813-840
Ordinal computations
págs. 867-884
A logical approach to abstract algebra
págs. 885-900
Uniform regular enumerations
págs. 901-924
An extremely sharp phase transition threshold for the slow growing hierarchy
págs. 925-946
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: