Symeon Bozapalidis
-
A pumping lemma and decidability problems for recognizable tree series
Acta Cybernetica
Cut sets as recognizable tree languages
Fuzzy Sets and Systems
Weighted tree automata over valuation monoids and their characterization by weighted logics
Algebraic Foundations in Computer Science