HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Julie Cailler

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
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)
Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane
EasyChair Preprint 8676

Keyphrases

automated theorem proving2, concurrency, Free-Variable Tableaux, proof certificate, Proof-Search Procedures, Skolemization, tableaux.

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