Diplomarbeit
Thema: Automatendefinierbare Relationen über Bäumen (Automata Definable Relations over Trees)
Diplomarbeit: [pdf]
Folien: [Webseite]
Lehrstuhl für Informatik 7 - Logik und Theorie diskreter Systeme, RWTH Aachen
Thema: Automatendefinierbare Relationen über Bäumen (Automata Definable Relations over Trees)
Diplomarbeit: [pdf]
Folien: [Webseite]
Lehrstuhl für Informatik 7 - Logik und Theorie diskreter Systeme, RWTH Aachen