Skip to content

Baire Category Quantifier in Monadic Second Order Logic.

Henryk Michalewski, Matteo Mio

VenueA*ICALP
Year2015
ProceedingsICALP (2)

Browse the full ICALP paper archive.