Pages that link to "Item:Q3613412"
From MaRDI portal
The following pages link to Interpolation in Local Theory Extensions (Q3613412):
Displayed 16 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Constraint solving for interpolation (Q604394) (← links)
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- Applications of Hierarchical Reasoning in the Verification of Complex Systems (Q2864523) (← links)
- Automatic Verification of Combined Specifications: An Overview (Q2873685) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- On Combinations of Local Theory Extensions (Q4916087) (← links)
- Interpolant Generation for UTVPI (Q5191101) (← links)
- Interpolation and Symbol Elimination (Q5191103) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
- Rewriting Interpolants (Q5415616) (← links)
- On Local Reasoning in Verification (Q5458332) (← links)
- Interpolation Results for Arrays with Length and MaxDiff (Q6082222) (← links)