Tractable Model Checking for Fragments of Higher-Order Coalition Logic

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiTractable Model Checking for Fragments of Higher-Order Coalition Logic
Adres internetowy
Tytuł książkiAAMAS'11: 10th International Conference on Autonomous Agents and Multiagent Systems
Tom
Od strony743
Do strony750
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2011
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2011

Lista autorów
  
 1. Patrick Doherty, Jednostka zewnetrzna [Współautor]
 2. Barbara Dunin-Kęplicz, Instytut Informatyki [Współautor]
 3. Andrzej Szałas, Instytut Informatyki [Współautor]