Login / Signup
CERES in Propositional Proof Schemata.
Andrea Condoluci
Published in:
CoRR (2017)
Keyphrases
</>
theorem proving
first order logic
proof procedure
propositional logic
classical first order logic
theorem prover
linear logic
logic programming
database schema
case study
information systems
multi valued
horn clauses
databases
natural deduction
mathematical proofs
data sets