Hauptregion der Seite anspringen

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