Towards nominal computation

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiTowards nominal computation
Adres internetowy
Tytuł książkiPOPL
Tom
Od strony401
Do strony412
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. Laurent Braud, Jednostka zewnetrzna [Współautor]
 3. Bartosz Klin, Zakład Logiki Stosowanej [Współautor]
 4. Sławomir Lasota, Zakład Logiki Stosowanej [Współautor]