Automated Deduction - CADE-18

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Reasoning with Expressive Description Logics: Theory and Practice
3. Altmetric Badge
   Chapter 2 BDD-Based Decision Procedures for $$ \mathcal{K} $$
4. Altmetric Badge
   Chapter 3 Temporal Logic for Proof-Carrying Code
5. Altmetric Badge
   Chapter 4 A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code
6. Altmetric Badge
   Chapter 5 Formal Verification of a Java Compiler in Isabelle
7. Altmetric Badge
   Chapter 6 Embedding Lax Logic into Intuitionistic Logic
8. Altmetric Badge
   Chapter 7 Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic
9. Altmetric Badge
   Chapter 8 Connection-Based Proof Search in Propositional BI Logic
10. Altmetric Badge
    Chapter 9 DDDLIB: A Library for Solving Quantified Difference Inequalities
11. Altmetric Badge
    Chapter 10 An LCF-Style Interface between HOL and First-Order Logic
12. Altmetric Badge
    Chapter 11 System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
13. Altmetric Badge
    Chapter 12 Proof Development with Ω mega
14. Altmetric Badge
    Chapter 13 LearnΩmatic: System Description
15. Altmetric Badge
    Chapter 14 HyLoRes 1.0: Direct Resolution for Hybrid Logics
16. Altmetric Badge
    Chapter 15 Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points
17. Altmetric Badge
    Chapter 16 A Note on Symmetry Heuristics in SEM
18. Altmetric Badge
    Chapter 17 A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
19. Altmetric Badge
    Chapter 18 Deductive Search for Errors in Free Data Type Specifications Using Model Generation
20. Altmetric Badge
    Chapter 19 Reasoning by Symmetry and Function Ordering in Finite Model Generation
21. Altmetric Badge
    Chapter 20 Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations
22. Altmetric Badge
    Chapter 21 A New Clausal Class Decidable by Hyperresolution
23. Altmetric Badge
    Chapter 22 Spass Version 2.0
24. Altmetric Badge
    Chapter 23 System Description: GrAnDe 1.0
25. Altmetric Badge
    Chapter 24 The HR Program for Theorem Generation
26. Altmetric Badge
    Chapter 25 AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description —
27. Altmetric Badge
    Chapter 26 The Quest for Efficient Boolean Satisfiability Solvers
28. Altmetric Badge
    Chapter 27 Recursive Path Orderings Can Be Context-Sensitive
29. Altmetric Badge
    Chapter 28 Shostak Light
30. Altmetric Badge
    Chapter 29 Formal Verification of a Combination Decision Procedure
31. Altmetric Badge
    Chapter 30 Combining Multisets with Integers
32. Altmetric Badge
    Chapter 31 The Reflection Theorem: A Study in Meta-theoretic Reasoning
33. Altmetric Badge
    Chapter 32 Faster Proof Checking in the Edinburgh Logical Framework
34. Altmetric Badge
    Chapter 33 Solving for Set Variables in Higher-Order Theorem Proving
35. Altmetric Badge
    Chapter 34 The Complexity of the Graded μ -Calculus
36. Altmetric Badge
    Chapter 35 Lazy Theorem Proving for Bounded Model Checking over Infinite Domains
37. Altmetric Badge
    Chapter 36 Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation
38. Altmetric Badge
    Chapter 37 Basic Syntactic Mutation
39. Altmetric Badge
    Chapter 38 The Next Waldmeister Loop
40. Altmetric Badge
    Chapter 39 Focussing Proof-Net Construction as a Middleware Paradigm
41. Altmetric Badge
    Chapter 40 Proof Analysis by Resolution