HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Anders Schlichtkrull

Publications
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann
EasyChair Preprint no. 396

Keyphrases

completeness, first-order logic, Isabelle/HOL, proof assistant, prover, resolution.

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