Structuring Theories with Implicit Morphisms

Müller D, Rabe F (2019)

Publication Type: Conference contribution

Publication year: 2019

DOI: 10.1007/978-3-030-23220-7_9

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Müller, D., & Rabe, F. (2019). Structuring Theories with Implicit Morphisms.

MLA:

Müller, Dennis, and Florian Rabe. "Structuring Theories with Implicit Morphisms." 2019.

BibTeX: Download