The following pages link to Moa Johansson (Q287274):
Displaying 9 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Conjecture synthesis for inductive theories (Q438543) (← links)
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (Q1687709) (← links)
- Proving type class laws for Haskell (Q2151278) (← links)
- Lemma discovery for induction. A survey (Q2287904) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Proof-Pattern Recognition and Lemma Discovery in ACL2 (Q2870142) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)
