Pages that link to "Item:Q3558223"
From MaRDI portal
The following pages link to Propositional Interpolation and Abstract Interpretation (Q3558223):
Displaying 9 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- How to deal with unbelievable assertions (Q524943) (← links)
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- On the existence of polynomial time algorithms for interpolation problems in propositional logic (Q1118581) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- Interpolant Strength Revisited (Q2843336) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
- (Q4787878) (← links)