Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme

Christof Löding


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`

Liste mit downloads
Liste auf DBLP
Abschlussarbeiten:
- C. Löding, Infinite Graphs Generated by Tree Rewriting, Dissertation, RWTH Aachen, 2003
  [pdf, ps, ps.gz]
- 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, ps, ps.gz]
Kapitel über unbeschränkt verzweigte Bäume in der neuen Version von TATA: Tree Automata Techniques and Applications (veröffentlicht am 12. Oktober, 2007).

Mitglied im Programmkomitee von STACS 2008
Mitglied im Programmkomitee von INFINITY 2007
Projekt Algorithmische Theorie der Baumautomaten gefördert von der DFG.
Organisator eines Workshops über Baumautomaten gefördert von der ESF im Rahmen des Projekts AutoMathA.

Haftungsausschluss • Letzte Änderung: 03.07.2008 • HTML