HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ori Lahav

Publications
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

Keyphrases

EPR, interpolation, SMT, theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.