Index sets for computable differential equations
D. Cenzer, J. B. Remmel
pág. 329
R. Downey, G. Wu, X. Zheng
pág. 345
Two constructive embedding-extension theorems with applications
A. Bauer, A. Simpson
pág. 351
pág. 370
Density and Baire category in recursive topology
I. Kalantari
pág. 381
Computable operators on regular sets
M. Ziegler
pág. 392
pág. 405
pág. 417
Weak computability and representation of reals
R. Rettinger, X. Zheng
pág. 431
Spaces allowing Type-2 Complexity Theory revisited
Matthias Schröder
pág. 443
Baire category and nowhere differentiability for feasible functions
J. M. Breutzmann, J. H. Lutz, D. W. Juedes
pág. 460
pág. 473
pág. 486
First steps in constructive game theory
D. S. Bridges
pág. 501
pág. 507
pág. 520
© 2008-2024 Fundación Dialnet · Todos los derechos reservados