Person

Dr. rer. nat., Privatdozent

Christof Löding

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

Address

Building: E1, 1. Etage

Room: 4115

Ahornstraße 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21712

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]