A Coq Formalization of the Relational Data Model.

Véronique Benzaken Evelyne Contejean Stefania Dumbrava

Published in: ESOP (2014)

Keyphrases

formal methods
theorem prover
knowledge representation
machine learning
formal model
pattern recognition
general purpose
operational semantics
high level
learning process
dynamic programming
mobile robot