↓ Skip to main content

Automated Deduction - CADE-25

Overview of attention for book
Cover of 'Automated Deduction - CADE-25'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 History and Prospects for First-Order Automated Deduction
  3. Altmetric Badge
    Chapter 2 Stumbling Around in the Dark: Lessons from Everyday Mathematics
  4. Altmetric Badge
    Chapter 3 Automated Reasoning in the Wild
  5. Altmetric Badge
    Chapter 4 Automating Leibniz’s Theory of Concepts
  6. Altmetric Badge
    Chapter 5 Confluence Competition 2015
  7. Altmetric Badge
    Chapter 6 Termination Competition (termCOMP 2015)
  8. Altmetric Badge
    Chapter 7 Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent
  9. Altmetric Badge
    Chapter 8 CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
  10. Altmetric Badge
    Chapter 9 Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
  11. Altmetric Badge
    Chapter 10 Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion
  12. Altmetric Badge
    Chapter 11 Reducing Relative Termination to Dependency Pair Problems
  13. Altmetric Badge
    Chapter 12 Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
  14. Altmetric Badge
    Chapter 13 A Decision Procedure for (Co)datatypes in SMT Solvers
  15. Altmetric Badge
    Chapter 14 Deciding \mathsf {ATL^*} Satisfiability by Tableaux
  16. Altmetric Badge
    Chapter 15 A Formalisation of Finite Automata Using Hereditarily Finite Sets
  17. Altmetric Badge
    Chapter 16 SEPIA: Search for Proofs Using Inferred Automata
  18. Altmetric Badge
    Chapter 17 Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
  19. Altmetric Badge
    Chapter 18 Inductive Beluga: Programming Proofs
  20. Altmetric Badge
    Chapter 19 SMTtoTPTP – A Converter for Theorem Proving Formats
  21. Altmetric Badge
    Chapter 20 CTL Model Checking in Deduction Modulo
  22. Altmetric Badge
    Chapter 21 Quantifier-Free Equational Logic and Prime Implicate Generation
  23. Altmetric Badge
    Chapter 22 Automated Deduction - CADE-25
  24. Altmetric Badge
    Chapter 23 Cooperating Proof Attempts
  25. Altmetric Badge
    Chapter 24 Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses
  26. Altmetric Badge
    Chapter 25 Beagle – A Hierarchic Superposition Theorem Prover
  27. Altmetric Badge
    Chapter 26 The Lean Theorem Prover (System Description)
  28. Altmetric Badge
    Chapter 27 System Description: E.T. 0.1
  29. Altmetric Badge
    Chapter 28 Playing with AVATAR
  30. Altmetric Badge
    Chapter 29 A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
  31. Altmetric Badge
    Chapter 30 Exploring Theories with a Model-Finding Assistant
  32. Altmetric Badge
    Chapter 31 Abstract Interpretation as Automated Deduction
  33. Altmetric Badge
    Chapter 32 A Uniform Substitution Calculus for Differential Dynamic Logic
  34. Altmetric Badge
    Chapter 33 Program Synthesis Using Dual Interpretation
  35. Altmetric Badge
    Chapter 34 Automated Theorem Proving for Assertions in Separation Logic with All Connectives
  36. Altmetric Badge
    Chapter 35 KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
  37. Altmetric Badge
    Chapter 36 KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
  38. Altmetric Badge
    Chapter 37 Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition
  39. Altmetric Badge
    Chapter 38 Regular Patterns in Second-Order Unification
  40. Altmetric Badge
    Chapter 39 Theorem Proving with Bounded Rigid E-Unification
  41. Altmetric Badge
    Chapter 40 Expressing Symmetry Breaking in DRAT Proofs
  42. Altmetric Badge
    Chapter 41 MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
  43. Altmetric Badge
    Chapter 42 Linear Integer Arithmetic Revisited
Attention for Chapter 23: Cooperating Proof Attempts
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
2 Mendeley