Christof Löding
|
Kontakt
|
Publikationen
- Liste mit downloads
- Liste auf DBLP
- Abschlussarbeiten:
- Kapitel über unbeschränkt verzweigte Bäume in der neuen Version von TATA: Tree Automata Techniques and Applications (veröffentlicht am 12. Oktober, 2007).
Vorträge
Aktivitäten
- 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.



