Author:
Lamo Yngve,MacCaull Wendy
Publisher
Springer International Publishing
Reference45 articles.
1. Alloy Tools. (2017). Alloy Project website. Retrieved March 26, 2018, from http://alloytools.org/ .
2. Allwein, G. & MacCaull, W. (2001). A Kripke semantics for the logic of Gelfand quantales. Studia Logica, 68(2), 173–228.
3. Atkinson, C. & Kühne, T. (2001). The essence of multilevel metamodeling. In M. Gogolla & C. Kobryn (Eds.), International Conference on the Unified Modeling Language (Vol. 2185, pp. 19–33). Lecture Notes in Computer Science. New York: Springer.
4. Barr, M. & Wells, C. (1999). Category Theory for Computing Science (3rd ed.). Montreal: Les Publications CRM.
5. Buszkowski, W. & Orłowska, E. (1995). Relational Formalization of Dependencies in Information Systems. Preprint.