Coq Modulo Theory.

Pierre-Yves Strub

Published in: CSL (2010)

Keyphrases

formal methods
decision trees
theoretical framework
database
natural language
trade off
theoretical basis
neural network
three dimensional
lower bound
computational model
theoretical foundation
mathematical models
theorem prover