HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:interpolation

Papers
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic
Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel
EasyChair Preprint no. 10000
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic
Matthias Baaz and Anela Lolic
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
David Toman and Grant Weddell
In:IWIL Workshop and LPAR Short Presentations
First-Order Interpolation and Interpolating Proof Systems
Laura Kovács and Andrei Voronkov
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Instantiations, Zippers and EPR Interpolation
Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav
In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.