The polynomial bounds of proof complexity in Frege systems
S. R. Aleksanyan, A. A. ChubaryanVolume:
50
Language:
english
Pages:
6
DOI:
10.1007/s11202-009-0022-7
Date:
March, 2009
File:
PDF, 131 KB
english, 2009