págs. 147-160
On Genericity and Ershov's Hierarchy
A. Gale, R. Downey
págs. 161-182
págs. 183-186
Heyting Algebras with Operators
Y. Hasimoto
págs. 187-196
págs. 197-204
págs. 205-210
págs. 211-222
págs. 223-238
Prediction in Branching Time Logic
G. Bonanno
págs. 239-248
págs. 249-270
Infinite Time Turing Machines With Only One Tape
D. E. Seabold, J. D. Hamkins
págs. 271-287
© 2001-2024 Fundación Dialnet · Todos los derechos reservados