Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

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

Sprechstunden

Wenn die Tür offen ist.

Forschung

• Provenienzanalyse für Logik und Spiele
• Halbringe für Provenienzanalyse
• Fixpunkttheorie über Halbringen

Aktuelle Publikationen

• K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. arXiv e-prints, pp. arXiv:1910.07910, 2019.

Alle Publikationen