达米尔·德扎法罗夫
人员信息
优化列表
2020年–今天
2022 【b1】 达米尔·德扎法罗夫 , 卡尔·穆默特 :
逆向数学-与欧洲可计算性协会合作。 施普林格 2022 ,国际标准图书编号 978-3-031-11366-6 ,第1-457页 [公元23年] 达米尔·德扎法罗夫 , 丹尼斯·赫施费尔特 , 莎拉·雷茨 :
约简游戏,可证明性和紧性。 数学杂志。 日志。 22 ( 三 ) : 2250009:1-2250009:37 ( 2022 ) 2021 [公元22年] 达米尔·德扎法罗夫 , 卢多维克·佩蒂 :
COH、SRT22和多功能。 计算。 10 ( 2 ) : 111-121 ( 2021 ) [公元21年] 达米尔·德扎法罗夫 , 斯蒂芬·弗洛德 , 里德所罗门 , 琳达·布朗·韦斯特里克 :
对偶拉姆齐定理的有效性。 圣母院J.正式日志。 62 ( 三 ) ( 2021 ) 2020 [j20] 达米尔·德扎法罗夫 , Jun Le Goh先生 , 丹尼斯·赫施费尔特 , 卢多维奇·帕蒂 , 阿诺·保利 :
Ramsey定理和Weihrauch度的乘积。 计算。 9 ( 2 ) : 85-110 ( 2020 ) [公元19年] 瓦斯科·布拉特卡 , 达米尔·德扎法罗夫 , 阿尔贝托·马可尼 , 阿诺·保利 :
2018年达格斯图尔计算内容复杂性测量研讨会。 计算。 9 ( 3-4 ) : 167-168 ( 2020 ) [公元18年] 彼得·乔拉克 , 达米尔·德扎法罗夫 , 丹尼斯·赫施费尔特 , 卢多维克·佩蒂 :
关于SRT22与COH问题的一些结果。 计算。 9 ( 3-4 ) : 193-217 ( 2020 ) [公元17年] 埃里克·P·阿斯特 , 达米尔·德扎法罗夫 , 安东尼奥·蒙塔尔班 , 里德所罗门 , 琳达·布朗·韦斯特里克 :
逆向数学中Baire的确定性。 J.塞姆。 日志。 85 ( 1 ) : 166-198 ( 2020 )
2010 – 2019
2019 [公元16年] 芭芭拉·卡西玛 , 达米尔·德扎法罗夫 , 丹尼斯·赫施费尔特 , 小卡尔·G·约克什。 , 里德所罗门 , 琳达·布朗·韦斯特里克 :
正好两个元素之和的Hindman定理的逆向数学。 计算。 8 ( 3-4 ) : 253-263 ( 2019 ) [公元15年] 达米尔·德扎法罗夫 :
关于Sorites的反向数学的注释。 版本符号。 日志。 12 ( 1 ) : 30-36 ( 2019 ) 2018 [公元14年] 达米尔·德扎法罗夫 , 约瑟夫·米莱蒂 :
可计算唯一因子分解域中素数的复杂性。 圣母院J.正式日志。 59 ( 2 ) : 139-156 ( 2018 ) [i3] 瓦斯科·布拉特卡 , 达米尔·德扎法罗夫 , 阿尔贝托·马可尼 , 阿诺·保利 :
衡量计算内容的复杂性:从组合问题到分析(Dagstuhl研讨会,18361年)。 达格斯图尔报告 8 ( 9 ) : 1-28 ( 2018 ) 2017 [j13] 埃里克·P·阿斯特 , 达米尔·德扎法罗夫 , 里德所罗门 , 雅各布·萨格斯 :
偏阶和线性阶的统一内容。 Ann.纯粹应用。 日志。 168 ( 6 ) : 1153-1171 ( 2017 ) [公元12年] 达米尔·德扎法罗夫 :
罗伯特·索尔(Robert I.Soare),《图灵可计算性,可计算性理论与应用》(Turing Computatibility,Theory and Applications of Computatible),斯普林格·弗拉格(Springer-Verlag),柏林,海德堡,2016年,xxxvi+263页。 牛市。 符号。 日志。 23 ( 1 ) : 113-115 ( 2017 ) [公元11年] 达米尔·德扎法罗夫 , 格雷戈里·伊古萨 :
稳健信息编码的概念。 计算。 6 ( 2 ) : 105-124 ( 2017 ) [c2] 达米尔·德扎法罗夫 , 小卡尔·G·约克什。 , 里德所罗门 , 琳达·布朗·韦斯特里克 :
Hindman定理对有界和的有效性。 可计算性和复杂性 2017 : 134-142 [i2] 达米尔·德扎法罗夫 :
加入强大的Weihrauch度。 CoRR公司 abs/1704.01494 ( 2017 ) 2016 [公元10年] 达米尔·德扎法罗夫 :
组合原理之间的强约简。 J.塞姆。 日志。 81 ( 4 ) : 1405-1431 ( 2016 ) 2015 [i1] 达米尔·德扎法罗夫 , Ehtibar N.Dzhafarov公司 :
分类索利斯、概率监督和规则制定。 CoRR公司 abs/1502.01075 ( 2015 ) 2014 [公元9年] 彼得·乔拉克 , 达米尔·德扎法罗夫 , 杰弗里·赫斯特 , 西奥多·斯拉曼 :
可计算Mathias强制的泛型。 Ann.纯粹应用。 日志。 165 ( 9 ) : 1418-1428 ( 2014 ) 2012 [j8] 达米尔·德扎法罗夫 , 卡尔·穆默特 :
逆向数学与有限字符的性质。 Ann.纯粹应用。 日志。 163 ( 9 ) : 1243-1251 ( 2012 ) [j7] 彼得·乔拉克 , 达米尔·德扎法罗夫 , 诺亚·戴维·施韦伯 , 理查德·肖尔 :
可计算可枚举偏序。 计算。 1 ( 2 ) : 99-107 ( 2012 ) 【c1】 彼得·乔拉克 , 达米尔·德扎法罗夫 , 杰弗里·赫斯特 :
关于Mathias泛型集。 CiE公司 2012 : 129-138 2011 [j6] 达米尔·德扎法罗夫 :
稳定拉姆齐定理与测度。 圣母院J.正式日志。 52 ( 1 ) : 95-112 ( 2011 ) [j5] 达米尔·德扎法罗夫 :
无限饱和订单。 订单 28 ( 2 ) : 163-172 ( 2011 ) 2010 [j4] 达米尔·德扎法罗夫 , 杰弗里·赫斯特 , 塔玛拉·J·拉金斯 :
树的拉姆齐定理:极化树定理和稳定性概念。 架构(architecture)。 数学。 日志。 49 ( 三 ) : 399-415 ( 2010 ) [j3] 戴维·戴蒙德斯通 , 达米尔·德扎法罗夫 , 罗伯特·索尔 :
Π 0 1 类、Peano算术、随机性和可计算支配。 圣母院J.正式日志。 51 ( 1 ) : 127-159 ( 2010 )
2000 – 2009
2009 [注2] 达米尔·德扎法罗夫 , 杰弗里·赫斯特 :
极化拉姆齐定理。 架构(architecture)。 数学。 日志。 48 ( 2 ) : 141-157 ( 2009 ) [j1] 达米尔·德扎法罗夫 , 小卡尔·G·约克什。 :
拉姆齐定理和锥回避。 J.塞姆。 日志。 74 ( 2 ) : 557-578 ( 2009 )