Weak MSO with the Unbounding Quantifier

Mikolaj Bojanczyk. Weak MSO with the Unbounding Quantifier. Theory Comput. Syst., 48(3):554-576, 2011. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: