Back to Results
First PageMeta Content
Logic / Mathematical logic / Mathematics / Abstraction / Model theory / Relational model / Alloy / Z notation / First-order logic / Structure / Finitary relation / Relational


Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal
Add to Reading List

Document Date: 2014-11-03 12:05:42


Open Document

File Size: 518,02 KB

Share Result on Facebook