Two-variable logic on data words
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Two-variable logic on data words
Adres internetowy
Tytuł czasopisma
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Medium
Tom
12
Zeszyt
4
Rok wydania
2011
Od strony
Do strony
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2011
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
]