TY  - RPRT
TI  - Computer-supported Exploration of a Categorical Axiomatization of Modeloids
AU  - Lucca Tiemens
AU  - Dana S. Scott
AU  - Christoph Benzmüller
AU  - Miroslav Benda
PY  - 2020
DO  - 10.1007/978-3-030-43520-2_19
UR  - https://arxiv.org/abs/1910.12863
ID  - 1910.12863
ER  -