Searching for "Rippling A Heuristic for Guiding Inductive Proofs." – sorted by Relevance.
-
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
-
Rippling on Relational Structures
- proving; proof control 1 Introduction Rippling is a heuristic for guiding inductive proofs [Bundy et al
- Add To MetaCart

