On a complexity-based way of constructivizing the recursive functions.

F. W. Kroon Walter A. Burkhard

Published in: Stud Logica (1990)

Keyphrases

machine learning
recursive functions
inductive inference
active learning
worst case
database
genetic algorithm
decision problems
complexity analysis
hypothesis spaces