List of Theses
For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.
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
Last modified: 2020-10-26 10:29am