TY  - RPRT
TI  - Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
AU  - Manfred Droste
AU  - Zoltán Fülöp
AU  - Dávid Kószó
AU  - Heiko Vogler
PY  - 2021
UR  - https://arxiv.org/abs/2106.15867
ID  - 2106.15867
ER  -