Weak Cost Monadic Logic over Infinite Trees.

Michael Vanden Boom

Browse the full MFCS paper archive.