×

zbMATH — the first resource for mathematics

A machine-independent theory of the complexity of recursive functions. (English) Zbl 0155.01503

MSC:
03D20 Recursive functions and relations, subrecursive hierarchies
03D15 Complexity of computation (including implicit computational complexity)
PDF BibTeX XML Cite
Full Text: DOI