Login / Signup
On the Borel Complexity of MSO Definable Sets of Branches.
Mikolaj Bojanczyk
Damian Niwinski
Alexander Rabinovich
Adam Radziwonczyk-Syta
Michal Skrzypczak
Published in:
Fundam. Informaticae (2010)
Keyphrases
</>
worst case
computational complexity
data sets
special case
space complexity
relational databases
decision problems
monadic second order logic