Matthias Hoelzel

Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone:   +49-241-80-21715
Fax:   +49-241-80-22215
Room:   4119 (E1) / Ahornstr. 55
Email:   hoelzel [AT] logic.rwth-aachen.de

Office Hours

By appointment

Research

  • Logiken mit Team Semantik

Recent Publications

  • 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.

All publications