↓ Skip to main content

Automated Deduction – CADE-20

Overview of attention for book
Cover of 'Automated Deduction – CADE-20'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What Do We Know When We Know That a Theory Is Consistent?
  3. Altmetric Badge
    Chapter 2 Reflecting Proofs in First-Order Logic with Equality
  4. Altmetric Badge
    Chapter 3 Reasoning in Extensional Type Theory with Equality
  5. Altmetric Badge
    Chapter 4 Nominal Techniques in Isabelle/HOL
  6. Altmetric Badge
    Chapter 5 Tabling for Higher-Order Logic Programming
  7. Altmetric Badge
    Chapter 6 A Focusing Inverse Method Theorem Prover for First-Order Linear Logic
  8. Altmetric Badge
    Chapter 7 The CoRe Calculus
  9. Altmetric Badge
    Chapter 8 Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
  10. Altmetric Badge
    Chapter 9 Privacy-Sensitive Information Flow with JML
  11. Altmetric Badge
    Chapter 10 The Decidability of the First-Order Theory of Knuth-Bendix Order
  12. Altmetric Badge
    Chapter 11 Well-Nested Context Unification
  13. Altmetric Badge
    Chapter 12 Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules
  14. Altmetric Badge
    Chapter 13 Automated Deduction – CADE-20
  15. Altmetric Badge
    Chapter 14 Temporal Logics over Transitive States
  16. Altmetric Badge
    Chapter 15 Automated Deduction – CADE-20
  17. Altmetric Badge
    Chapter 16 Hierarchic Reasoning in Local Theory Extensions
  18. Altmetric Badge
    Chapter 17 Proof Planning for First-Order Temporal Logic
  19. Altmetric Badge
    Chapter 18 System Description: Multi A Multi-strategy Proof Planner
  20. Altmetric Badge
    Chapter 19 Decision Procedures Customized for Formal Verification
  21. Altmetric Badge
    Chapter 20 An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
  22. Altmetric Badge
    Chapter 21 Connecting Many-Sorted Theories
  23. Altmetric Badge
    Chapter 22 A Proof-Producing Decision Procedure for Real Arithmetic
  24. Altmetric Badge
    Chapter 23 The MathSAT 3 System
  25. Altmetric Badge
    Chapter 24 Deduction with XOR Constraints in Security API Modelling
  26. Altmetric Badge
    Chapter 25 On the Complexity of Equational Horn Clauses
  27. Altmetric Badge
    Chapter 26 A Combination Method for Generating Interpolants
  28. Altmetric Badge
    Chapter 27 sKizzo: A Suite to Evaluate and Certify QBFs
  29. Altmetric Badge
    Chapter 28 Regular Protocols and Attacks with Regular Knowledge
  30. Altmetric Badge
    Chapter 29 The Model Evolution Calculus with Equality
  31. Altmetric Badge
    Chapter 30 Model Representation via Contexts and Implicit Generalizations
  32. Altmetric Badge
    Chapter 31 Proving Properties of Incremental Merkle Trees
  33. Altmetric Badge
    Chapter 32 Computer Search for Counterexamples to Wilkie’s Identity
  34. Altmetric Badge
    Chapter 33 KRHyper – In Your Pocket
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
8 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Automated Deduction – CADE-20
Published by
Springer Berlin Heidelberg, July 2005
DOI 10.1007/11532231
ISBNs
978-3-54-028005-7, 978-3-54-031864-4
Editors

Nieuwenhuis, Robert

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Lecturer 1 13%
Student > Bachelor 1 13%
Other 1 13%
Student > Master 1 13%
Unknown 4 50%
Readers by discipline Count As %
Computer Science 2 25%
Mathematics 1 13%
Materials Science 1 13%
Unknown 4 50%