×
罗素·英帕利亚佐;内森·塞格林德

具有计数公理多项式的等深Frege系统模拟了Nullstellensatz反驳。 （英语） Zbl 1367.03106号

ACM事务处理。计算。日志。 7，第2期，199-218（2006）.

引用于1审查
引用于1文件

MSC公司：

20层03 证明的复杂性

关键词：

模计数公理;Nullstellensatz反驳;命题证明复杂性
PDF格式BibTeX公司 XML格式引用
\textit{R.Impagliazzo}和\textit{N.Segerlind}，ACM翻译。计算。日志。7，第2号，199--218（2006；Zbl 1367.03106）
全文： 内政部 arXiv公司