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

Vogler, Heiko ; Droste, Manfred ; Herrmann, Luisa
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
Proceedings of the 10th International Conference on Language and Automata Theory and Applications
Schlagwörter
MSO logic, automata with storage, Büchi
Verlag
Springer
Jahrgang/Erscheinungsjahr
2016
Reihe
Lecture Notes in Computer Science
Band/Vol.
9618
Seiten
127-139
Referiert
Ja
Open Access
Nein
ISBN
978-3-319-29999-0
ISSN
0302-9743
Berichtsjahr
2016
Export
Stand: 12.10.2017 16:02 Uhr