A constructive function-theoretic approach to topological compactness.

Published in: LICS (2016)

Keyphrases

data sets
image processing
special case
database
decision making
wide range