> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Characterisation Theorems for Weighted Tree Automaton Models Beteiligte: Dörband, Frederic [Verfasser:in]; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]; Daviaud, Laure [Sonstige Person, Familie und Körperschaft] Erschienen: Dresden: Technische Universität Dresden, 2022 Umfang: Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 136 : Automatentheorie, Formale Sprache Schlagwörter: Theoretische Informatik ; Gewichteter Automat ; Formale Sprache ; Büchi-Automat ; Weighted Tree Languages ; Automata Theory ; Determinization ; Kleene Theorem ; Gewichtete Baumsprachen ; Automatentheorie ; Determinisierung ; Kleene-Theorem Entstehung: Hochschulschrift: Dissertation, Dresden, Technische Universität Dresden, 2022 Anmerkungen: Zugangsstatus: Freier Zugang