Relative formal topology: the binary positivity predicate comes first.

Silvio Valentini

Published in: Math. Struct. Comput. Sci. (2012)

Keyphrases

databases
image analysis
formal model
small world
feature selection
first order logic
topological properties
neural network
artificial intelligence
website
software engineering
formal methods
voronoi diagram
formal language