TY  - RPRT
TI  - Crisp-determinization of weighted tree automata over strong bimonoids
AU  - Zoltán Fülöp
AU  - Dávid Kószó
AU  - Heiko Vogler
PY  - 2021
DO  - 10.46298/dmtcs.5943
UR  - https://arxiv.org/abs/1912.02660
ID  - 1912.02660
ER  -