Liste der Abschlussarbeiten
Für erweiterte Suchoptionen können Sie diese Inhalte auch im Forschungsinformationssystem anzeigen lassen.
Implementation of an Operational Semantics for MSO-Logic over Trees
Art der Abschlussarbeit
Master
Autoren
- Saptawijaya, Ari
Betreuer
- Dipl.-Inf. Enrico Bormann
Zugeordnete Forschungsschwerpunkte
- Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
- Generierung von sprachbasierten Editoren
Berichtsjahr
2004
Stand: 26.10.2020 10:29 Uhr