Weighted Logics for Unranked Tree Automata

Manfred Droste, Heiko Vogler. Weighted Logics for Unranked Tree Automata. Theory Comput. Syst., 48(1):23-47, 2011. [doi]

Abstract

Abstract is missing.