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]

Abstract

Abstract is missing.