Skip to main content

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