Crisp-determinization of weighted tree automata over strong bimonoids

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Details

Original languageEnglish
JournalDiscrete Mathematics and Theoretical Computer Science
Volume23
Issue number1
Publication statusPublished - 2021
Peer-reviewedYes

External IDs

Scopus 85111223217

Keywords

Keywords

  • weighted tree automata, strong bimonoids, crisp-determinization, determinization