Back to Results
First PageMeta Content
Proof theory / Automated theorem proving / Rules of inference / Resolution / Unification / Sequent calculus / Function / Admissible rule / Cut-elimination theorem / Mathematical logic / Logic / Mathematics


Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´
Add to Reading List

Document Date: 2011-01-28 11:35:45

Open Document

File Size: 175,68 KB

Share Result on Facebook

Currency

pence / /

/

IndustryTerm

empty search space / unification algorithm / proof search method / proof-search method / naive search / infinite search space / /

Organization

INRIA / Ecole polytechnique / /

Person

Ai / Hardin Kirchner / Guillaume Burel / Claude Kirchner / Gilles Dowek / /

ProvinceOrState

Saskatchewan / /

Technology

unification algorithm / simulation / /

URL

http /

SocialTag