Login / Signup

On the Borel Complexity of MSO Definable Sets of Branches.

Mikolaj BojanczykDamian NiwinskiAlexander RabinovichAdam Radziwonczyk-SytaMichal 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