A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1 - Relational model - Document - PDFSEARCH.IO

First Page	Meta Content
	A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1 Add to Reading List Document Date: 2014-01-18 04:31:20 Open Document File Size: 428,52 KB Share Result on Facebook

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