The Inclusion Problem for Weighted Automata on Infinite Trees

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProc. of the 13th International Conference on Automata and Formal Languages (AFL 2011)
Seiten108-122
Seitenumfang15
PublikationsstatusVeröffentlicht - 2011
Peer-Review-StatusJa

Schlagworte

Schlagwörter

  • weighted automata, infinite trees