Continous Lattices in Formal Topology.

Published in: TYPES (1996)

Keyphrases

topology preserving
search engine
web pages
bayesian networks
data mining
information retrieval
multi agent
relational databases
special case
formal model
formal methods
topology preservation