首页> 外文OA文献 >Some Fine Hierarchies on Relativized Time-Bounded Complexity Classes(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

【2h】

Some Fine Hierarchies on Relativized Time-Bounded Complexity Classes(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

机译：相对时间有界复杂性类的一些精细层次结构（逻辑和数学基础）

代理获取

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

页面导航

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

著录项

作者
TANAKA Hisao; IZUMI Masa-aki; TAKAHASHI Nobuyuki;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Giandomenico Sica, editor. Essays on the Foundations of Mathematics and Logic [1.1]. Advanced Studies in Mathematics and Logic. Monza: Polimetrica International Scientific Publisher,* 2005. ISBN 88-7699-014-3. Pp. 351. [J] . Philosophia Mathematica . 2006,第2期

机译：Giandomenico Sica，编辑。关于数学和逻辑基础的论文[1.1]。数学和逻辑高级研究。蒙扎：Polimetrica国际科学出版社，*2005。ISBN88-7699-014-3。 Pp。 351。
2. Giandomenico Sica, editor. Essays on the Foundations of Mathematics and Logic [1.2]. Advanced Studies in Mathematics and Logic. Monza: Polimetrica International Scientific Publisher,* 2005. ISBN 88-7699-021-6. Pp. 120. [J] . Philosophia Mathematica . 2006,第2期

机译：Giandomenico Sica，编辑。关于数学和逻辑基础的论文[1.2]。数学和逻辑高级研究。蒙扎：Polimetrica国际科学出版社，*2005。ISBN88-7699-021-6。 Pp。 120。
3. The search for mathematical roots, 1870-1940: Logics, set theories, and the foundations of mathematics from Cantor through Russell to G?del [J] . William Ewald Bulletin of the American Mathematical Society . 2003,第1期

机译：寻找数学根源（1870-1940年）：逻辑，设定论和从坎托尔到罗素再到格德尔的数学基础
4. On Complete Problems, Relativizations and Logics for Complexity Classes [C] . Anuj Dawar Fields of logic and computation . 2010

机译：关于复杂性类的完全问题，相对化和逻辑
5. The Fine-Grained Complexity of Problems Expressible by First-Order Logic and Its Extensions [D] . Gao, Jiawei. 2019

机译：一阶逻辑及其扩展表明的问题的细粒度复杂性
6. The Axiom of Choice in Quines New Foundations for Mathematical Logic [O] . Ernst P. Specker 1953

机译：奎因数学逻辑新基础中的选择公理
7. Positive relativizations of low level complexity classes(Mathematical Foundations of Computer Science and Their Applications) [O] . 戸田誠之助 1985

机译：低级复杂度类别的正相对化（计算机科学的数学基础及其应用）

Some Fine Hierarchies on Relativized Time-Bounded Complexity Classes(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

著录项

引文网络

相似文献

相关主题

期刊订阅