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

Alle Publikationen