HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:interpolation

Publications
Higher-Order Interpolation of Cosserat Beam Deformations
Andreas Muller, Tobias Marauli and Hubert Gattringer
EasyChair Preprint 13704
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic
Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel
EasyChair Preprint 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-2025 easychair.org. All rights reserved.