Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiLinear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom5771
Zeszyt
Rok wydania2009
Od strony225
Do strony239
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Jacques Duparc, Jednostka zewnetrzna [Współautor]
 2. Alessandro Facchini, Jednostka zewnetrzna [Współautor]
 3. Filip Murlak, Instytut Informatyki [Współautor]