6355 search results - page 10 / 1271 » From Logic to Games |
EUSFLAT
2009
13 years 8 months ago
2009
ENTCS
2007
13 years 11 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
DIGRA
2005
Springer
14 years 4 months ago
2005
Springer
Trans-reality role-playing games are conceived of as a form of role-playing game evolving from and integrating established table-top, live-action and computer-based role-playing f...
ATVA
2007
Springer
14 years 5 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...