Computer-supported Exploration of a Categorical Axiomatization of Modeloids (bibtex)
by Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
Reference:
Computer-supported Exploration of a Categorical Axiomatization of Modeloids (Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda), In Relational and Algebraic Methods in Computer Science -- 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8--11, 2020, Proceedings, Springer, Lecture Notes in Computer Science, volume 12062, pp. 302--317, 2020. (Preprint (with proofs): https://www.researchgate.net/publication/336838722)
Bibtex Entry:
@InProceedings{C78,
  Keywords =	 {own, Automated Reasoning, Free Logic, Higher Order
                  Logic, Category Theory, Algebraic Structures, Modeloids},
  Author =	 {Lucca Tiemens and Dana S. Scott and Christoph Benzm\"uller and Miroslav Benda},
  title = 	 {Computer-supported Exploration of a Categorical Axiomatization of Modeloids},
  booktitle =    {Relational and Algebraic Methods in Computer Science -- 18th International Conference, {RAMiCS 2020}, Palaiseau, France, April 8--11, 2020, Proceedings},
  editors =      {Uli Fahrenberg and Peter Jipsen and Michael Winter},
  year = 	 2020,
  series = 	 {Lecture Notes in Computer Science},
  url =          {https://www.springerprofessional.de/computer-supported-exploration-of-a-categorical-axiomatization-o/17853766},
  publisher =    {Springer},
  volume    =    12062,
  pages = {302--317},
  doi = {10.1007/978-3-030-43520-2_19},
  addendum = {Preprint (with proofs): \url{https://www.researchgate.net/publication/336838722}},
}