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 1Add to Reading ListSource URL: www.lri.frDownload Document from Source WebsiteFile Size: 428,52 KBShare Document on Facebook |