HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Richard Bonichon

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

Keyphrases

automated theorem proving, Free-Variable Tableaux, proof certificate, Proof-Search Procedures, Skolemization.

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