6355 search results - page 15 / 1271 » From Logic to Games |
ITA
2007
13 years 10 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
DFG
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
JCP
2007
13 years 10 months ago
2007
— An educational game is a recreational activity designed to teach people (typically children) about a certain subject, or to help them learn a skill as they play. These games ar...
JIIS
2008
13 years 11 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
FLAIRS
2007
14 years 1 months ago
2007