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