Definable Structures in the Lattice of Recursively Enumerable Sets.

Eberhard Herrmann

Published in: J. Symb. Log. (1984)

Keyphrases

recursive functions
inductive inference
data mining
pattern recognition
active learning
semi supervised
worst case
real valued functions