Pages that link to "Item:Q809617"
From MaRDI portal
The following pages link to Experiments with proof plans for induction (Q809617):
Displaying 11 items.
- Conjecture synthesis for inductive theories (Q438543) (← links)
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← 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)
- Proof planning with multiple strategies (Q2389631) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)
- Internal analogy in theorem proving (Q4647502) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
