6355 search results - page 43 / 1271 » From Logic to Games |
CSL
2008
Springer
14 years 23 days ago
2008
Springer
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...
DAGSTUHL
2006
14 years 11 days ago
2006
FSS
2007
13 years 11 months ago
2007
SYNTHESE
2008
13 years 11 months ago
2008
CHI
2007
ACM
14 years 11 months ago
2007
ACM
Can a set of articulated and tested methodologies be created whose endpoint is the reliable capacity for taking activist social themes into account? In this paper we explore a var...