Multi valued MSO logics over words and trees

Authors: 
Droste, M.
Kuich, W.
Rahonis, G.
Year: 
2008
Language: 
English
Appeared / Erschienen in: 
Fundamenta Informaticae 84 (2008), 305-327.
Abstract link: 
http://www.informatik.uni-leipzig.de/~droste/droabtcs.html#tcs53