×
布鲁斯科利，保拉；阿莱西奥·古列尔米

关于深层推理的证明复杂性。 （英语） Zbl 1351.03056号

ACM事务处理。计算。日志。 10，第2号，第14条，第34页（2009年）.

引用于15文件

MSC公司：

20层03 证明的复杂性

关键词：

分析性；弗雷格系统；Statman重言式；结构微积分；深层推理
PDF格式BibTeX公司 XML格式引用
\textit{P.Bruscoli}和\textit{A.Guglielmi}，ACM Trans。计算。日志。10，第2号，第14条，第34页（2009年；Zbl 1351.03056）
全文： 内政部 arXiv公司 链接