%0 Journal Article %1 journals/corr/abs-1910-12863 %A Tiemens, Lucca %A Scott, Dana S. %A Benzmüller, Christoph %A Benda, Miroslav %D 2019 %J CoRR %K dblp %T Computer-supported Exploration of a Categorical Axiomatization of Modeloids. %U http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-12863 %V abs/1910.12863

@article{journals/corr/abs-1910-12863, added-at = {2019-10-31T00:00:00.000+0100}, author = {Tiemens, Lucca and Scott, Dana S. and Benzmüller, Christoph and Benda, Miroslav}, biburl = {https://www.bibsonomy.org/bibtex/2d29792c31e0aa84dbdfafd7ddce00ea1/dblp}, ee = {http://arxiv.org/abs/1910.12863}, interhash = {9d378289e11e60808327398806230ff0}, intrahash = {d29792c31e0aa84dbdfafd7ddce00ea1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-11-01T11:40:30.000+0100}, title = {Computer-supported Exploration of a Categorical Axiomatization of Modeloids.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-12863}, volume = {abs/1910.12863}, year = 2019 }