Pages that link to "Item:Q809617"
From MaRDI portal
The following pages link to Experiments with proof plans for induction (Q809617):
Displayed 5 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Lazy techniques for fully expansive theorem proving (Q1309245) (← links)
- A calculus for and termination of rippling (Q1915137) (← links)
- Knowledge-based proof planning (Q1978469) (← links)