Weighted tree automata and weighted logics

Manfred Droste, Heiko Vogler. Weighted tree automata and weighted logics. Theoretical Computer Science, 366(3):228-247, 2006. [doi]

Abstract

Abstract is missing.