Reachability Problem for Weak Multi-Pushdown Automata
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Reachability Problem for Weak Multi-Pushdown Automata
Adres internetowy
Tytuł książki
CONCUR
Tom
Od strony
53
Do strony
68
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania
2012
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2012
Lista autorów
1.
Wojciech Czerwiński
,
Instytut Informatyki
[
Współautor
]
2.
Piotr Hofman
,
Instytut Informatyki
[
Współautor
]
3.
Sławomir Lasota
,
Zakład Logiki Stosowanej
[
Współautor
]