The Dedekind Reals in Abstract Stone Duality.

Andrej Bauer Paul Taylor

Published in: CCA (2005)

Keyphrases

constraint databases
linear programming
high level
query processing
state machines
knowledge level
transitive closure
higher level
case based reasoning
low level
data sets
multiscale
database systems
learning algorithm
genetic algorithm
machine learning
databases