6355 search results - page 58 / 1271 » From Logic to Games |
TCS
2010
13 years 9 months ago
2010
In the context of 2-player removal games, we define the notion of invariant game for which each allowed move is independent of the position it is played from. We present a family ...
TIME
2006
IEEE
14 years 5 months ago
2006
IEEE
FUZZY
2004
Springer
14 years 4 months ago
2004
Springer
AML
2006
13 years 11 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
TCS
2002
13 years 10 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...