Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Independently Checkable Proofs from Decision Procedures: Issues and Progress
3. Altmetric Badge
   Chapter 2 Zap: Automated Theorem Proving for Software Analysis
4. Altmetric Badge
   Chapter 3 Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
5. Altmetric Badge
   Chapter 4 Scaling Up: Computers vs. Common Sense
6. Altmetric Badge
   Chapter 5 A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
7. Altmetric Badge
   Chapter 6 Disjunctive Constraint Lambda Calculi
8. Altmetric Badge
   Chapter 7 Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees
9. Altmetric Badge
   Chapter 8 The nomore  + + Approach to Answer Set Solving
10. Altmetric Badge
    Chapter 9 Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages
11. Altmetric Badge
    Chapter 10 The Four Sons of Penrose
12. Altmetric Badge
    Chapter 11 An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures
13. Altmetric Badge
    Chapter 12 Second-Order Principles in Specification Languages for Object-Oriented Programs
14. Altmetric Badge
    Chapter 13 Strong Normalization of the Dual Classical Sequent Calculus
15. Altmetric Badge
    Chapter 14 Termination of Fair Computations in Term Rewriting
16. Altmetric Badge
    Chapter 15 On Confluence of Infinitary Combinatory Reduction Systems
17. Altmetric Badge
    Chapter 16 Matching with Regular Constraints
18. Altmetric Badge
    Chapter 17 Recursive Path Orderings Can Also Be Incremental
19. Altmetric Badge
    Chapter 18 Automating Coherent Logic
20. Altmetric Badge
    Chapter 19 The Theorema Environment for Interactive Proof Development
21. Altmetric Badge
    Chapter 20 A First Order Extension of Stålmarck’s Method
22. Altmetric Badge
    Chapter 21 Regular Derivations in Basic Superposition-Based Calculi
23. Altmetric Badge
    Chapter 22 On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity
24. Altmetric Badge
    Chapter 23 Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
25. Altmetric Badge
    Chapter 24 Monotone AC-Tree Automata
26. Altmetric Badge
    Chapter 25 On the Specification of Sequent Systems
27. Altmetric Badge
    Chapter 26 Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic
28. Altmetric Badge
    Chapter 27 Integration of a Software Model Checker into Isabelle
29. Altmetric Badge
    Chapter 28 Experimental Evaluation of Classical Automata Constructions
30. Altmetric Badge
    Chapter 29 Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
31. Altmetric Badge
    Chapter 30 Reasoning About Incompletely Defined Programs
32. Altmetric Badge
    Chapter 31 Model Checking Abstract State Machines with Answer Set Programming
33. Altmetric Badge
    Chapter 32 Characterizing Provability in BI ’s Pointer Logic Through Resource Graphs
34. Altmetric Badge
    Chapter 33 A Unified Memory Model for Pointers
35. Altmetric Badge
    Chapter 34 Treewidth in Verification: Local vs. Global
36. Altmetric Badge
    Chapter 35 Pushdown Module Checking
37. Altmetric Badge
    Chapter 36 Logic for Programming, Artificial Intelligence, and Reasoning
38. Altmetric Badge
    Chapter 37 Logic for Programming, Artificial Intelligence, and Reasoning
39. Altmetric Badge
    Chapter 38 Algebraic Intruder Deductions
40. Altmetric Badge
    Chapter 39 Satisfiability Checking for PC(ID)
41. Altmetric Badge
    Chapter 40 Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning
42. Altmetric Badge
    Chapter 41 Another Complete Local Search Method for SAT
43. Altmetric Badge
    Chapter 42 Inference from Controversial Arguments
44. Altmetric Badge
    Chapter 43 Programming Cognitive Agents in Defeasible Logic
45. Altmetric Badge
    Chapter 44 The Relationship Between Reasoning About Privacy and Default Logics
46. Altmetric Badge
    Chapter 45 Comparative Similarity, Tree Automata, and Diophantine Equations
47. Altmetric Badge
    Chapter 46 Analytic Tableaux for KLM Preferential and Cumulative Logics
48. Altmetric Badge
    Chapter 47 Bounding Resource Consumption with Gödel-Dummett Logics
49. Altmetric Badge
    Chapter 48 On Interpolation in Existence Logics
50. Altmetric Badge
    Chapter 49 Incremental Integrity Checking: Limitations and Possibilities
51. Altmetric Badge
    Chapter 50 Concepts of Automata Construction from LTL