Person

Dr. rer. nat., Privatdozent

Christof Löding

Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: E1, 1. Etage

Raum: 4115

Ahornstraße 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21712
Fax Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Publikationen

Artikel

Abschlussarbeiten

  • C. Löding, Logic and Automata over Infinite Trees, Habilitationsschrift, RWTH Aachen, 2009 [pdf]

  • C. Löding, Infinite Graphs Generated by Tree Rewriting, Dissertation, RWTH Aachen, 2003 [pdf]

  • C. Löding, Methods for the Transformation of Omega-Automata: Complexity and Connection to Second Order Logic, Diplomarbeit, Christian-Albrechts-Universität zu Kiel, 1998 [pdf]