Sublocales in formal topology.

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

Keyphrases

formal model
mathematical theory
database
computer vision
software engineering
formal methods
data sets
databases
real world
multimedia
probabilistic model
formal models