Search: C78
2020
[1]Computer-supported Exploration of a Categorical Axiomatization of Modeloids (Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda), In Relational and Algebraic Methods in Computer Science -- 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8--11, 2020, Proceedings, Springer, Lecture Notes in Computer Science, volume 12062, pp. 302--317, 2020. (Preprint (with proofs): https://www.researchgate.net/publication/336838722) [bibtex] [doi] [url]