Skip to main content

List of Theses

For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Decidability of the Twins Property for Weighted Tree Automata over Extremal Semirings
Art der Abschlussarbeit
Diplomarbeit
Autoren
  • Fischer, Anja
Betreuer
  • Dipl.-Inf. Matthias Büchse
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Schlagwörter
Baumautomaten, Determinisierung, Semiringe
Berichtsjahr
2012
Last modified: 2020-10-26 10:29am