Boundedness of Monadic Second-Order Formulae over Finite Words.

Achim Blumensath, Martin Otto, Mark Weyer

Browse the full ICALP paper archive.