↓ Skip to main content

Automated Deduction - CADE-14

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The char-set method and its applications to automated reasoning
  3. Altmetric Badge
    Chapter 2 Decidable call by need computations in term rewriting (extended abstract)
  4. Altmetric Badge
    Chapter 3 A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
  5. Altmetric Badge
    Chapter 3 Affordance Theory Applied to Agile Development: A Case Study of LC2EVO
  6. Altmetric Badge
    Chapter 4 On equality up-to constraints over finite trees, context unification, and one-step rewriting
  7. Altmetric Badge
    Chapter 5 Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses
  8. Altmetric Badge
    Chapter 5 Procedural Generation for Tabletop Games: User Driven Approaches with Restrictions on Computational Resources
  9. Altmetric Badge
    Chapter 6 The Clause-Diffusion theorem prover Peers-mcd (system description)
  10. Altmetric Badge
    Chapter 7 Integration of automated and interactive theorem proving in ILF
  11. Altmetric Badge
    Chapter 8 ILF-SETHEO
  12. Altmetric Badge
    Chapter 9 SETHEO goes software engineering: Application of ATP to software reuse
  13. Altmetric Badge
    Chapter 10 Proving System Correctness with KIV 3.0
  14. Altmetric Badge
    Chapter 11 A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry
  15. Altmetric Badge
    Chapter 12 Automatic verification of cryptographic protocols with SETHEO
  16. Altmetric Badge
    Chapter 13 A practical integration of first-order reasoning and decision procedures
  17. Altmetric Badge
    Chapter 14 Some pitfalls of LK-to-LJ translations and how to avoid them
  18. Altmetric Badge
    Chapter 15 Deciding intuitionistic propositional logic via translation into classical logic
  19. Altmetric Badge
    Chapter 16 Stance Prediction for Russian: Data and Analysis
  20. Altmetric Badge
    Chapter 16 Lemma matching for a PTTP-based top-down theorem prover
  21. Altmetric Badge
    Chapter 17 Exact knowledge compilation in predicate calculus: The partial achievement case
  22. Altmetric Badge
    Chapter 18 Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving
  23. Altmetric Badge
    Chapter 19 Alternating automata: Unifying truth and validity checking for temporal logics
  24. Altmetric Badge
    Chapter 20 Connection-based proof construction in linear logic
  25. Altmetric Badge
    Chapter 21 Resource-distribution via Boolean constraints
  26. Altmetric Badge
    Chapter 22 Constructing a normal form for Property Theory
  27. Altmetric Badge
    Chapter 23 Ωmega: Towards a mathematical assistant
  28. Altmetric Badge
    Chapter 24 Plagiator — A learning prover
  29. Altmetric Badge
    Chapter 25 CODE: A powerful prover for problems of condensed detachment
  30. Altmetric Badge
    Chapter 26 A new method for testing decision procedures in modal logics
  31. Altmetric Badge
    Chapter 27 Minlog: A minimal logic theorem prover
  32. Altmetric Badge
    Chapter 28 SATO: An efficient prepositional prover
  33. Altmetric Badge
    Chapter 29 Using a generalisation critic to find bisimulations for coinductive proofs
  34. Altmetric Badge
    Chapter 30 A colored version of the λ-calculus
  35. Altmetric Badge
    Chapter 31 A practical implementation of simple consequence relations using inductive definitions
  36. Altmetric Badge
    Chapter 32 Soft typing for ordered resolution
  37. Altmetric Badge
    Chapter 33 A classification of non-liftable orders for resolution
  38. Altmetric Badge
    Chapter 34 Hybrid interactive theorem proving using nuprl and HOL
  39. Altmetric Badge
    Chapter 35 Proof tactics for a theory of state machines in a graphical environment
  40. Altmetric Badge
    Chapter 36 RALL: Machine-supported proofs for relation algebra
  41. Altmetric Badge
    Chapter 37 Nuprl-Light: An implementation framework for higher-order logics
  42. Altmetric Badge
    Chapter 38 XIsabelle: A system description
  43. Altmetric Badge
    Chapter 39 XBarnacle: Making theorem provers more accessible
  44. Altmetric Badge
    Chapter 40 The tableau browser SNARKS
  45. Altmetric Badge
    Chapter 41 Jape: A calculator for animating proof-on-paper
  46. Altmetric Badge
    Chapter 42 Evolving combinators
  47. Altmetric Badge
    Chapter 43 Partial matching for analogy discovery in proofs and counter-examples
  48. Altmetric Badge
    Chapter 44 Dialog
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
6 X users

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
4 Mendeley