首页> 外文OA文献 >Depth of proofs, depth of cut-formulas and complexity of cut formulas

【2h】

Depth of proofs, depth of cut-formulas and complexity of cut formulas

机译：证明深度，剪切公式的深度和剪切公式的复杂性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zhang Wenhui;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Tree-depth and the Formula Complexity of Subgraph Isomorphism [J] . Deepanshu Kush, Benjamin Rossman Electronic Colloquium on Computational Complexity . 2020,第1期

机译：树深度和子图同构的公式复杂性
2. Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs [J] . Nicola Galesi, Dmitry Itsykson, Artur Riazanov, LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：所有图形的Tseitin公式的边界深度Frege复杂度
3. Bounded-depth Frege complexity of Tseitin formulas for all graphs [J] . Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Electronic Colloquium on Computational Complexity . 2019,第136期

机译：所有图形的Tseitin公式的有界深度弗雷格复杂度
4. Tree-depth and the Formula Complexity of Subgraph Isomorphism [C] . Deepanshu Kush, Benjamin Rossman IEEE Annual Symposium on Foundations of Computer Science . 2020

机译：树深度和子图同构的公式复杂性
5. An investigation of the relationship between cohesion and syntactic complexity of take-away writing and advanced content complexity and depth [D] . Gardner, Matthew Thomas. 2017

机译：外卖写作的衔接与句法复杂度与高级内容复杂度和深度之间的关系研究
6. Direct Comparison of ... formula ... and ... formula ... Cluster Projectiles in SIMS Molecular Depth Profiling [O] . Juan Cheng, Joseph Kozole, Robert Hengstebeck, -1

机译：直接比较...公式...和...公式... SIMS分子深度分析中的团簇射弹
7. A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth [O] . Gerth Stølting Brodal, Thore Husfeldt 2012

机译：对称函数具有对数深度的通信复杂性证明

Depth of proofs, depth of cut-formulas and complexity of cut formulas

著录项

引文网络

相似文献

相关主题

期刊订阅