Measure Quantifier in Monadic Second Order Logic.

Henryk Michalewski, Matteo Mio

Browse the full LFCS paper archive.