Tree Languages Defined in First-Order Logic with One Quantifier Alternation

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiTree Languages Defined in First-Order Logic with One Quantifier Alternation
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom5126
Zeszyt
Rok wydania2008
Od strony233
Do strony245
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2008

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