Exponentiation of Scott Formal Topologies.

Maria Emilia Maietti Silvio Valentini

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

formal model
database
neural network
formal language
formal methods
real world
data mining
feature selection
decision making
image processing
high level
relational databases