Login / Signup
Proof Nets and the Linear Substitution Calculus.
Beniamino Accattoli
Published in:
CoRR (2018)
Keyphrases
</>
automated theorem proving
proof search
natural deduction
theorem prover
sequent calculus
data sets
closed form
machine learning
knowledge base
theorem proving
proof procedure
provably correct
real time
data mining
information retrieval
database systems