安德烈·杜登赫夫纳
人员信息
优化列表
2020年-今天
2023 [j6] 安德烈·杜登赫夫纳 :
从暂停问题到半统一的构造性多个约简(扩展版)。 日志。 方法计算。 科学。 19 ( 4 ) ( 2023 ) 2022 [第15条] 安德烈·杜登赫夫纳 :
从暂停问题到半统一的多个构造性约简。 CSL公司 2022 : 18:1-18:19 [第14条] 安德烈·杜登赫夫纳 :
双计数器机器的认证决策程序。 金融稳定与发展部 2022 : 16:1-16:18 [第13条] 约翰内斯·霍斯特 , 安德烈·杜登赫夫纳 , 多米尼克·柯斯特 :
Coq中二进一阶逻辑的不确定性。 ITP公司 2022 : 19:1-19:19 [i4] 安德烈·杜登赫夫纳 :
从Halting问题到半统一的构造性多一约简(扩展版)。 CoRR公司 abs/2208.13428 ( 2022 ) 2021 [j5] 安德烈·杜登赫夫纳 , 巴维尔·乌尔兹琴 :
交集公式的Kripke语义。 ACM事务处理。 计算。 日志。 22 ( 三 ) : 15:1-15:16 ( 2021 ) [c12] 安德烈·杜登赫夫纳 :
系统F的不可判定性和约简者的类型检查。 许可证 2021 : 1-10 2020 [第11条] 安德烈·杜登赫夫纳 :
餐巾上的半统一性无法确定。 金融稳定与发展部 2020 : 9:1-9:16
2010 – 2019
2019 【b1】 安德烈·杜登赫夫纳 :
基于类型的程序合成的算法方面。 德国多特蒙德技术大学, 2019 【j4】 安德烈·杜登赫夫纳 , 雅各布·雷霍夫 :
3级交叉口类型居住的不确定性及其形式化。 芬丹。 信息学 170 ( 1-3 ) : 93-110 ( 2019 ) [j3] 安德烈·杜登赫夫纳 , 雅各布·雷霍夫 :
量纲界下的公理和近似。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 8:1-8:29 ( 2019 ) 2018 [注2] 简·贝塞 , 陈子淳 , 安德烈·杜登赫夫纳 , 鲍里斯·杜德尔 , 乌戈·德利古罗 , 雅各布·雷霍夫 :
基于交集类型的Mixin合成。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) [第10条] 安德烈·杜登赫夫纳 , 雅各布·雷霍夫 :
系统F居住的一个更简单的不可判定性证明。 类型 2018 : 2:1-2:11 2017 [j1] 安德烈·杜登赫夫纳 , 莫里茨·马滕斯 , 雅各布·雷霍夫 :
代数交集型统一问题。 日志。 方法计算。 科学。 13 ( 三 ) ( 2017 ) [c9] 安德烈·杜登赫夫纳 , Jakob Rehof :
有界维度的可类型性。 许可证 2017 : 1-12 【c8】 安德烈·杜登赫夫纳 , 雅各布·雷霍夫 :
有界维度的交集类型计算。 POPL公司 2017 : 653-665 【c7】 安德烈·杜登赫夫纳 , 雅各布·雷霍夫 :
主体居住的复杂性。 金融稳定与发展部 2017 : 15:1-15:14 【c6】 安德烈·杜登赫夫纳 , Jakob Rehof :
线性后频谱的下端。 类型 2017 : 2:1-2:15 [i3] 安德烈·杜登赫夫纳 , 雅各布·雷霍夫 :
等级3重新修订交叉口类型的居住情况(扩展版)。 CoRR公司 腹肌/1705.06070 ( 2017 ) [i2] 简·贝塞 , 陈子淳 , 安德烈·杜登赫夫纳 , 鲍里斯·杜德尔 , 乌戈·德利古罗 , 雅各布·雷霍夫 :
基于交集类型的Mixin合成。 CoRR公司 abs/1712.06906 ( 2017 ) 2016 【c5】 简·贝塞 , 安德烈·杜登赫夫纳 , 鲍里斯·杜德尔 , 莫里茨·马滕斯 , 雅各布·雷霍夫 :
组合工艺合成。 ISoLA(1) 2016 : 266-281 【c4】 安德烈·杜登赫夫纳 , 莫里茨·马滕斯 , 雅各布·雷霍夫 :
交集类型统一问题。 金融稳定与发展部 2016 : 19:1-19:16 [i1] 安德烈·杜登赫夫纳 , 莫里茨·马滕斯 , 雅各布·雷霍夫 :
交集类型统一问题。 CoRR公司 abs/1611.05672 ( 2016 ) 2015 【c3】 简·贝塞 , 安德烈·杜登赫夫纳 , 鲍里斯·杜德尔 , 陈子淳 , 乌戈·德利古罗 , 雅各布·雷霍夫 :
基于交集类型的Mixin合成。 薄层色谱分析 2015 : 76-91 2014 【c2】 简·贝塞 , 安德烈·杜登赫夫纳 , 鲍里斯·杜德尔 , 莫里茨·马滕斯 , 雅各布·雷霍夫 :
组合逻辑合成器。 ISoLA(1) 2014 : 26-40 【c1】 简·贝塞 , 鲍里斯·杜德尔 , 安德烈·杜登赫夫纳 , 陈子淳 , 乌戈·德利古罗 :
使用交集类型键入类和混合。 ITRS公司 2014 : 79-93