Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets.

Mikolaj Bojanczyk, Thomas Place

Browse the full ICALP paper archive.