Weighted automata and weighted logics

Authors: 
Droste, M.
Gastin, P.
Year: 
2007
Language: 
English
Appeared / Erschienen in: 
Theoret. Comp. Science (special issue of ICALP '05), 380 (2007), 69-86. Full version: pdf
Abstract link: 
http://www.informatik.uni-leipzig.de/~droste/droabtcs.html#tcs42