Login / Signup
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic.
Edward Hermann Haeusler
Published in:
CoRR (2020)
Keyphrases
</>
multi valued
theorem proving
cost effective
classical logic
real time
data sets
object recognition
expert systems
compact representations
formal proof
horn logic