Searching for "Guiding Induction Proofs." – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Using Failure to Guide Inductive Proof
- …Using Failure to Guide Inductive Proof Andrew Ireland Alan Bundy Email: air@(email omitted); Email…
- Cited by 5 (1 self) – Add To MetaCart
-
The Use of Explicit Plans to Guide Inductive Proofs
- …The Use of Explicit Plans to Guide Inductive Proofs Alan Bundy DAI Research Paper No. Copyright (c…
- Cited by 240 (33 self) – Add To MetaCart
-
Rippling: A Heuristic for Guiding Inductive Proofs
- …Rippling: A Heuristic for Guiding Inductive Proofs Alan Bundy Andrew Stevens y Frank van…
- Cited by 154 (35 self) – Add To MetaCart
-
Equalizing Terms by Difference Reduction Techniques
- … are used in order to guide the proof [BvHS91, Hut90, Hut]. This method of guiding induction proofs…
- Cited by 3 (0 self) – Add To MetaCart
-
Rippling on Relational Structures
- … proving; proof control 1 Introduction Rippling is a heuristic for guiding inductive proofs [Bundy et al…
- Add To MetaCart
-
Synthesis of Induction Orderings for Existence Proofs
- … formulas. We will use constraints from the knowledge of guiding inductive proofs to select proper induction…
- Add To MetaCart
-
Experiments with Proof Plans for Induction
- … programs, called tactics, and used to guide an inductive proof checker, Oyster. These tactics have been…
- Cited by 84 (27 self) – Add To MetaCart
-
Managing Structural Information by Higher-Order Colored Unification
- … are used in order to guide proofs (cf. [5, 4], or [19, 21]). This method to guide induction proofs…
- Cited by 7 (5 self) – Add To MetaCart
-
A Colored Version of the λ-Calculus
- … differences of terms to guide the proof search. Annotations (colors) to terms are used to maintain…
- Cited by 1 (0 self) – Add To MetaCart
-
Participation at the Symposium on Abstraction, . . .
- …] Dieter Hutter. Guiding induction proofs. Proceedings 10th International Conference on Automated Deduction…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
