Liste der Abschlussarbeiten
Für erweiterte Suchoptionen können Sie diese Inhalte auch im Forschungsinformationssystem anzeigen lassen.
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
Stand: 26.10.2020 10:29 Uhr