Pages that link to "Item:Q5308386"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308386):
Displaying 21 items.
- Proof tree preserving tree interpolation (Q286737) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- SAT-based verification for timed component connectors (Q433331) (← links)
- An interpolating sequent calculus for quantifier-free Presburger arithmetic (Q438556) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Reasoning in the theory of heap: satisfiability and interpolation (Q2119112) (← links)
- Farkas-based tree interpolation (Q2233543) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- An interpolating theorem prover (Q2575736) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Interpolants for Linear Arithmetic in SMT (Q3540071) (← links)
- (Q5089281) (← links)
- Interpolation and Symbol Elimination (Q5191103) (← links)
- Computer Science Logic (Q5311270) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
- Rewriting Interpolants (Q5415616) (← links)
- (Q5702666) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703754) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713510) (← links)