Logik
und Theorie
diskreter Systeme

Informatik 7

Christof Löding

 

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4115 (Gebäude E1), Ahornstr. 55, 52074 Aachen
Tel. +49 241 80 21712
E-Mail loeding (ät) informatik.rwth-aachen.de

Studienberatung

Publikationen

  • Liste mit Downloads
  • Liste auf DBLP
  • 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]

Aktivitäten

Eingeladene Vorträge

Programmkomitees

Organisation

Projekte

Weiteres

Datenschutzerklaerung