Denis Kuperberg, Michael Vanden Boom
On the Expressive Power of Cost Logics over Infinite Words
ICALP, 2012.
@inproceedings{ICALP-v2-2012-KuperbergB, author = "Denis Kuperberg and Michael Vanden Boom", booktitle = "{Proceedings of the 39th International Colloquium on Automata, Languages, and Programming, Part II}", doi = "10.1007/978-3-642-31585-5_28", isbn = "978-3-642-31584-8", pages = "287--298", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On the Expressive Power of Cost Logics over Infinite Words}", volume = 7392, year = 2012, }