Preface: Special issue on interpolation

DOI10.1007/s10817-016-9375-3zbMath1336.00113OpenAlexW2344701289MaRDI QIDQ286728

No author found.

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 computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Interpolation, preservation, definability (03C40)

Uses Software

• Princess
• CSIsat
• FOCI

Cites Work

• An interpolating sequent calculus for quantifier-free Presburger arithmetic
• An interpolating theorem prover
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Interpolants for Linear Arithmetic in SMT
• Interpolant Strength
• Constraint Solving for Interpolation
• An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

This page was built for publication: Preface: Special issue on interpolation