288 search results - page 25 / 58 » Nominal Game Semantics |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
TCS
2008
13 years 9 months ago
2008
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
ENTCS
2006
13 years 9 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...