↓ Skip to main content
What is this page? Embed badge

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
Summary X Dimensions citations
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-14
Published by
Springer Berlin Heidelberg, June 1997
DOI 10.1007/3-540-63104-6
ISBNs
978-3-54-063104-0, 978-3-54-069140-2
Editors

McCune, William

View on publisher site Google Preview
X Demographics

X Demographics

The data shown below were collected from the profiles of 6 X users who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 50%
Other 1 25%
Student > Doctoral Student 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Mathematics 1 25%

This page is provided by Altmetric.