首页> 外文OA文献 >Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)

【2h】

Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)

机译：与布尔电路计算有关的应用理论的复杂性理论方面（后续计算和证明理论）

页面导航

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

著录项

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

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

相似文献

外文文献
中文文献
专利

1. Contraction-free sequent calculi for geometric theories with an application to Barr's theorem [J] . Sara Negri Archive for Mathematical Logic . 2003,第4期

机译：几何理论的无紧缩后续演算在巴尔定理中的应用
2. Complexity Theory Column 89: The Polynomial Hierarchy, Random Oracles, and Boolean Circuits [J] . Benjamin Rossman, Rocco A. Servedio, Li-Yang Tan SIGACT News . 2015,第4期

机译：复杂度理论专栏89：多项式层次结构，随机Oracle和布尔电路
3. Functional Lower Bounds for Arithmetic Circuits and Connections to Boolean Circuit Complexity [J] . Michael A. Forbes, Mrinal Kumar, Ramprasad Saptharishi LIPIcs : Leibniz International Proceedings in Informatics . 2016,第29期

机译：算术电路的功能下界和布尔电路复杂度的连接
4. Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory [C] . Denis R. Hirschfeldt Conference on Computability in Europe . 2005

机译：Vaughtian模型理论的计算性 - 理论与证明性方面
5. Group-Theoretic Aspects of Complexity Theory and Coding Theory [D] . Black, Timothy James Fornell. 2019

机译：复杂理论与编码理论的群体理论方面
6. Aspects of protein–DNA interactions: a review of quantitative thermodynamic theory for modelling synthetic circuits utilising LacI and CI repressors IPTG and the reporter gene lacZ [O] . Peter D. Munro, Gary K. Ackers, Keith E. Shearwin 2016

机译：蛋白质与DNA相互作用的方面：使用LacI和CI阻遏物IPTG和报告基因lacZ对合成电路建模的定量热力学理论综述
7. A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory) [O] . Hasuo Ichiro, Kashima Ryo 2003

机译：具有可构造虚假逻辑的证明理论研究（后续计算和证明理论）
8. Graph Theoretic Approaches to Diagnostics: Applications of Logic Programming and Cutset Theory to Aspects of Reactor and Circuit Analysis [R] . Ehrlich, S. M., Gabriel, J. R., Gonen, A., 1985

机译：诊断的图论理论方法：逻辑规划和割集理论在反应堆和电路分析方面的应用

Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)

著录项

引文网络

相似文献

相关主题

期刊订阅