A Machine-Independent Characterization of Timed Languages

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiA Machine-Independent Characterization of Timed Languages
Adres internetowy
Tytuł książkiICALP (2)
Tom
Od strony92
Do strony103
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2012
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2012

Lista autorów
  
 1. Mikołaj Bojańczyk, Studia dzienne - doktoranckie Inst. Informatyki [Współautor]
 2. Sławomir Lasota, Zakład Logiki Stosowanej [Współautor]