Complete determinacy and subsystems of second order arithmetic
Complete determinacy and subsystems of second order arithmetic
复制标题
二阶算术的完全确定性和子系统
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
T. Nemoto
中科院分区：
文献类型：
--
作者：
Yong-Shu Mie;山口恵介;戸叶基樹;宇野秀満;鈴木優章;森重樹;斉藤尚平;大須賀篤弘;古田弘幸;T. Nemoto
登录
查看更多内容
基于1-诱导的HA片段
影响因子：
0.3
作者：
K. Wehmeier
通讯作者：
K. Wehmeier
Uniform NC 中的计数和树(1)
DOI：
--
发表时间：
1997
期刊：
--
影响因子：
--
作者：
Jui
通讯作者：
Jui
影响因子：
0.5
作者：
S. Goncharov;A. Sorbi
通讯作者：
A. Sorbi
HA 的一些弱片段和某些闭合特性
影响因子：
0.6
作者：
Morteza Moniri;M. Moniri
通讯作者：
M. Moniri
多排序代数上的可计算函数和半可计算集
DOI：
10.1093/oso/9780198537816.003.0008
发表时间：
2001
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
J. V. Tucker;J. Zucker
通讯作者：
J. Zucker