Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Games, Automata and Matching
3. Altmetric Badge
   Chapter 2 Formalization of Continuous Probability Distributions
4. Altmetric Badge
   Chapter 3 Compilation as Rewriting in Higher Order Logic
5. Altmetric Badge
   Chapter 4 Barendregt’s Variable Convention in Rule Inductions
6. Altmetric Badge
   Chapter 5 Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
7. Altmetric Badge
   Chapter 6 Optimized Reasoning in Description Logics Using Hypertableaux
8. Altmetric Badge
   Chapter 7 Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
9. Altmetric Badge
   Chapter 8 An Incremental Technique for Automata-Based Decision Procedures
10. Altmetric Badge
    Chapter 9 Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
11. Altmetric Badge
    Chapter 10 A Labelled System for IPL with Variable Splitting
12. Altmetric Badge
    Chapter 11 Logical Interpretation: Static Program Analysis Using Theorem Proving
13. Altmetric Badge
    Chapter 12 Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
14. Altmetric Badge
    Chapter 13 Efficient E-Matching for SMT Solvers
15. Altmetric Badge
    Chapter 14 ${\mathcal{T}}$ -Decision by Decomposition
16. Altmetric Badge
    Chapter 15 Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
17. Altmetric Badge
    Chapter 16 Improvements in Formula Generalization
18. Altmetric Badge
    Chapter 17 On the Normalization and Unique Normalization Properties of Term Rewrite Systems
19. Altmetric Badge
    Chapter 18 Handling Polymorphism in Automated Deduction
20. Altmetric Badge
    Chapter 19 Automated Reasoning in Kleene Algebra
21. Altmetric Badge
    Chapter 20 SRASS - A Semantic Relevance Axiom Selection System
22. Altmetric Badge
    Chapter 21 Labelled Clauses
23. Altmetric Badge
    Chapter 22 Automatic Decidability and Combinability Revisited
24. Altmetric Badge
    Chapter 23 Designing Verification Conditions for Software
25. Altmetric Badge
    Chapter 24 Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
26. Altmetric Badge
    Chapter 25 Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
27. Altmetric Badge
    Chapter 26 The KeY system 1.0 (Deduction Component)
28. Altmetric Badge
    Chapter 27 KeY-C: A Tool for Verification of C Programs
29. Altmetric Badge
    Chapter 28 The Bedwyr System for Model Checking over Syntactic Expressions
30. Altmetric Badge
    Chapter 29 System for Automated Deduction (SAD): A Tool for Proof Verification
31. Altmetric Badge
    Chapter 30 Logical Engineering with Instance-Based Methods
32. Altmetric Badge
    Chapter 31 Predictive Labeling with Dependency Pairs Using SAT
33. Altmetric Badge
    Chapter 32 Dependency Pairs for Rewriting with Non-free Constructors
34. Altmetric Badge
    Chapter 33 Proving Termination by Bounded Increase
35. Altmetric Badge
    Chapter 34 Certified Size-Change Termination
36. Altmetric Badge
    Chapter 35 Encoding First Order Proofs in SAT
37. Altmetric Badge
    Chapter 36 Hyper Tableaux with Equality
38. Altmetric Badge
    Chapter 37 System Description: E- KRHyper
39. Altmetric Badge
    Chapter 38 System Description: Spass Version 3.0