Skip to main content

List of Theses

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

Vergleich von Erkennbarbeit sowie Definierbarkeit gewichteter Baumsprachen über Multioperator- und Baumvaluierungsmonoiden
Art der Abschlussarbeit
Diplomarbeit
Autoren
  • Teichmann, Markus
Betreuer
  • Dipl.-Inf. Johannes Osterholzer
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Schlagwörter
Erkennbarkeit,Baumsprache,Logik,gewichtet
Berichtsjahr
2013
Last modified: 2020-10-26 10:29am