Pages that link to "Item:Q2908483"
From MaRDI portal
The following pages link to From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (Q2908483):
Displaying 6 items.
- Proof tree preserving tree interpolation (Q286737) (← links)
- 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)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)
