On the Expressive Power of Cost Logics over Infinite Words
Denis Kuperberg and Michael Vanden Boom
Book Title
Automata‚ Languages‚ and Programming − 39th International Colloquium‚ ICALP 2012‚ Warwick‚ UK‚ July 9−13‚ 2012‚ Proceedings‚ Part II
Editor
Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and Roger Wattenhofer
ISBN
978−3−642−31584−8
Pages
287–298
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7392
Year
2012