Back to Results
First PageMeta Content
Automated theorem proving / Deduction / Propositional calculus / Rules of inference / Sequent calculus / Entailment / Cut-elimination theorem / Resolution / Natural deduction / Logic / Mathematical logic / Proof theory


Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany
Add to Reading List

Document Date: 2015-01-06 05:11:07

Open Document

File Size: 235,65 KB

Share Result on Facebook

Company

Extended Narrowing / /

Currency

pence / /

/

IndustryTerm

encryption algorithms / given-clause algorithm / proof-search procedures extending resolution / automatic and interactive proof search / proof search methods / proof systems / search methods modulo / search space / pure type systems / /

OperatingSystem

Sequent / /

Organization

Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ / /

Person

Guillaume Burel / Guillaume Burel Max / /

Position

Rt Rt / author / Rt / fact Rt / Ci Rt / Rt Rt Rt / /

Product

Identical Resolution / Sony Ericsson P1i Smartphone / Siemens SX1 Cellular Phone / Factoring / /

ProgrammingLanguage

C / L / /

Technology

given-clause algorithm / encryption algorithms / /

URL

http /

SocialTag