HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Chantal Keller

Publications
Beagle as a HOL4 external ATP method
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller and Michael Norrish
In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Extended Resolution as Certificates for Propositional Logic
Chantal Keller
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving

Keyphrases

analytic tableaux, automated theorem proving, Beagle, Binary Decision Diagrams, Certificates, Extended Resolution, HOL4, tableaux.

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