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]

Authors

Manfred Droste

This author has not been identified. Look up 'Manfred Droste' in Google

Zoltán Fülöp 0001

This author has not been identified. Look up 'Zoltán Fülöp 0001' in Google

Dávid Kószó

This author has not been identified. Look up 'Dávid Kószó' in Google

Heiko Vogler

This author has not been identified. It may be one of the following persons: Look up 'Heiko Vogler' in Google