Provably recursive functions of constructive and relatively constructive theories.

Published in: Arch. Math. Log. (2010)

Keyphrases

recursive functions
inductive inference
information systems
databases
learning algorithm
social networks
case study
feature space
learning theory