Wreath Products of Forest Algebras, with Applications to Tree Logics

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiWreath Products of Forest Algebras, with Applications to Tree Logics
Adres internetowy
Tytuł czasopismaLOGICAL METHODS IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom8
Zeszyt3
Rok wydania2012
Od strony1
Do strony39
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2012

Lista autorów
  
 1. Mikołaj Bojańczyk, Studia dzienne - doktoranckie Inst. Informatyki [Współautor]
 2. Howard Straubing, Jednostka zewnetrzna [Współautor]
 3. Igor Walukiewicz, Jednostka zewnetrzna [Współautor]