On the Expressive Power of Cost Logics over Infinite Words
Denis Kuperberg and Michael Vanden Boom
Book Title
39th International Colloquium on Automata‚ Languages‚ and Programming (ICALP (2) 2012)
Month
July
Pages
287−298
Year
2012
Denis Kuperberg and Michael Vanden Boom