Weak Cost Monadic Logic over Infinite Trees
Michael Vanden Boom
Details
| Book Title |
36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011) |
| Month |
August |
| Pages |
580−591 |
| Year |
2011 |
Links
Related pages
|
People |