The Inclusion Problem for Weighted Automata on Infinite Trees
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Proc. of the 13th International Conference on Automata and Formal Languages (AFL 2011) |
Seiten | 108-122 |
Seitenumfang | 15 |
Publikationsstatus | Veröffentlicht - 2011 |
Peer-Review-Status | Ja |
Schlagworte
Schlagwörter
- weighted automata, infinite trees