Characterizing EF and EX Tree Logics

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiCharacterizing EF and EX Tree Logics
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom3170
Zeszyt
Rok wydania2004
Od strony131
Do strony145
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2004

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