Embedding locales and formal topologies into positive topologies.

Francesco Ciraulo Giovanni Sambin

Published in: Arch. Math. Log. (2018)

Keyphrases

formal model
data sets
multiresolution
databases
real world
e learning
database systems
digital images
vector space
positive and negative
fully connected