The Inclusion Problem for Weighted Automata on Infinite Trees

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProc. of the 13th International Conference on Automata and Formal Languages (AFL 2011)
Pages108-122
Number of pages15
Publication statusPublished - 2011
Peer-reviewedYes

Keywords

Keywords

  • weighted automata, infinite trees