The following pages link to (Q4264732):
Displayed 9 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- A recursion planning analysis of inductive completion (Q1353935) (← links)
- Appropriate lemmae discovery (Q1827320) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Lemma discovery in automating induction (Q4647546) (← links)
- A divergence critic (Q5210759) (← links)
- Using a generalisation critic to find bisimulations for coinductive proofs (Q5234712) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)