Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches.

Mikolaj Bojanczyk, Antonio Casares, Sven Manthe, Pawel Parys

Browse the full LICS paper archive.