Complexity Classes of Provable Recursive Functions.

Published in: J. Comput. Syst. Sci. (1979)

Keyphrases

recursive functions
inductive inference
intrinsic complexity
tractable cases
machine learning
computational complexity
feature selection
active learning
domain knowledge
computational cost
worst case
space complexity
classes of recursive functions