↓ Skip to main content

10th International Conference on Automated Deduction

Overview of attention for book
Cover of '10th International Conference on Automated Deduction'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 75 A theorem prover for a computational logic
  3. Altmetric Badge
    Chapter 76 A complete semantic back chaining proof system
  4. Altmetric Badge
    Chapter 77 Parallelizing the closure computation in automated deduction
  5. Altmetric Badge
    Chapter 78 Partheo: A high-performance parallel theorem prover
  6. Altmetric Badge
    Chapter 79 Substitution-based compilation of extended rules in deductive databases
  7. Altmetric Badge
    Chapter 80 Automatic theorem proving in paraconsistent logics: Theory and implementation
  8. Altmetric Badge
    Chapter 81 Case-free programs: An abstraction of definite horn programs
  9. Altmetric Badge
    Chapter 82 Generalized well-founded semantics for logic programs
  10. Altmetric Badge
    Chapter 83 Tactical theorem proving in program verification
  11. Altmetric Badge
    Chapter 84 Extensions to the rippling-out tactic for guiding inductive proofs
  12. Altmetric Badge
    Chapter 85 Guiding induction proofs
  13. Altmetric Badge
    Chapter 86 Term rewriting induction
  14. Altmetric Badge
    Chapter 87 A resolution principle for clauses with constraints
  15. Altmetric Badge
    Chapter 88 Str+ve $$\subseteq$$ : The Str+ve-based subset prover
  16. Altmetric Badge
    Chapter 89 Ritt-Wu's decomposition algorithm and geometry theorem proving
  17. Altmetric Badge
    Chapter 90 Encoding a dependent-type λ-calculus in a logic programming language
  18. Altmetric Badge
    Chapter 91 Investigations into proof-search in a system of first-order dependent function types
  19. Altmetric Badge
    Chapter 92 Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
  20. Altmetric Badge
    Chapter 93 An improved general E -unification method
  21. Altmetric Badge
    Chapter 94 Some results on equational unification
  22. Altmetric Badge
    Chapter 95 Unification in a combination of equational theories: an efficient algorithm
  23. Altmetric Badge
    Chapter 96 SLIM: An automated reasoner for equivalences, applied to set theory
  24. Altmetric Badge
    Chapter 97 An examination of the prolog technology theorem-prover
  25. Altmetric Badge
    Chapter 98 Presenting intuitive deductions via symmetric simplification
  26. Altmetric Badge
    Chapter 99 Toward mechanical methods for streamlining proofs
  27. Altmetric Badge
    Chapter 100 10th International Conference on Automated Deduction
  28. Altmetric Badge
    Chapter 101 Complete sets of reductions with constraints
  29. Altmetric Badge
    Chapter 102 Rewrite systems for varieties of semigroups
  30. Altmetric Badge
    Chapter 103 Improving associative path orderings
  31. Altmetric Badge
    Chapter 104 Perspectives on automated deduction
  32. Altmetric Badge
    Chapter 105 On restrictions of ordered paramodulation with simplification
  33. Altmetric Badge
    Chapter 106 Simultaneous paramodulation
  34. Altmetric Badge
    Chapter 107 Hyper resolution and equality axioms without function substitutions
  35. Altmetric Badge
    Chapter 108 Automatic acquisition of search guiding heuristics
  36. Altmetric Badge
    Chapter 109 Automated reasoning contributes to mathematics and logic
  37. Altmetric Badge
    Chapter 110 A mechanically assisted constructive proof in category theory
  38. Altmetric Badge
    Chapter 111 Dynamic logic as a uniform framework for theorem proving in intensional logic
  39. Altmetric Badge
    Chapter 112 A tableaux-based theorem prover for a decidable subset of default logic
  40. Altmetric Badge
    Chapter 113 Computing prime implicants
  41. Altmetric Badge
    Chapter 114 Minimizing the number of clauses by renaming
  42. Altmetric Badge
    Chapter 115 Higher order E -unification
  43. Altmetric Badge
    Chapter 116 Programming by example and proving by example using higher-order unification
  44. Altmetric Badge
    Chapter 117 Retrieving library identifiers via equational matching of types
  45. Altmetric Badge
    Chapter 118 Unification in monoidal theories
  46. Altmetric Badge
    Chapter 119 A science of reasoning: Extended abstract
  47. Altmetric Badge
    Chapter 120 The TPS theorem proving system
  48. Altmetric Badge
    Chapter 121 Schemata
  49. Altmetric Badge
    Chapter 122 Cylindric algebra equation solver
  50. Altmetric Badge
    Chapter 123 The OYSTER-CLAM system
  51. Altmetric Badge
    Chapter 124 A high-performance parallel theorem prover
  52. Altmetric Badge
    Chapter 125 The romulus proof checker
  53. Altmetric Badge
    Chapter 126 IMPS : An interactive mathematical proof system
  54. Altmetric Badge
    Chapter 127 UNICOM: A refined completion based inductive theorem prover
  55. Altmetric Badge
    Chapter 128 The theorem prover of the program verifier Tatzelwurm
  56. Altmetric Badge
    Chapter 129 RCL: A lisp verification system
  57. Altmetric Badge
    Chapter 130 Orme an implementation of completion procedures as sets of transitions rules
  58. Altmetric Badge
    Chapter 131 Otter 2.0
  59. Altmetric Badge
    Chapter 132 Dissolver: A dissolution-based theorem prover
  60. Altmetric Badge
    Chapter 133 TRIP: An implementation of clausal rewriting
  61. Altmetric Badge
    Chapter 134 OSCAR
  62. Altmetric Badge
    Chapter 135 Expert thinker: An adaptation of F-Prolog to microcomputers
  63. Altmetric Badge
    Chapter 136 A prolog technology theorem prover
  64. Altmetric Badge
    Chapter 137 A general clause theorem prover
  65. Altmetric Badge
    Chapter 138 Liss — The logic inference search system
  66. Altmetric Badge
    Chapter 139 ACE: The abstract clause engine
  67. Altmetric Badge
    Chapter 140 Tutorial on high-performance automated theorem proving
  68. Altmetric Badge
    Chapter 141 Tutorial on reasoning and representation with concept languages
  69. Altmetric Badge
    Chapter 142 Tutorial on λProlog
  70. Altmetric Badge
    Chapter 143 Tutorial on equational unification
  71. Altmetric Badge
    Chapter 144 Tutorial on compilation techniques for logics
  72. Altmetric Badge
    Chapter 145 Tutorial on high-performance theorem provers: Efficient implementation and parallelisation
  73. Altmetric Badge
    Chapter 146 Tutorial on rewrite-based theorem proving
  74. Altmetric Badge
    Chapter 147 Tutorial on program-synthetic deduction
  75. Altmetric Badge
    Chapter 148 Tutorial on computing models of propositional logics
Attention for Chapter 122: Cylindric algebra equation solver
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
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.
Chapter title
Cylindric algebra equation solver
Chapter number 122
Book title
10th International Conference on Automated Deduction
Published by
Springer, Berlin, Heidelberg, July 1990
DOI 10.1007/3-540-52885-7_122
Book ISBNs
978-3-54-052885-2, 978-3-54-047171-4
Authors

Frank M. Brown, Carlos Araya, Brown, Frank M., Araya, Carlos