Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
prover
Papers
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Anders Schlichtkrull
,
Jasmin Christian Blanchette
,
Dmitriy Traytel
and
Uwe Waldmann
EasyChair Preprint no. 396
Copyright © 2012-2023 easychair.org. All rights reserved.