可计算性,第9卷
2020年第9卷第1期
亨宁·费尔诺 , 直到Fluschnik , 丹尼·赫尔梅林 , 安德烈亚斯·克雷布斯 , 亨德里克·莫尔特 , 罗尔夫·尼德迈尔 :
可减参数化问题和严格多项式核化。 1-24 保罗·谢弗 :
可数完全线性阶的紧性强度。 25-36 彼得·格德斯 :
安 ω -与0~′形成极小对的REA集。 37-50 彼得罗·米利奇 :
笛卡尔基本方法的微分扩展:符号计算和模拟计算之间的新平衡。 51-83
2020年第9卷第2期
达米尔·德扎法罗夫 , Jun Le Goh先生 , 丹尼斯·赫施费尔特 , 卢多维克·佩蒂 , 阿诺·保利 :
Ramsey定理和Weihrauch度的乘积。 85-110 瑞斯·约翰斯顿 :
容许递归理论中有效闭集的Cantor-Bendixson秩。 111-125 芭芭拉·卡西玛 , 迈克尔·德沃 , 马修·哈里森-培训师 , 穆罕默德·阿塞姆·马哈茂德 :
极限序数以上的范畴度。 127-137 洛伦佐·卡卢奇 , Leszek Aleksander Kolodziejczyk公司 , 弗朗西斯科·勒波尔 , 康拉德·兹达诺夫斯基 :
Hindman定理某些限制的强度的新界限。 139-153 克里斯蒂安·卡鲁德 , 莫妮卡·杜米特里斯库 :
一种用于Halting问题的统计随时算法。 155-166
2020年第9卷第3-4期
瓦斯科·布拉特卡 , 达米尔·德扎法罗夫 , 阿尔贝托·马可尼 , 阿诺·保利 :
2018年达格斯图尔计算内容复杂性测量研讨会。 167-168 马修·德·布莱希特 , 阿诺·保利 , 马蒂亚斯·施罗德 :
公开选择。 169-191 彼得·乔拉克 , 达米尔·德扎法罗夫 , 丹尼斯·R·赫希费尔特 , 卢多维克·佩蒂 :
关于SRT22与COH问题的一些结果。 193-217 卡勒布·戴维斯 , 丹尼斯·赫施费尔特 , 杰弗里·赫斯特 , 杰克·帕尔多 , 阿诺·保利 , Keita Yokoyama先生 :
组合原理相当于弱归纳法。 219-229 Jun Le Goh先生 :
多值函数的组成。 231-247 彼得·赫特林 :
描述某些类函数和关系的Wadge度和拓扑Weihrauch度的森林。 249-307 杰弗里·赫斯特 :
叶管理。 309-314 内本孝子 :
C[0,1]中零可微函数稠密存在性的构造性证明。 315-326 维克托·塞利瓦诺夫 :
Q—自由结构的涉水度。 327-341