阿拉斯代尔·厄克哈特
人员信息
附属: 加拿大多伦多大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 [公元46年] 阿拉斯代尔·厄克哈特 :
相关含义的几何学。 拍打 4 ( 三 ) ( 2017 ) 2016 [j45] 阿拉斯代尔·厄克哈特 :
S.Barry Cooper和Andrew Hodges(编辑),《曾经和未来的图灵:计算世界》。 剑桥大学出版社,2016年。 xviii+379页,其中:-马丁·戴维斯。 算法、方程和逻辑。 第4-19页 J.M.E.海兰德。 《被遗忘的图灵》,第20-33页 安德鲁·布克。 图灵和素数。 第34-52页 尤利·莫雷尔。 图灵之后的密码学和计算,第53-77页 Kanti V.Mardia和S.Barry Cooper。 阿兰·图灵和神秘统计学。 第78-89页 斯蒂芬·沃尔夫拉姆。 阿兰·图灵可能发现的东西。 第92-105页 克里斯托夫·特谢尔(Christof Teuscher)。 设计与固有计算。 第106-116页 所罗门·费弗曼。 图灵的“甲骨文”:从绝对计算到相对计算,再到反向计算。 第300-334页 P.D.韦尔奇。 图灵超越:超越事件视界。 第335-360页 罗杰·彭罗斯。 论数学思维建模的尝试。 第361-378页。 牛市。 符号。 日志。 22 ( 三 ) : 354-356 ( 2016 ) [公元44年] 阿拉斯代尔·厄克哈特 :
罗素和哥德尔。 牛市。 符号。 日志。 22 ( 4 ) : 504-520 ( 2016 ) 2013 [公元43年] 格里戈里造币厂 , 格里戈里·奥尔霍维科夫 , 阿拉斯代尔·厄克哈特 :
常域直觉逻辑中的插值失败。 J.塞姆。 日志。 78 ( 三 ) : 937-950 ( 2013 ) 2012 [公元42年] 阿拉斯代尔·厄克哈特 :
常规分辨率样张的宽度和尺寸。 日志。 方法计算。 科学。 8 ( 2 ) ( 2012 ) 2011 [公元41年] 阿拉斯代尔·厄克哈特 :
分辨率证明的深度。 Stud Logica公司 99 ( 1-3 ) : 349-364 ( 2011 ) [j40] 阿拉斯代尔·厄克哈特 :
正则分辨率和一般分辨率的近最优分离。 SIAM J.计算。 40 ( 1 ) : 107-121 ( 2011 ) 2010 [公元39年] 阿拉斯代尔·厄克哈特 :
冯·诺依曼、哥德尔和复杂性理论。 牛市。 符号。 日志。 16 ( 4 ) : 516-530 ( 2010 ) [公元38年] 阿拉斯代尔·厄克哈特 :
安德森和贝尔纳普邀请Sin。 J.菲洛斯。 日志。 39 ( 4 ) : 453-472 ( 2010 ) [第2页] 阿拉斯代尔·厄克哈特 , 伊夫·克拉玛 , 彼得·哈默 :
证明理论。 布尔模型和方法 2010 : 79-98
2000 – 2009
2009 [公元37年] 阿拉斯代尔·厄克哈特 :
枚举布尔函数的类型。 牛市。 符号。 日志。 15 ( 三 ) : 273-299 ( 2009 ) [公元36年] 亚历山大·赫特尔 , 阿拉斯代尔·厄克哈特 :
输入和单元分辨率的算法和复杂性结果。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 141-164 ( 2009 ) [r1] 阿拉斯代尔·厄克哈特 :
埃米尔·波斯特。 从罗素到教会的逻辑 2009 : 617-666 [i3] 亚历山大·赫特尔 , 阿拉斯代尔·厄克哈特 :
对ECCC报告TR06-133的评论:分辨率宽度问题是EXPTIME-Complete。 电子。 计算机学术讨论会。 复杂。 TR09型 ( 2009 ) 2008 [j35] 弗朗西斯·杰弗里·佩莱蒂埃 , 阿拉斯代尔·厄克哈特 :
同义逻辑:修正。 J.菲洛斯。 日志。 37 ( 1 ) : 95-100 ( 2008 ) [j34] 菲利普·克莱默 , 阿拉斯代尔·厄克哈特 :
监督——真理的定点逻辑。 J.菲洛斯。 日志。 37 ( 5 ) : 407-440 ( 2008 ) [公元33年] 阿尔多·安东内利 , 阿拉斯代尔·厄克哈特 , 理查德·扎克 :
哲学编辑导论中的数学方法。 版本符号。 日志。 1 ( 2 ) : 143-145 ( 2008 ) [第13条] 阿拉斯代尔·厄克哈特 :
常规和一般分辨率:改进的分离。 坐 2008 : 277-290 2007 [公元32年] 阿拉斯代尔·厄克哈特 :
分辨率证明中的宽度与尺寸。 理论。 计算。 科学。 384 ( 1 ) : 104-110 ( 2007 ) [公元31年] 迈克尔·阿勒赫诺维奇 , 简·约翰森 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
正则分辨率和一般分辨率之间的指数分离。 理论计算。 三 ( 1 ) : 81-102 ( 2007 ) [第12条] 亚历山大·赫特尔 , 阿拉斯代尔·厄克哈特 :
树解析空间的博弈特征和PSPACE-完备性。 CSL公司 2007 : 527-541 [第11条] 亚历山大·赫特尔 , 菲利普·赫特尔 , 阿拉斯代尔·厄克哈特 :
将危险SAT编码正式化。 坐 2007 : 159-172 2006 【j30】 诺里科·H·阿莱 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
分析表的复杂性。 J.塞姆。 日志。 71 ( 三 ) : 777-790 ( 2006 ) [第10条] 伊沃·丁施 , 阿拉斯代尔·厄克哈特 :
从二元关系获得的中间性和可比性。 RelMiCS公司 2006 : 148-161 【c9】 阿拉斯代尔·厄克哈特 :
分辨率证明中的宽度与尺寸。 TAMC公司 2006 : 79-88 [i2] 亚历山大·赫特尔 , 阿拉斯代尔·厄克哈特 :
分辨率宽度问题是EXPTIME-Complete。 电子。 计算机学术讨论会。 复杂。 TR06型 ( 2006 ) 2005 [公元29年] 阿拉斯代尔·厄克哈特 :
用替换规则证明命题的复杂性。 日志。 J.IGPL公司 13 ( 三 ) : 287-291 ( 2005 ) 【c8】 阿拉斯代尔·厄克哈特 :
射影代数的对偶理论。 RelMiCS公司 2005 : 33-47 2004 [公元28年] 迈克尔·索尔提斯 , 阿拉斯代尔·厄克哈特 :
矩阵恒等式和鸽子洞原理。 架构(architecture)。 数学。 日志。 43 ( 三 ) : 351-358 ( 2004 ) 2003 [公元27年] 阿拉斯代尔·厄克哈特 :
匹配原则的分辨率证明。 安。数学。 Artif公司。 智力。 37 ( 三 ) : 241-250 ( 2003 ) [公元26年] 弗朗西斯·杰弗里·佩利蒂尔 , 阿拉斯代尔·厄克哈特 :
同义逻辑。 J.菲洛斯。 日志。 32 ( 三 ) : 259-285 ( 2003 ) 2002 【c7】 迈克尔·阿列克诺维奇 , 简·约翰森 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
常规分辨率和一般分辨率之间的指数分离。 STOC公司 2002 : 448-456 2001 【c6】 诺里科·H·阿莱 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
分析表的复杂性。 STOC公司 2001 : 356-363 [第1页] 阿拉斯代尔·厄克哈特 :
命题证明的复杂性。 理论计算机科学的当前趋势 2001 : 332-342 [i1] 迈克尔·阿列克诺维奇 , 简·约翰森 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
正则分辨率和一般分辨率之间的指数分离。 电子。 计算机学术讨论会。 复杂。 TR01型 ( 2001 ) 2000 【c5】 诺里科·H·阿莱 , 阿拉斯代尔·厄克哈特 :
命题逻辑中的局部对称性。 表格 2000 : 40-51
1990 – 1999
1999 [公元25年] 阿拉斯代尔·厄克哈特 :
命题逻辑中的对称规则。 谨慎。 申请。 数学。 96-97 : 177-193 ( 1999 ) [公元24年] 阿拉斯代尔·厄克哈特 :
关联逻辑中决策程序的复杂性2。 J.塞姆。 日志。 64 ( 4 ) : 1774-1802 ( 1999 ) 1998 [公元23年] 阿拉斯代尔·厄克哈特 :
命题证明的复杂性。 牛市。 EATCS公司 64 ( 1998 ) 1997 [公元22年] 阿拉斯代尔·厄克哈特 :
Frege用替换证明的行数。 架构(architecture)。 数学。 日志。 37 ( 1 ) : 15-19 ( 1997 ) [公元21年] 阿拉斯代尔·厄克哈特 :
复习:可行性数学2。 日志。 J.IGPL公司 5 ( 2 ) : 301-302 ( 1997 ) [公元20年] 阿拉斯代尔·厄克哈特 :
的图构造 H(H) 阿霍斯和俄勒冈州。 J.图论 26 ( 4 ) : 211-215 ( 1997 ) 1996 [公元19年] 阿拉斯代尔·厄克哈特 , 傅旭东 :
命题证明的简化下限。 圣母院J.正式日志。 37 ( 4 ) : 523-544 ( 1996 ) [j18] 阿拉斯代尔·厄克哈特 :
相关逻辑代数的对偶性。 Stud Logica公司 56 ( 1/2 ) : 263-276 ( 1996 ) 1995 [公元17年] 阿拉斯代尔·厄克哈特 :
命题证明的复杂性。 牛市。 符号。 日志。 1 ( 4 ) : 425-467 ( 1995 ) [公元16年] 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
哈霍斯微积分的复杂性。 SIAM J.谨慎。 数学。 8 ( 三 ) : 464-483 ( 1995 ) 1994 【c4】 罗素·英帕利亚佐 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
树状切割平面的上下限证明。 低收入国家 1994 : 220-228 1993 [公元15年] 史提芬·古克 , 阿拉斯代尔·厄克哈特 :
可行性构造算法的功能解释。 Ann.纯粹应用。 日志。 63 ( 2 ) : 103-200 ( 1993 ) [公元14年] 阿拉斯代尔·厄克哈特 :
相关逻辑插补失败。 J.菲洛斯。 日志。 22 ( 5 ) : 449-479 ( 1993 ) 1992 [j13] 阿拉斯代尔·厄克哈特 :
分辨率和无切割Gentzen系统的相对复杂性。 安。数学。 Artif公司。 智力。 6 ( 1-3 ) : 157-168 ( 1992 ) [公元12年] 斯蒂芬·J·贝兰托尼 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
近似和小深度Frege证明。 SIAM J.计算。 21 ( 6 ) : 1161-1179 ( 1992 ) 【c3】 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
哈约斯微积分的复杂性。 光纤通信系统 1992 : 187-196 1991 【c2】 斯蒂芬·贝兰托尼 , 托尼安·皮塔西 , 阿拉斯代尔·厄克哈特 :
近似和小深度频率证明。 SCT公司 1991 : 367-390 1990 [公元11年] Janusz Czelakowski先生 , 阿拉斯代尔·厄克哈特 , 雷泽德·沃西基 , 让·渥伦斯基 , 安德烈·森德勒夫斯基 , 马金·莫斯托夫斯基 :
收到的书籍。 Stud Logica公司 49 ( 1 ) : 151-161 ( 1990 )
1980 – 1989
1989 [公元10年] 阿拉斯代尔·厄克哈特 :
命题逻辑Gentzen系统的复杂性。 理论。 计算。 科学。 66 ( 1 ) : 87-97 ( 1989 ) 【c1】 史提芬·古克 , 阿拉斯代尔·厄克哈特 :
可行性构造算法的功能解释(扩展摘要)。 STOC公司 1989 : 107-112 1988 [公元9年] 罗伯特·梅耶 , 埃罗尔·马丁 , 史蒂夫·吉安布罗内 , 阿拉斯代尔·厄克哈特 :
半格逻辑证明理论的进一步结果。 数学。 日志。 问:。 34 ( 4 ) : 301-304 ( 1988 ) 1987 [j8] 阿拉斯代尔·厄克哈特 :
解决方案的硬性示例。 J.ACM公司 34 ( 1 ) : 209-219 ( 1987 ) [j7] 史蒂夫·吉安布罗内 , 罗伯特·梅耶 , 阿拉斯代尔·厄克哈特 :
无收缩半格语义学。 J.塞姆。 日志。 52 ( 2 ) : 526-529 ( 1987 ) [j6] 史蒂夫·詹布罗内 , 阿拉斯代尔·厄克哈特 :
半格逻辑的证明理论。 数学。 日志。 问:。 33 ( 5 ) : 433-439 ( 1987 ) 1984 [j5] 阿拉斯代尔·厄克哈特 :
牵连的不确定性及其启示。 J.塞姆。 日志。 49 ( 4 ) : 1059-1073 ( 1984 ) 1981 【j4】 阿拉斯代尔·厄克哈特 :
可判定性和有限模型性质。 J.菲洛斯。 日志。 10 ( 三 ) : 367-370 ( 1981 )
1970 – 1979
1974 [j3] 阿拉斯代尔·厄克哈特 :
直觉逻辑中的隐含公式。 J.塞姆。 日志。 39 ( 4 ) : 661-664 ( 1974 ) 1973 [注2] 阿拉斯代尔·厄克哈特 :
分析蕴涵的语义理论。 J.菲洛斯。 日志。 2 ( 2 ) : 212-219 ( 1973 ) 1972 [j1] 阿拉斯代尔·厄克哈特 :
相关逻辑的语义。 J.塞姆。 日志。 37 ( 1 ) : 159-169 ( 1972 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)