Pages that link to "Item:Q6488527"
From MaRDI portal
The following pages link to Extensions to the rippling-out tactic for guiding inductive proofs (Q6488527):
Displaying 9 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)
- Knowledge-based proof planning (Q1978469) (← links)
- E-generalization using grammars (Q2457667) (← links)
- Synthesis of induction orderings for existence proofs (Q5210760) (← links)
- Termination orderings for rippling (Q5210791) (← links)
- Inductive theorem proving by consistency for first-order clauses (Q5881188) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
