The following pages link to (Q3490990):
Displaying 12 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)
- Analyzing linear recursive projects as an absorbing chain (Q2491526) (← links)
- A constructive analysis of <b>RM</b> (Q3781069) (← links)
- (Q4542792) (← links)
- Induction using term orderings (Q5210765) (← links)
- (Q5493759) (← links)
- Quantifier-free induction for lists (Q6617170) (← links)