Computing in Coq with Infinite Algebraic Data Structures.

César Domínguez Julio Rubio

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

data structure
databases
database
real time
decision making
similarity measure
theorem prover
metadata
search algorithm
multi agent systems
evolutionary algorithm
probability distribution
data types
algebraic geometry