5570 results in Programming Languages and Applied Logic
6 - Model theoretic methods for fragments of FO and special classes of (finite) structures
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 271-338
-
- Chapter
- Export citation
8 - Beyond Nash Equilibrium: Solution Concepts for the 21st Century
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 264-290
-
- Chapter
- Export citation
Contents
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp v-vii
-
- Chapter
- Export citation
2 - Infinite Games and Automata Theory
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 38-73
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp viii-viii
-
- Chapter
- Export citation
6 - Games with Imperfect Information: Theory and Algorithms
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 185-212
-
- Chapter
- Export citation
4 - Back and Forth Between Logic and Games
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 99-145
-
- Chapter
- Export citation
3 - Algorithms for Solving Parity Games
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 74-98
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp i-iv
-
- Chapter
- Export citation
1 - A Primer on Strategic Games
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 1-37
-
- Chapter
- Export citation
Lectures in Game Theory for Computer Scientists
-
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011
7 - Graph Searching Games
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 213-263
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp ix-xii
-
- Chapter
- Export citation
5 - Turn-Based Stochastic Games
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 146-184
-
- Chapter
- Export citation
Index
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 291-295
-
- Chapter
- Export citation
Appendix A - Notation
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 511-515
-
- Chapter
- Export citation
18 - Implication structures
- from PART V - ADVANCED TOPICS
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 461-482
-
- Chapter
- Export citation
3 - Schemas
- from PART I - BASIC TOPICS
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp 19-29
-
- Chapter
- Export citation
Appendix D - Historical annotations
-
- Book:
- Relational Mathematics
- Published online:
- 05 May 2013
- Print publication:
- 04 November 2010, pp 531-548
-
- Chapter
- Export citation
Dedication
-
- Book:
- Foundations of XML Processing
- Published online:
- 05 July 2014
- Print publication:
- 04 November 2010, pp v-vi
-
- Chapter
- Export citation