FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Professur für Wissensrepräsentation und -verarbeitung
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(376)
Research Grants
(10)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Bringing mathematics to the web of data: The case of the mathematics subject classification (2012)
Lange-Bever C, Kohlhase M
Conference contribution, Original article
Towards logical frameworks in the heterogeneous tool set hets (2012)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F, Sojakova K
Conference contribution, Original article
The Planetary project: Towards eMath3.0 (2012)
Kohlhase M
Conference contribution, Original article
Semantic alliance: A framework for semantic allies (2012)
David C, Jucovschi C, Kohlhase A, Kohlhase M
Conference contribution, Original article
MathWebSearch 0.5: Scaling an open formula search engine (2012)
Kohlhase M, Matican B, Prodescu CC
Conference contribution, Original article
Extending MKM formats at the statement level (2012)
Horozal F, Kohlhase M, Rabe F
Conference contribution, Original article
A proof theoretic interpretation of model theoretic hiding (2012)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F
Conference contribution, Original article
Semantics of OpenMath and MathML3 (2012)
Kohlhase M, Rabe F
Journal article, Original article
The flexiformalist manifesto (2012)
Kohlhase M
Conference contribution, Original article
Reasoning without believing: On the mechanisation of presuppositions and partiality (2012)
Kerber M, Kohlhase M
Journal article, Original article
‹
1
...
12
13
14
15
16
...
24
›