Pages that link to "Item:Q5747760"
From MaRDI portal
The following pages link to Interpolation and Symbol Elimination in Vampire (Q5747760):
Displayed 12 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- Sine Qua Non for Large Theory Reasoning (Q5200032) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)