TY - JOUR VL - 919 JF - THEORETICAL COMPUTER SCIENCE AV - public UR - https://doi.org/10.1016/j.tcs.2022.03.036 SN - 0304-3975 Y1 - 2022/// SP - 118 TI - Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids A1 - Droste Manfred A1 - Fülöp Zoltán A1 - Kószó Dávid A1 - Vogler Heiko EP - 143 ID - publicatio36192 ER -