Definability in the enumeration degrees.

Theodore A. Slaman W. Hugh Woodin

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

Keyphrases

fixed point
propositional logic
search space
database
dynamic programming
databases
machine learning
decision making
high level
relational databases
management system