Higher-Order Pushdown Systems with Data

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiHigher-Order Pushdown Systems with Data
Adres internetowy
Tytuł książkiGandALF
Tom
Od strony210
Do strony223
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. Paweł Parys, Instytut Informatyki [Współautor]