×

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