A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids

Zoltán Fülöp, Torsten Stüber, Heiko Vogler. A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids. Theory Comput. Syst., 50(2):241-278, 2012. [doi]

@article{FulopSV12,
  title = {A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids},
  author = {Zoltán Fülöp and Torsten Stüber and Heiko Vogler},
  year = {2012},
  doi = {10.1007/s00224-010-9296-1},
  url = {http://dx.doi.org/10.1007/s00224-010-9296-1},
  researchr = {https://researchr.org/publication/FulopSV12},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {50},
  number = {2},
  pages = {241-278},
}