Volume 57, Issue 1 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 57, Issue 1

June 2016

Special Issue: Interpolation

Issue Editors:

Daniel Kroening,
Andrey Rybalchenko

4 articles in this issue

Preface: Special Issue on Interpolation
Daniel Kroening
Andrey Rybalchenko
OriginalPaper 28 April 2016 Pages: 1 - 2
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Matthias Schlaipfer
Georg Weissenbacher
OriginalPaper Open access 16 February 2016 Pages: 3 - 36
Complete Instantiation-Based Interpolation
Nishant Totla
Thomas Wies
OriginalPaper 15 April 2016 Pages: 37 - 65
Proof Tree Preserving Tree Interpolation
Jürgen Christ
Jochen Hoenicke
OriginalPaper 02 March 2016 Pages: 67 - 95