On the Borel Complexity of MSO Definable Sets of Branches

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiOn the Borel Complexity of MSO Definable Sets of Branches
Adres internetowy
Tytuł czasopismaFUNDAMENTA INFORMATICAE
Medium
Tom98
Zeszyt4
Rok wydania2010
Od strony337
Do strony349
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Mikołaj Bojańczyk, Studia dzienne - doktoranckie Inst. Informatyki [Współautor]
 2. Damian Niwiński, Zakład Logiki Stosowanej [Współautor]
 3. Alexander Rabinovich, Jednostka zewnetrzna [Współautor]
 4. Adam Radziwonczyk-Syta, Jednostka zewnetrzna [Współautor]
 5. Michał Skrzypczak, Instytut Informatyki [Współautor]