- Tytuł:
- On the Borel Complexity of MSO Definable Sets of Branches
- Autorzy:
-
Bojańczyk, M.
Niwiński, D.
Rabinovich, A.
Radziwończyk–Syta, A.
Skrzypczak, M. - Data publikacji:
- 2010
- Słowa kluczowe:
-
monadic 2nd-order logic
infinite words
trees
Borel hierarchy
automata - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł