Follow
Computer-supported Exploration of a Categorical Axiomatization of Modeloids. (arXiv:1910.12863v1 [cs.LO]) http://arxiv.org/abs/1910.12863
Computer-supported Exploration of a Categorical Axiomatization of Modeloids. (arXiv:1910.12863v1 [cs.LO]) http://arxiv.org/abs/1910.12863