6355 search results - page 15 / 1271 » From Logic to Games |
ITA
2007
14 years 9 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...
100
click to vote
DFG
2009
Springer
15 years 4 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
14 years 9 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
14 years 9 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
15 years 4 days ago
2007