Back to Results
First PageMeta 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
UPDATE