12 results
RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 54-87
- Print publication:
- March 2019
-
- Article
- Export citation
1 - Automata-based presentations of infinite structures
-
-
- Book:
- Finite and Algorithmic Model Theory
- Published online:
- 01 June 2011
- Print publication:
- 10 March 2011, pp 1-76
-
- 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
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
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
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
Lectures in Game Theory for Computer Scientists
-
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011
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
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
On the Restraining Power of Guards
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1719-1742
- Print publication:
- December 1999
-
- Article
- Export citation
On the Decision Problem for Two-Variable First-Order Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 53-69
- Print publication:
- March 1997
-
- Article
- Export citation
Tailoring recursion for complexity
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 952-969
- Print publication:
- September 1995
-
- Article
- Export citation