The following pages link to Guiding induction proofs (Q6488528):
Displaying 10 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- A calculus for and termination of rippling (Q1915137) (← links)
- (Q3466605) (← links)
- Internal analogy in theorem proving (Q4647502) (← links)
- Termination of algorithms over non-freely generated data types (Q4647505) (← links)
- INKA: The next generation (Q4647524) (← links)
- Lazy generation of induction hypotheses (Q5210761) (← links)
- Termination orderings for rippling (Q5210791) (← links)
- A colored version of the λ-calculus (Q5234713) (← links)