Searching for "An "Ehrenfeucht-Fra�ss� Game" for Fixpoint Logic and Stratified Fixpoint Logic." – sorted by Relevance.
46,149 documents found, showing 1 through 10.
Next 10 →
-
Games
- …Games Christof Löding RWTH Aachen, Germany MOVEP 2008, June 23–27, Orleans, France Games · MOVEP…
- Add To MetaCart
-
games
- …On the computational complexity of solving stochastic mean-payoff games ∗ Vladimir Gurvich Peter…
- Add To MetaCart
-
GAME
- …80 game GAME 81 82 lars konzack larp experience design Experience design is an approach or method…
- Add To MetaCart
-
Evolutionary behavior testing of commercial computer games
- …Evolutionary behavior testing of commercial computer games Ben Chan, Jörg Denzinger, Darryl Gates…
- Cited by 4 (1 self) – Add To MetaCart
-
Game Logic for Game Theorists
- …Centrum voor Wiskunde en Informatica Game logic for game theorists M. Pauly Information Systems…
- Cited by 4 (0 self) – Add To MetaCart
-
Game Transformations and Game Equivalence
- … game theoretical rather than a logical paper, it is only a preliminary discussion, a survey, that is…
- Cited by 3 (0 self) – Add To MetaCart
-
The Rat Game and the Mouse Game
- …The Rat Game and the Mouse Game Aviezri S. Fraenkel Computer Science and Applied Mathematics…
- Add To MetaCart
-
Examiner: Per Lindström
- …Designing a persistent online strategy game Anders Engqvist (dit04aet@(email omitted);) Andreas Wikström…
- Add To MetaCart
-
Real-time face tracking for attention aware adaptive
- ….1007/978-3-540-79547-6_10 Real-time face tracking for attention aware adaptive games Matthieu Perreira Da Silva, Vincent…
- Add To MetaCart
-
A logical characterisation of qualitative coalitional
- …A logical characterisation of qualitative coalitional games Paul E. Dunne — Wiebe van der Hoek…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
