Options
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
Tiemens, Lucca; Scott, Dana S.; Benzmüller, Christoph; u. a. (2019): Computer-supported Exploration of a Categorical Axiomatization of Modeloids. arXiv doi: 10.48550/arxiv.1910.12863.
Faculty/Professorship:
Author:
Publisher Information:
Year of publication:
2019
Pages:
Language:
English
Type:
Preprint
published:
March 25, 2024
Permalink
https://fis.uni-bamberg.de/handle/uniba/94460