首页> 外文OA文献 >On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity)

【2h】

On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity)

机译：关于教会风格和咖喱风格的$ lambda $ 2项之间的精细结构（证明理论和复杂性）

代理获取

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

页面导航

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

著录项

作者
Fujita Ken-etsu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Decidable structures between Church-style and Curry-style [J] . Ken-etsu Fujita, Aleksy Schubert LIPIcs : Leibniz International Proceedings in Informatics . 2013,第4期

机译：教堂式和咖喱式之间的可决定结构
2. Circuit complexity, proof complexity, and polynomial identity testing: the ideal proof system [J] . Temur Kutsia Computing reviews . 2019,第5期

机译：电路复杂度，证明复杂度和多项式身份测试：理想的证明系统
3. Circuit complexity, proof complexity, and polynomial identity testing: the ideal proof system [J] . Temur Kutsia Computing reviews . 2019,第5期

机译：电路复杂性，证明复杂性和多项式身份测试：理想的证明系统
4. Decidable structures between Church-style and Curry-style [C] . Ken-etsu Fujita, Aleksy Schubert International Conference on Rewriting Techniques and Applications . 2013

机译：教堂式和咖喱型之间的可判定结构
5. Logical approaches to the complexity of search problems: Proof complexity, quantified propositional calculus, and bounded arithmetic. [D] . Morioka, Tsuyoshi. 2005

机译：解决搜索问题复杂性的逻辑方法：证明复杂性，量化命题演算和有界算术。
6. Extended X-Ray Absorption Fine Structure of ZrW2O8: Theory vs. Experiment [O] . Fernando D. Vila, John W. Spencer, Joshua J. Kas, 2018

机译：ZrW2O8的扩展X射线吸收精细结构：理论与实验
7. Decidable structures between Church-style and Curry-style [O] . Fujita Ken-etsu, Schubert Aleksy 2013

机译：教堂式和咖喱式之间的可判定结构

On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity)

著录项

引文网络

相似文献

相关主题

期刊订阅