Back to Results
First PageMeta Content
Automated theorem proving / Propositional calculus / Deduction / Natural deduction / Sequent calculus / Resolution / Rewriting / Method of analytic tableaux / Rule of inference / Logic / Mathematical logic / Proof theory


From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/
Add to Reading List

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

Open Document

File Size: 441,41 KB

Share Result on Facebook

Company

Creative Commons / CNF / Dagstuhl Publishing / /

Country

Germany / France / /

/

Event

Reorganization / /

IndustryTerm

proof search procedures / semi-algorithm / derived proof-search methods / axiom-free deductive systems / proof search / proof search method / automated proof search / /

OperatingSystem

Sequent / /

Person

Guillaume Burel / /

ProgrammingLanguage

C / /

Technology

encryption / Digital Object Identifier / /

URL

http /

SocialTag