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

Teichmann, Markus ; Osterholzer, Johannes
A link between multioperator and tree valuation automata and logics
Typ der Veröffentlichung
Zeitschriftenaufsatz
Veröffentlicht in
Theoretical Computer Science
Schlagwörter
Weighted tree automaton; Weighted logic; Multioperator monoid; Tree valuation monoid
Verlag
Elsevier
Jahrgang/Erscheinungsjahr
2015
Band/Vol.
594
Seiten
106-119
Referiert
Ja
Open Access
Ja
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Berichtsjahr
2013
Export
Stand: 20.06.2018 09:00 Uhr