Weighted tree automata and weighted logics

Authors: 
Droste, M.
Vogler, H.
Year: 
2006
Appeared / Erschienen in: 
Theoret. Comp.Science 366 (2006), 228-247.
Abstract link: 
http://www.informatik.uni-leipzig.de/~droste/droabtcs.html#tcs43