Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.
