Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids

Manfred Droste, Zoltán Fülöp 0001, Dávid Kószó, Heiko Vogler. Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Theoretical Computer Science, 919:118-143, 2022. [doi]

Abstract

Abstract is missing.