Computer-supported Exploration of a Categorical Axiomatization of Modeloids




Author(s): Tiemens, Lucca; Scott, Dana S.; Benzmüller, Christoph  ; Benda, Miroslav
Publisher Information: arXiv
Year of publication: 2019
Pages: 1-24
Language(s): English
DOI: 10.48550/ARXIV.1910.12863
URL: https://arxiv.org/abs/1910.12863
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/55650
Release Date: 21. September 2022