↓ Skip to main content

Computer Science Logic

Overview of attention for book
Cover of 'Computer Science Logic'

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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
wikipedia
3 Wikipedia pages

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
39 Mendeley