Weak MSO with the Unbounding Quantifier

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiWeak MSO with the Unbounding Quantifier
Adres internetowy
Tytuł czasopismaTHEORY OF COMPUTING SYSTEMS
Medium
Tom48
Zeszyt3
Rok wydania2011
Od strony554
Do strony576
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2011

Lista autorów
  
 1. Mikołaj Bojańczyk, Studia dzienne - doktoranckie Inst. Informatyki [Współautor]