The following pages link to (Q3490990):
Displayed 7 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Experiments with proof plans for induction (Q809617) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← links)
- Induction using term orders (Q1915132) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Induction using term orderings (Q5210765) (← links)