Preface: Special issue on interpolation

DOI10.1007/S10817-016-9375-3MaRDI QIDQ286728zbMATH OpenOpenAlexFDO

Authors

Publication date 25 May 2016

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-016-9375-3

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Interpolation, preservation, definability (03C40) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

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)

• Preface: Special issue on continuation methods and applications
• scientific article; zbMATH DE number 5042894 (Why is no real title available?)

Describes a project that uses

Uses Software

• Princess
• CSIsat
• FOCI

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)