The operator gap theorem in ...-recursion theory.
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 115-130
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Mots-clés :
alpha recursion theory, alpha complexity class, total alpha-effective operator, operator gap, computational complexity
@article{AMLG_1978__19_137950,
author = {Robert A. Di Paola},
title = {The operator gap theorem in ...-recursion theory.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {115--130},
publisher = {mathdoc},
volume = {19},
year = {1978},
zbl = {0412.03031},
url = {http://geodesic.mathdoc.fr/item/AMLG_1978__19_137950/}
}
Robert A. Di Paola. The operator gap theorem in ...-recursion theory.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 115-130. http://geodesic.mathdoc.fr/item/AMLG_1978__19_137950/