Sciweavers

674 search results - page 44 / 135
» Preferences in Game Logics
Sort
View
APSEC
2001
IEEE
15 years 1 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver
CSL
2008
Springer
14 years 11 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent
DAGSTUHL
2006
14 years 11 months ago
06451 Abstracts Collection -- Circuits, Logic, and Games
Thomas Schwentick, Denis Thérien, Heribert ...
FSS
2007
54views more  FSS 2007»
14 years 9 months ago
Product logic and probabilistic Ulam games
Franco Montagna, Claudio Marini, Giulia Simi