|
|||||
|
|
A Resolution Calculus for Shortening Proofs |
|
| Authors: | Peltier Nicolas |
| Institution: | Leibniz-IMAG, CNRS, 46 avenue Felix Viallet, 38031 Grenoble Cedex, France. E-mail: Nicolas.Peltier{at}imag.fr |
| Abstract: | |
| Keywords: | Resolution rule Proof Complexity |
| 本文献已被 Oxford 等数据库收录！ | |