HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Skolemization

Publications
A Generic Deskolemization Strategy
Johann Rosain, Richard Bonichon, Julie Cailler and Olivier Hermant
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs
Steffen Juilf Smolka and Jasmin Christian Blanchette
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Copyright © 2012-2025 easychair.org. All rights reserved.