A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1

First Page		Document Content
Date: 2014-01-18 04:31:20		A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1 Add to Reading List Source URL: www.lri.fr Download Document from Source Website File Size: 428,52 KB Share Document on Facebook