6355 search results - page 40 / 1271 » From Logic to Games |
ICALT
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper explains SAMO, an educational game for Spanish orthography. The game is an evolution of MITO, which was evaluated with real students. Using information obtained from th...
DIGRA
2003
Springer
14 years 4 months ago
2003
Springer
How can we create computer games facilitating emotional depth in the playing experience? When entering into a persistent virtual game world the player leaves the body behind. It i...
LICS
1994
IEEE
14 years 3 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
SCP
2008
13 years 11 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...