首页> 外文OA文献 >MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)

【2h】

MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)

机译：有界算术模型（探讨范畴论和证明论之间的新相互作用）

代理获取

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

页面导航

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

著录项

作者
Kuroda Satoru;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Proof theory in bounded arithmetic systems [J] . Mitsuru Tada 東北大学電通谈话会記録 . 1998,第1期

机译：有界算术系统中的证明理论
2. From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk) [J] . Iddo Tzameret LIPIcs : Leibniz International Proceedings in Informatics . 2020,第30期

机译：从古典证明理论到P与NP：有界理论的指南（邀请谈话）
3. Reconciliation of quantum theory and gravitation via redefinition of time in a nondiscrete compressible fluid model of the universe with interactions governed by the Wheeler-Feynman transactional theory in the quantum-equilibrium theory framework [J] . Bility Moses Turkle Physics essays . 2019,第4期

机译：通过在宇宙的非义格式可压缩流体模型中重新定义宇宙中的互动互动于量子均衡理论框架的互动互动的互动的调节
4. Proof Planning Diagonalisation Theorems via Category Theory [C] . Alan Smaill AISB Convention . 2007

机译：通过类别理论证明规划对角定理
5. Non-invasive detection of pre-malignant lesions using sub-ablative, deep ultraviolet laser-tissue interactions coupled with endogenous tissue fluorescence: Proof-of-concept, computational modeling, and detection-theory strategies for clinical instrument design and testing. [D] . Kozikowski, Raymond Thomas, III. 2012

机译：使用亚消融性深紫外激光-组织相互作用与内源性组织荧光相结合的无创检测恶性前病变的方法：概念验证，计算模型以及用于临床仪器设计和测试的检测理论策略。
6. Bounds on the power of proofs and advice in general physical theories [O] . Ciarán M. Lee, Matty J. Hoban -1

机译：一般物理理论中证明和建议的力量范围
7. Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory) [O] . Misumi Shuhei 2001

机译：二阶有界算术中的模块化计数函数（以实现范畴论和证明论之间的新相互作用）
8. K-Theory for Triangulated Categories 3 3/4: A Direct Proof of the Theorem of theHeart [R] . Neeman, A. 2000

机译：三角测量分类的K-Theory 3 3/4：心脏定理的直接证明

MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)

著录项

引文网络

相似文献

相关主题

期刊订阅