Removing Cycles from Proofs.

Andrea Aler Tubella Alessio Guglielmi Benjamin Ralph

Published in: CSL (2017)

Keyphrases

theorem proving
decision procedures
theorem prover
three dimensional
cooperative
e learning
image processing
training data
pairwise
control system
sufficient conditions
natural deduction
formal proofs
equational theories
mathematical proofs