Definable Properties of the Computably Enumerable Sets.

Leo Harrington Robert I. Soare

Published in: Ann. Pure Appl. Log. (1998)

Keyphrases

closed sets
desirable properties
approximation spaces
real world
machine learning
computer vision
e learning
image sequences
bayesian networks
learning environment
relational databases
structural properties
binary relations
logical equivalence