<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-28 11:35:45Proof 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 ´