Skip to content

Weak MSO with the Unbounding Quantifier.

Mikolaj Bojanczyk

VenueASTACS
Year2009
ProceedingsSTACS

Browse the full STACS paper archive.