Computer Science Logic

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Trakhtenbrot Theorem and Fuzzy Logic
3. Altmetric Badge
   Chapter 2 Descriptive Complexity, Lower Bounds and Linear Time
4. Altmetric Badge
   Chapter 3 Testing of Finite State Systems
5. Altmetric Badge
   Chapter 4 On the Power of Quantifiers in First-Order Algebraic Specification
6. Altmetric Badge
   Chapter 5 On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases
7. Altmetric Badge
   Chapter 6 Revision Programming = Logic Programming + Integrity Constraints
8. Altmetric Badge
   Chapter 7 Quantifiers and the System KE: Some Surprising Results
9. Altmetric Badge
   Chapter 8 Choice Construct and Lindström Logics
10. Altmetric Badge
    Chapter 9 Monadic NP and Graph Minors
11. Altmetric Badge
    Chapter 10 Invariant Definability and P / poly
12. Altmetric Badge
    Chapter 11 Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures
13. Altmetric Badge
    Chapter 12 An Upper Bound for Minimal Resolution Refutations
14. Altmetric Badge
    Chapter 13 On an Optimal Deterministic Algorithm for SAT
15. Altmetric Badge
    Chapter 14 Characteristic Properties of Majorant-Computability Over the Reals
16. Altmetric Badge
    Chapter 15 Theorems of Péter and Parsons in Computer Programming
17. Altmetric Badge
    Chapter 16 Kripke, Belnap, Urquhart and Relevant Decidability & Complexity
18. Altmetric Badge
    Chapter 17 Existence and Uniqueness of Normal Forms in Pure Type Systems with βη -conversion
19. Altmetric Badge
    Chapter 18 Normalization of Typable Terms by Superdevelopments
20. Altmetric Badge
    Chapter 19 Subtyping Functional+Nonempty Record Types
21. Altmetric Badge
    Chapter 20 Monotone Fixed-Point Types and Strong Normalization
22. Altmetric Badge
    Chapter 21 Morphisms and Partitions of V -sets
23. Altmetric Badge
    Chapter 22 Computer Science Logic
24. Altmetric Badge
    Chapter 23 Logical Relations and Inductive/Coinductive Types
25. Altmetric Badge
    Chapter 24 On the Complexity of H-Subsumption
26. Altmetric Badge
    Chapter 25 Complexity Classes and Rewrite Systems with Polynomial Interpretation
27. Altmetric Badge
    Chapter 26 RPO Constraint Solving Is in NP
28. Altmetric Badge
    Chapter 27 Quantifier Elimination in Fuzzy Logic
29. Altmetric Badge
    Chapter 28 Many-Valued First-Order Logics with Probabilistic Semantics