On the Borel Complexity of MSO Definable Sets of Branches
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
On the Borel Complexity of MSO Definable Sets of Branches
Adres internetowy
Tytuł czasopisma
FUNDAMENTA INFORMATICAE
Medium
Tom
98
Zeszyt
4
Rok wydania
2010
Od strony
337
Do strony
349
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2010
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
]