Fast equivalence-checking for normed context-free processes

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiFast equivalence-checking for normed context-free processes
Adres internetowy
Tytuł książkiFSTTCS
Tom
Od strony260
Do strony271
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2010
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Wojciech Czerwiński, Instytut Informatyki [Współautor]
 2. Sławomir Lasota, Zakład Logiki Stosowanej [Współautor]