Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Formal methods / Model theory / Conflict-driven clause learning / Solver / Alloy / Metamodeling / Meta-Object Facility / Embedding / First-order logic / Mathematical logic


AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me
Add to Reading List

Document Date: 2018-06-13 06:07:43


Open Document

File Size: 1,42 MB

Share Result on Facebook