Two-variable logic on data trees and XML reasoning

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiTwo-variable logic on data trees and XML reasoning
Adres internetowy
Tytuł czasopismaJOURNAL OF THE ACM
Medium
Tom56
Zeszyt3
Rok wydania2009
Od strony
Do strony
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

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