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

Fülöp, Zoltán ; Vogler, Heiko
Characterizing Weighted MSO for Trees by Branching Transitive Closure Logics.
Typ der Veröffentlichung
Zeitschriftenaufsatz
Veröffentlicht in
Theoretical Computer Science
Schlagwörter
weighted tree languages, monadic second-order logic, transitive closure logic
Verlag
Elsevier
Jahrgang/Erscheinungsjahr
2015
Band/Vol.
594
Seiten
82-105
Referiert
Ja
Open Access
Nein
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Berichtsjahr
2015
Export
Stand: 18.06.2018 10:15 Uhr