Professur für Wissensrepräsentation und -verarbeitung

Translating the IMPS theory library to MMT/OMDoc (2018) Kohlhase M, Betzendahl J Conference contribution, Original article Towards context graphs for argumentation logics (2018) Kohlhase M Conference contribution, Conference Contribution Knowledge amalgamation for computational science and engineering (2018) Pollinger T, Kohlhase M, Köstler H Conference contribution, Original article Discourse phenomena in mathematical documents (2018) Kohlhase M, Kohlhase A, Ouypornkochagorn T Conference contribution, Original article A proposal for an openMath JSON encoding (2018) Wiesing T, Kohlhase M Conference contribution, Conference Contribution Theories as Types (2018) Müller D, Kohlhase M, Rabe F Conference contribution, Original article Automatically finding theory morphisms for knowledge management (2018) Müller D, Kohlhase M, Rabe F Conference contribution, Original article Translating the IMPS theory library to MMT/OMDoc (2018) Kohlhase M, Betzendahl J Conference contribution, Original article Discourse phenomena in mathematical documents (2018) Kohlhase A, Kohlhase M, Ouypornkochagorn T Conference contribution, Conference Contribution A proposal for an OpenMath JSON encoding (2018) Kohlhase M, Wiesing T Conference contribution, Conference Contribution