A structural investigation on formal topology: coreflection of formal covers and exponentiability.

Maria Emilia Maietti Silvio Valentini

Published in: J. Symb. Log. (2004)

Keyphrases

formal model
formal specification
formal representation
mathematical theory
neural network
information systems
lower bound
evolutionary algorithm
special case
formal methods
mathematical foundations