Computer Science Logic

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Limit-Computable Mathematics and Its Applications
3. Altmetric Badge
   Chapter 2 Automata, Logic, and XML
4. Altmetric Badge
   Chapter 3 μ-Calculus via Games (Extended Abstract)
5. Altmetric Badge
   Chapter 4 Bijections between Partitions by Two-Directional Rewriting Techniques
6. Altmetric Badge
   Chapter 5 On Continuous Normalization
7. Altmetric Badge
   Chapter 6 Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
8. Altmetric Badge
   Chapter 7 Compactness and Continuity, Constructively Revisited
9. Altmetric Badge
   Chapter 8 Hoare Logics for Recursive Procedures and Unbounded Nondeterminism
10. Altmetric Badge
    Chapter 9 A Fixpoint Theory for Non-monotonic Parallelism
11. Altmetric Badge
    Chapter 10 Greibach Normal Form in Algebraically Complete Semirings
12. Altmetric Badge
    Chapter 11 Proofnets and Context Semantics for the Additives
13. Altmetric Badge
    Chapter 12 A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
14. Altmetric Badge
    Chapter 13 Resource Tableaux
15. Altmetric Badge
    Chapter 14 Configuration Theories
16. Altmetric Badge
    Chapter 15 A Logic for Probabilities in Semantics
17. Altmetric Badge
    Chapter 16 Possible World Semantics for General Storage in Call-By-Value
18. Altmetric Badge
    Chapter 17 A Fully Abstract Relational Model of Syntactic Control of Interference
19. Altmetric Badge
    Chapter 18 Optimal Complexity Bounds for Positive LTL Games
20. Altmetric Badge
    Chapter 19 The Stuttering Principle Revisited: On the Expressiveness of Nested X and ⋃ Operators in the Logic LTL
21. Altmetric Badge
    Chapter 20 Trading Probability for Fairness
22. Altmetric Badge
    Chapter 21 A Logic of Probability with Decidable Model-Checking
23. Altmetric Badge
    Chapter 22 Solving Pushdown Games with a ∑ 3 Winning Condition
24. Altmetric Badge
    Chapter 23 Partial Fixed-Point Logic on Infinite Structures
25. Altmetric Badge
    Chapter 24 On the Variable Hierarchy of the Modal μ-Calculus
26. Altmetric Badge
    Chapter 25 Implicit Computational Complexity for Higher Type Functionals
27. Altmetric Badge
    Chapter 26 On Generalizations of Semi-terms of Particularly Simple Form
28. Altmetric Badge
    Chapter 27 Local Problems, Planar Local Problems and Linear Time
29. Altmetric Badge
    Chapter 28 Equivalence and Isomorphism for Boolean Constraint Satisfaction
30. Altmetric Badge
    Chapter 29 Travelling on Designs
31. Altmetric Badge
    Chapter 30 Designs, Disputes and Strategies
32. Altmetric Badge
    Chapter 31 Classical Linear Logic of Implications
33. Altmetric Badge
    Chapter 32 Higher-Order Positive Set Constraints
34. Altmetric Badge
    Chapter 33 A Proof Theoretical Account of Continuation Passing Style
35. Altmetric Badge
    Chapter 34 Duality between Call-by-Name Recursion and Call-by-Value Iteration
36. Altmetric Badge
    Chapter 35 Decidability of Bounded Higher-Order Unification
37. Altmetric Badge
    Chapter 36 Open Proofs and Open Terms: A Basis for Interactive Logic
38. Altmetric Badge
    Chapter 37 Logical Relations for Monadic Types
39. Altmetric Badge
    Chapter 38 On the Automatizability of Resolution and Related Propositional Proof Systems
40. Altmetric Badge
    Chapter 39 Extraction of Proofs from the Clausal Normal Form Transformation
41. Altmetric Badge
    Chapter 40 Resolution Refutations and Propositional Proofs with Height-Restrictions