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
UPDATE