Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21715
Fax:	+49-241-80-22215
Büro:	4119 (E1) / Ahornstr. 55
E-Mail:	hoelzel [AT] logic.rwth-aachen.de

Sprechstunden

Nach Vereinbarung

Forschung

• Logiken mit Team Semantik

Aktuelle Publikationen

• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. arXiv e-prints, pp. arXiv:1910.06057, 2019.
• E. Grädel and M. Hoelzel. Dependency Concepts up to Equivalence. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) (D. Ghica and A. Jung, Eds.), vol. 119 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:21, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2018.

Alle Publikationen