×

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)
Full Text: DOI