7 citations · 13 across the 11 of their papers we have counts for
1 paper · 1 filter
Manfred Droste, Zoltán Fülöp, Dávid Kószó +1
We consider weighted tree automata over strong bimonoids (for short: wta). A wta A has the finite-image property if its recognized weighted tree language $[\![\mathcal{…