Polytypic properties and proofs in Coq.

Wendy Verbruggen Edsko de Vries Arthur Hughes

Published in: WGP@ICFP (2009)

Keyphrases

theorem prover
multi agent systems
artificial intelligence
data structure
digital libraries
structural properties
desirable properties
real world
data mining
decision making
similarity measure
wide range
lower bound