Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)
3. Altmetric Badge
   Chapter 2 The Symbolic Approach to Repeated Games (Abstract)
4. Altmetric Badge
   Chapter 3 Proofs, Programs and Abstract Complexity
5. Altmetric Badge
   Chapter 4 Model-Checking First-Order Logic: Automata and Locality
6. Altmetric Badge
   Chapter 5 Tightening the Exchange Rates Between Automata
7. Altmetric Badge
   Chapter 6 Precise Relational Invariants Through Strategy Iteration
8. Altmetric Badge
   Chapter 7 Omega-Regular Half-Positional Winning Conditions
9. Altmetric Badge
   Chapter 8 Clique-Width and Parity Games
10. Altmetric Badge
    Chapter 9 Logical Refinements of Church’s Problem
11. Altmetric Badge
    Chapter 10 Computer Science Logic
12. Altmetric Badge
    Chapter 11 Comparing the Expressive Power of Well-Structured Transition Systems
13. Altmetric Badge
    Chapter 12 There Exist Some ω-Powers of Any Borel Rank
14. Altmetric Badge
    Chapter 13 Satisfiability of a Spatial Logic with Tree Variables
15. Altmetric Badge
    Chapter 14 Forest Expressions
16. Altmetric Badge
    Chapter 15 MSO on the Infinite Binary Tree: Choice and Order
17. Altmetric Badge
    Chapter 16 Classical and Intuitionistic Logic Are Asymptotically Identical
18. Altmetric Badge
    Chapter 17 Qualitative Temporal and Spatial Reasoning Revisited
19. Altmetric Badge
    Chapter 18 On Acyclic Conjunctive Queries and Constant Delay Enumeration
20. Altmetric Badge
    Chapter 19 Computer Science Logic
21. Altmetric Badge
    Chapter 20 The Theory of Calculi with Explicit Substitutions Revisited
22. Altmetric Badge
    Chapter 21 A Soft Type Assignment System for λ-Calculus
23. Altmetric Badge
    Chapter 22 Lambda Theories of Effective Lambda Models
24. Altmetric Badge
    Chapter 23 Typed Normal Form Bisimulation
25. Altmetric Badge
    Chapter 24 Not Enough Points Is Enough
26. Altmetric Badge
    Chapter 25 Classical Program Extraction in the Calculus of Constructions
27. Altmetric Badge
    Chapter 26 Building Decision Procedures in the Calculus of Inductive Constructions
28. Altmetric Badge
    Chapter 27 Structure Theorem and Strict Alternation Hierarchy for FO2 on Words
29. Altmetric Badge
    Chapter 28 On the Complexity of Reasoning About Dynamic Policies
30. Altmetric Badge
    Chapter 29 Relativizing Small Complexity Classes and Their Theories
31. Altmetric Badge
    Chapter 30 Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping
32. Altmetric Badge
    Chapter 31 From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
33. Altmetric Badge
    Chapter 32 Linear Realizability
34. Altmetric Badge
    Chapter 33 Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete
35. Altmetric Badge
    Chapter 34 Focusing and Polarization in Intuitionistic Logic
36. Altmetric Badge
    Chapter 35 Incorporating Tables into Proofs
37. Altmetric Badge
    Chapter 36 A Cut-Free and Invariant-Free Sequent Calculus for PLTL
38. Altmetric Badge
    Chapter 37 Unbounded Proof-Length Speed-Up in Deduction Modulo
39. Altmetric Badge
    Chapter 38 Propositional Logic for Circuit Classes
40. Altmetric Badge
    Chapter 39 Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
41. Altmetric Badge
    Chapter 40 Continuous Previsions
42. Altmetric Badge
    Chapter 41 Bad Variables Under Control
43. Altmetric Badge
    Chapter 42 A Games Model of Bunched Implications
44. Altmetric Badge
    Chapter 43 The Ackermann Award 2007