Login / Signup
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover.
Anders Schlichtkrull
Jasmin Christian Blanchette
Dmitriy Traytel
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
learning algorithm
efficient implementation
theorem proving
real time
image processing
bayesian networks
low resolution
implementation details
functional programming
functional language