Weihrauch reducibility for some 3rd order principles
Weihrauch reducibility for some 3rd order principles
复制标题
某些三阶原理的 Weihrauch 可还原性
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Takayuki Kihara
中科院分区：
文献类型：
--
作者：
Hiroki Tsutsui;Naoki Yanagisawa;Yuu Sawai;Shuka Ikematsu;Hideyuki Arata;Tetsuya Higashiyama;Michitaka Notaguchi;浦 鐘月 清水 優樹;Takayuki Kihara
登录
查看更多内容
可数回溯函数和 HI 谓词
DOI：
--
发表时间：
2012
期刊：
--
影响因子：
--
作者：
T. McLaughlin;C. Jockusch;T. McLaughlin
通讯作者：
T. McLaughlin
DOI：
10.1016/0095-8956(76)90025-3
发表时间：
1976
期刊：
J. Comb. Theory B
影响因子：
--
作者：
K. Podewski;K. Steffens
通讯作者：
K. Steffens
有效着色
影响因子：
0.6
作者：
Dwight R. Bean
通讯作者：
Dwight R. Bean
在 WEIHRAUCH 晶格中寻找 ATR0 的类似物
DOI：
10.1017/jsl.2020.12
发表时间：
2018
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
Takayuki Kihara;Alberto Marcone;A. Pauly
通讯作者：
A. Pauly
有根据的递归排序
DOI：
10.1016/0003-4843(78)90001-3
发表时间：
1978
期刊：
Annals of Mathematical Logic
影响因子：
--
作者：
Keh
通讯作者：
Keh