σ-locales in Formal Topology.

Francesco Ciraulo

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

formal methods
formal model
topology preserving
databases
d objects
knowledge base
wide range
voronoi diagram
operational semantics
topology preservation