Congruence Relations on Lattices of Recursively Enumerable Sets.

John Todd Hammond

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

Keyphrases

rough approximations
recursive functions
inductive inference
recursively enumerable
decision trees
active learning