Pages that link to "Item:Q438543"
From MaRDI portal
The following pages link to Conjecture synthesis for inductive theories (Q438543):
Displaying 9 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)
