Recursion theory and computational complexity: lectures given at a summer school of the centro internazionale matematico estivo (c.i.m.e.) held in bressanone (bolzano), italy, june 14-23, 1979
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642110719
Date de publication :
30 nov. 2010
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory.