Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Parmann, Erik"'
Publikováno v:
EPTCS 112, 2013, pp. 61-69
In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions a
Externí odkaz:
http://arxiv.org/abs/1303.0792
In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions a
Externí odkaz:
http://arxiv.org/abs/1204.3495
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We elaborate in detail a realizability model for Martin-Löf dependent type theory with the purpose to analyze a subtle distinction between two constructive notions of finiteness of a set A. The two notions are: (1) A is Noetherian: the empty list ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53fb098c4cb6bc19e92ff6de4124c2e9
Autor:
Parmann, Erik
Functional Kan simplicial sets are simplicial sets in which the horn-fillers required by the Kan extension condition are given explicitly by functions. We show the non-constructivity of the following basic result: if B and A are functional Kan simpli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6815528517f745ebabfcf6db077f3c8