Preface: Special issue on interpolation
From MaRDI portal
Publication:286728
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Interpolation, preservation, definability (03C40)
Cites Work
- An interpolating sequent calculus for quantifier-free Presburger arithmetic
- An interpolating sequent calculus for quantifier-free Presburger arithmetic
- An interpolating theorem prover
- Constraint Solving for Interpolation
- Interpolant strength
- Interpolants for Linear Arithmetic in SMT
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
Cited In (2)
This page was built for publication: Preface: Special issue on interpolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286728)