Person
Dr. rer. nat., PrivatdozentChristof 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
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]