HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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.