Two-variable logic on data words

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiTwo-variable logic on data words
Adres internetowy
Tytuł czasopismaACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Medium
Tom12
Zeszyt4
Rok wydania2011
Od strony
Do strony
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]
 2. Claire David, Jednostka zewnetrzna [Współautor]
 3. Anca Muscholl, Jednostka zewnetrzna [Współautor]
 4. Thomas Schwentick, Jednostka zewnetrzna [Współautor]
 5. Luc Segoufin, Jednostka zewnetrzna [Współautor]