Person
Dr. rer. nat., PrivatdozentChristof Löding
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: E1, 1. Etage
Room: 4115
Ahornstraße 55
52074 Aachen
Office Hours
- by appointment
Publications
Articles
Theses
-
C. Löding, Logic and Automata over Infinite Trees, Habilitation thesis, RWTH Aachen University, 2009 [pdf]
-
C. Löding, Infinite Graphs Generated by Tree Rewriting, Doctoral thesis, RWTH Aachen University, 2003 [pdf]
- C. Löding, Methods for the Transformation of Omega-Automata: Complexity and Connection to Second Order Logic, Diploma thesis, Christian-Albrechts-Universität of Kiel, 1998 [pdf]