Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 1/2016

Special Issue: Interpolation

Content (4 Articles)

Preface: Special Issue on Interpolation

Daniel Kroening, Andrey Rybalchenko

Open Access

Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

Matthias Schlaipfer, Georg Weissenbacher

Complete Instantiation-Based Interpolation

Nishant Totla, Thomas Wies

Proof Tree Preserving Tree Interpolation

Jürgen Christ, Jochen Hoenicke

Apr 16
Issue: 4/2016
Aug 16
Issue: 2/2016

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits