Weak Cost Monadic Logic over Infinite Trees
Michael Vanden Boom
Book Title
Mathematical Foundations of Computer Science 2011 − 36th International Symposium‚ MFCS 2011‚ Warsaw‚ Poland‚ August 22−26‚ 2011. Proceedings
Editor
Filip Murlak and Piotr Sankowski
ISBN
978−3−642−22992−3
Pages
580–591
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6907
Year
2011