Compactness in locales and in formal topology.

Steven J. Vickers

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

Keyphrases

wide range
formal methods
formal analysis
genetic algorithm
learning algorithm
website
web services
multiresolution
special case
binary images
self organizing maps
small world
topology preservation