A Machine-Independent Theory of the Complexity of Recursive Functions.

Published in: J. ACM (1967)

Keyphrases

recursive functions
inductive inference
theoretical framework
theoretical basis
computational complexity
decision problems
general theory
neural network
computational cost
scheduling problem
space complexity