Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.

César Domínguez

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

complex systems
formal methods
management system
distributed systems
computer systems
building blocks
neural network
information retrieval
databases
genetic algorithm
information systems
database systems
learning systems