Overt choice
Overt choice
复制标题
公开的选择
DOI：
10.3233/com-190253
复制
发表时间：
2019
期刊：
影响因子：
0.6
通讯作者：
Schroder Matthias
中科院分区：
文献类型：
--
作者：
de Brecht Matthew;Pauly Arno;Schroder Matthias
登录
查看更多内容
Choquet博弈拓扑空间中的Borel和Hausdorff层次及其实现
影响因子：
0.5
作者：
Verónica Becher;Serge Grigorieff
通讯作者：
Serge Grigorieff
可分离哈恩-巴纳赫定理有多不可计算？
影响因子：
1.3
作者：
G. Gherardi;Alberto Marcone
通讯作者：
Alberto Marcone
通过 Lawvere-Tierney 拓扑的可计算性理论和逆向数学
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Takehiro Hasegawa;Takashi Komatsu;Norio Konno;Hayato Saigo;Seiken Saito;Iwao Sato;Shingo Sugiyama;Takayuki Kihara
通讯作者：
Takayuki Kihara
论可计算性理论的统一计算内容
影响因子：
0.5
作者：
V. Brattka;Matthew Hendtlass;A. Kreuzer
通讯作者：
A. Kreuzer
在 WEIHRAUCH 晶格中寻找 ATR0 的类似物
DOI：
10.1017/jsl.2020.12
发表时间：
2018
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
Takayuki Kihara;Alberto Marcone;A. Pauly
通讯作者：
A. Pauly