Matthias Hoelzel
Adresse
Mathematische Grundlagen der InformatikRWTH 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 VereinbarungForschung
- Logiken mit Team Semantik
Aktuelle Publikationen
- 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.