Mikolaj Bojanczyk, Damian Niwinski, Alexander Rabinovich, Adam Radziwonczyk-Syta, Michal Skrzypczak. On the Borel Complexity of MSO Definable Sets of Branches. Fundamenta Informaticae, 98(4):337-349, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.