6355 search results - page 43 / 1271 » From Logic to Games |
89
Voted
CSL
2008
Springer
15 years 2 months 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...
55
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
65
Voted
FSS
2007
15 years 18 days ago
2007
54
Voted
SYNTHESE
2008
15 years 17 days ago
2008
70
Voted
CHI
2007
ACM
16 years 1 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...