Quotient Spaces and Coequalisers in Formal Topology.

Published in: J. Univers. Comput. Sci. (2005)

Keyphrases

topology preserving
machine intelligence
databases
formal analysis
neural network
genetic algorithm
multiscale
hidden markov models
formal model
formal methods
formal models
mathematical theory
formal language
topology preservation
topological spaces