Fast equivalence-checking for normed context-free processes
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Fast equivalence-checking for normed context-free processes
Adres internetowy
Tytuł książki
FSTTCS
Tom
Od strony
260
Do strony
271
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania
2010
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2010
Lista autorów
1.
Wojciech Czerwiński
,
Instytut Informatyki
[
Współautor
]
2.
Sławomir Lasota
,
Zakład Logiki Stosowanej
[
Współautor
]