Computing in Coq with Infinite Algebraic Data Structures

César Domínguez Julio Rubio

Published in: CoRR (2010)

Keyphrases

data structure
feature selection
xml documents
higher order
database applications
efficient data structures
kd trees