Professur für Wissensrepräsentation und -verarbeitung

Canonical Selection of Colimits (2017) Codesci M, Mossakowski T, Rabe F Conference contribution LFMTP: Work-in-Progress Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (2017) Rabe F Conference contribution A Modular Type Reconstruction Algorithm (2017) Rabe F Journal article Interoperability in the OpenDreamKit project: The math-in-the-middle approach (2016) Müller D, Wiesing T, Thiery N, Dehaye P, Iancu M, Kohlhase M, Konovalov A, et al. Conference contribution, Original article Two-arc-transitive two-valent digraphs of certain orders (2016) Bercic K, Potočnik P Journal article, Original article The SMGloM project and system: Towards a terminology and ontology for mathematics (2016) Ginev D, Jucovschi C, Kohlhase A, Kohlhase M, Wiesing T Authored book, Volume of book series Faceted search for mathematics (2016) Hambasan R, Kohlhase M Conference contribution, Original article Formula semantification and automated relation finding in the on-line encyclopedia for integer sequences (2016) Luzhnica E, Kohlhase M Conference contribution, Original article QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016) Kohlhase M, Rabe F Journal article, Original article 3XL News: A Cross-lingual News Aggregator and Reader (2015) Belyaeva E, Berčič J, Bercic K, Fuart F, Košmerlj A, Muhič A, Rehar A, et al. Conference contribution, Conference Contribution