|
|||||
|
|
The Complexity of Propositional Proofs with the Substitution Rule |
|
| Authors: | Urquhart Alasdair |
| Institution: | Department of Philosophy, University of Toronto, 215 Huron Street, Toronto, Ontario M5S 1A2, Canada. E-mail: urquhart{at}cs.toronto.edu |
| Abstract: | |
| Keywords: | Proof complexity Frege systems substitution rule |
| 本文献已被 Oxford 等数据库收录！ | |