Pages that link to "Item:Q2817926"

The following pages link to On Interpolation and Symbol Elimination in Theory Extensions (Q2817926):

Displayed 14 items.

• Symbol elimination and applications to parametric entailment problems (Q831921) ‎ (← links)
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) ‎ (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) ‎ (← links)
• Combination of uniform interpolants via Beth definability (Q2090132) ‎ (← links)
• Combined covers and Beth definability (Q2096445) ‎ (← links)
• Interpolation and amalgamation for arrays with MaxDiff (Q2233410) ‎ (← links)
• Model completeness, covers and superposition (Q2305411) ‎ (← links)
• NIL: learning nonlinear interpolants (Q2305413) ‎ (← links)
• On invariant synthesis for parametric systems (Q2305429) ‎ (← links)
• Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) ‎ (← links)
• On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) ‎ (← links)
• (Q4683861) (redirect page) ‎ (← links)
• SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) ‎ (← links)
• Interpolation Results for Arrays with Length and MaxDiff (Q6082222) ‎ (← links)