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, in: arXiv, S. 1–24, doi: 10.48550/ARXIV.1910.12863.
Author:
 ;  ;  ; 
Publisher Information:
Year of publication:
2019
Pages:
Language:
English
DOI:
URL:
Type:
Preprint
URI:
Activation date:
September 21, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55650