编辑配置文件(在新选项卡中打开) 阿诺德·贝克曼 合著者距离 作者ID: 贝克曼·阿诺德 发布方式: 阿诺德·贝克曼 已编制索引的文档: 41出版物自1996年以来,包括1本书 13作为编辑的贡献 合著者: 26位合著者具有41联合出版物 851名合著作者 全部的 前5名合著者 13 单作者的 13 Samuel R.巴斯。 10 Löwe,Benedikt公司 6 Preining,诺伯特 5 尼尔·萨彭 4 Sy-David弗里德曼 三 莫里茨·米勒 三 安德烈亚斯·魏尔曼 2 克劳斯·埃利格 2 克劳斯Ambos-Spies 2 埃兹贝特·苏哈伊·瓦尔朱 2 帕维尔·普德拉克 1 乌尔里希·伯格 1 Laurent Bienvenu 1 科斯塔斯·迪米特拉科普洛斯 1 马丁·罗伯特·戈尔斯特恩 1 詹·约翰森 1 纳塔沙·乔诺斯卡 1 克劳斯·米尔 1 沃尔夫冈·默克尔 1 维克托·米特拉纳 1 达格·诺曼 1 沃尔夫拉姆·波勒 1 克里斯·波列特 1 Jean-JoséRazafindrakoto 1 玛丽亚·伊万诺娃·索斯科娃 1 约翰·V·塔克。 全部的 前5名系列 8 纯逻辑与应用逻辑年鉴 6 逻辑与计算杂志 5 计算机科学课堂讲稿 4 符号逻辑杂志 4 数学逻辑档案 三 计算系统理论 三 ACM计算逻辑事务 2 理论计算机科学 2 数学逻辑季刊(MLQ) 1 订单 1 软计算 1 数学逻辑杂志 1 计算中的文本 1 可计算性 全部的 前5名领域 48 数学逻辑和基础(03-XX) 25 计算机科学(68至XX) 13 总体主题;集合(00-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用152中的次106文件 引用人▼ 年份▼ 类型化\(\lambda\)-演算中约简长度的精确界限。 兹比尔1159.03305 阿诺德·贝克曼 17 2001 多项式层次中的多项式局部搜索和有界算法片段中的见证。 Zbl 1204.03056号 阿诺德·贝克曼;Samuel R.巴斯。 12 2009 改进了二阶有界算法的见证和局部改进原则。 Zbl 1287.03105号 阿诺德·贝克曼;Samuel R.巴斯。 12 2014 连续Fraïssé猜想。 Zbl 1171.03027号 阿诺德·贝克曼;马丁·戈尔斯特恩;Preining,诺伯特 10 2008 线性克里普克框架和哥德尔逻辑。 Zbl 1118.03016号 阿诺德·贝克曼;Preining,诺伯特 10 2007 通过证明符号表征有界算法中可定义的搜索问题。 Zbl 1244.03163号 阿诺德·贝克曼;Samuel R.巴斯。 8 2010 恒深命题证明大小的分离结果。 兹比尔1089.03048 阿诺德·贝克曼;Samuel R.巴斯。 7 2005 分离有界算术的片段。 Zbl 0858.03053号 阿诺德·贝克曼 7 1996 动态序数分析。 Zbl 1025.03058号 阿诺德·贝克曼 6 2003 无割无穷导数在广义递归理论中的应用。 Zbl 0924.03087号 阿诺德·贝克曼;沃尔夫拉姆·波勒 6 1998 多时间函数和相关复杂性类的重写表征。 Zbl 0941.03040号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 5 1996 修正了自由切割消除的上限。 Zbl 1267.03053号 阿诺德·贝克曼;Samuel R.巴斯。 5 2011 安全递归集函数。 Zbl 1357.03075号 阿诺德·贝克曼;Samuel R.巴斯。;Sy-David弗里德曼 5 2015 通过扩展的水头减少树分析哥德尔(T)。 Zbl 0964.03058号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 4 2000 用单数句分离基础良好结构和双重基础良好结构的中间谓词逻辑。 兹比尔1348.03026 阿诺德·贝克曼;Preining,诺伯特 4 2015 奇偶博弈和命题证明。 Zbl 1291.03111号 阿诺德·贝克曼;帕维尔·普德拉克;尼尔·萨彭 4 2014 Frege的NP搜索问题和扩展Frege证明。 Zbl 1407.03071号 阿诺德·贝克曼;萨姆·巴斯 4 2017 有界算术中的序数符号和有序。 Zbl 1015.03055号 阿诺德·贝克曼;克里斯·波列特;Samuel R.巴斯。 三 2003 Cobham递归集函数。 兹比尔1383.03050 阿诺德·贝克曼;萨姆·巴斯;Sy-David弗里德曼;莫里茨·米勒;尼尔·萨彭 三 2016 计算障碍的逻辑方法。2006年6月30日至7月5日在英国斯旺西举行的第二届欧洲可计算性会议,CiE 2006。诉讼程序。 Zbl 1102.68002号 2 2006 用哥德尔(T)的一段描述基本递归函数的特征。 Zbl 0965.03070号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 2 2000 关于裁剪的计算复杂性。 兹比尔1223.03042 克劳斯·埃利格;阿诺德·贝克曼 2 2010 在有界算术中证明方程理论的一致性。 Zbl 1011.03043号 阿诺德·贝克曼 2 2002 不断发展的可计算性。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。 Zbl 1314.68011号 2 2015 Peano算法中可定义NP搜索问题的特征。 Zbl 1246.68119号 阿诺德·贝克曼 2 2009 广义动态序数-隐式计算复杂性的通用度量。 Zbl 1105.03060号 阿诺德·贝克曼 1 2006 指数表示法。 Zbl 1061.03062号 阿诺德·贝克曼 1 2002 算法的逻辑和理论。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。 Zbl 1137.68002号 1 2008 有界算术中的保留定理和限制一致性语句。 Zbl 1060.03080号 阿诺德·贝克曼 1 2004 具有分散端块的线性Kripke框架的逻辑判定。 Zbl 1400.03053号 阿诺德·贝克曼;Preining,诺伯特 1 2017 哥德尔逻辑的超自然演绎——一个用于并行推理的自然演绎系统。 Zbl 1444.03094号 阿诺德·贝克曼;Preining,诺伯特 1 2018 Cobham递归集函数和弱集理论。 Zbl 1448.03029号 阿诺德·贝克曼;萨姆·巴斯;Sy-David弗里德曼;莫里茨·米勒;尼尔·萨彭 1 2018 超自然演绎。 Zbl 1394.03068号 阿诺德·贝克曼;Preining,诺伯特 1 2015 哥德尔逻辑的超自然演绎——一个用于并行推理的自然演绎系统。 Zbl 1444.03094号 阿诺德·贝克曼;Preining,诺伯特 1 2018 Cobham递归集函数和弱集理论。 Zbl 1448.03029号 阿诺德·贝克曼;萨姆·巴斯;Sy-David弗里德曼;莫里茨·米勒;尼尔·萨彭 1 2018 Frege的NP搜索问题和扩展Frege证明。 Zbl 1407.03071号 阿诺德·贝克曼;萨姆·巴斯 4 2017 具有分散端块的线性Kripke框架的逻辑判定。 兹比尔1400.03053 阿诺德·贝克曼;Preining,诺伯特 1 2017 Cobham递归集函数。 Zbl 1383.03050号 阿诺德·贝克曼;萨姆·巴斯;Sy-David弗里德曼;莫里茨·米勒;尼尔·萨彭 三 2016 安全递归集函数。 Zbl 1357.03075号 阿诺德·贝克曼;Samuel R.巴斯。;Sy-David弗里德曼 5 2015 用单数句分离基础良好结构和双重基础良好结构的中间谓词逻辑。 Zbl 1348.03026号 阿诺德·贝克曼;Preining,诺伯特 4 2015 不断发展的可计算性。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。 Zbl 1314.68011号 2 2015 超自然演绎。 Zbl 1394.03068号 阿诺德·贝克曼;Preining,诺伯特 1 2015 改进了二阶有界算法的见证和局部改进原则。 Zbl 1287.03105号 阿诺德·贝克曼;Samuel R.巴斯。 12 2014 奇偶博弈和命题证明。 Zbl 1291.03111号 阿诺德·贝克曼;帕维尔·普德拉克;尼尔·萨彭 4 2014 修正了自由切淘汰的上限。 Zbl 1267.03053号 阿诺德·贝克曼;Samuel R.巴斯。 5 2011 通过证明符号表征有界算法中可定义的搜索问题。 Zbl 1244.03163号 阿诺德·贝克曼;Samuel R.巴斯。 8 2010 关于裁剪的计算复杂性。 Zbl 1223.03042号 克劳斯·埃利格;阿诺德·贝克曼 2 2010 多项式层次中的多项式局部搜索和有界算法片段中的见证。 Zbl 1204.03056号 阿诺德·贝克曼;Samuel R.巴斯。 12 2009 Peano算法中可定义NP搜索问题的一个特征。 Zbl 1246.68119号 阿诺德·贝克曼 2 2009 连续弗雷塞猜想。 Zbl 1171.03027号 阿诺德·贝克曼;马丁·戈尔斯特恩;Preining,诺伯特 10 2008 算法的逻辑和理论。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。 Zbl 1137.68002号 1 2008 线性克里普克框架和哥德尔逻辑。 Zbl 1118.03016号 阿诺德·贝克曼;普瑞宁,诺伯特 10 2007 计算障碍的逻辑方法。2006年6月30日至7月5日在英国斯旺西举行的第二届欧洲可计算性会议,CiE 2006。诉讼程序。 Zbl 1102.68002号 2 2006 广义动态序数-隐式计算复杂性的通用度量。 Zbl 1105.03060号 阿诺德·贝克曼 1 2006 恒深命题证明大小的分离结果。 Zbl 1089.03048号 阿诺德·贝克曼;Samuel R.巴斯。 7 2005 有界算术中的保留定理和限制一致性语句。 Zbl 1060.03080号 阿诺德·贝克曼 1 2004 动态序数分析。 Zbl 1025.03058号 阿诺德·贝克曼 6 2003 有界算术中的序数符号和有序。 Zbl 1015.03055号 阿诺德·贝克曼;克里斯·波列特;Samuel R.巴斯。 三 2003 在有界算术中证明方程理论的一致性。 Zbl 1011.03043号 阿诺德·贝克曼 2 2002 指数表示法。 Zbl 1061.03062号 阿诺德·贝克曼 1 2002 类型化\(\lambda\)-演算中约简长度的精确界限。 兹比尔1159.03305 阿诺德·贝克曼 17 2001 通过扩展的降头树分析哥德尔的\(T\)。 Zbl 0964.03058号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 4 2000 用哥德尔(T)的一段描述基本递归函数的特征。 Zbl 0965.03070号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 2 2000 无割无穷导数在广义递归理论中的应用。 Zbl 0924.03087号 阿诺德·贝克曼;沃尔夫拉姆·波勒 6 1998 分离有界算术的片段。 Zbl 0858.03053号 阿诺德·贝克曼 7 1996 多时间函数和相关复杂性类的重写表征。 Zbl 0941.03040号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 5 1996 所有引用出版物 前5名被引用出版物 全部的 前5名95位作者引用 17 Samuel R.巴斯。 13 阿诺德·贝克曼 9 马提亚斯·巴兹 6 Kołodziejczyk、Leszek Aleksander 6 尼尔·萨彭 5 沃尔夫拉姆·波勒 5 Preining,诺伯特 4 蝉蜕、阿加塔 4 安德烈亚斯·魏尔曼 三 Arai、Toshiyasu 三 费德里科·阿西埃里 三 保罗·戈德伯格(Paul W.Goldberg)。 三 罗莎莉,伊姆霍夫 三 克里斯托斯·哈里劳斯·帕帕迪米特里奥 三 帕维尔·普德拉克 三 康拉德·兹达诺夫斯基 2 佐菲亚·阿达莫维奇 2 克劳斯·埃利格 2 阿夫沙里语、巴哈雷语 2 川崎朝田 2 泽维尔·凯塞多 2 江口、闹喜 2 吉尔达·费雷拉 2 藤田,健毅 2 直纪小林 2 乌尔里希·威廉·科伦巴赫 2 乔治·梅特卡夫 2 莫里茨·米勒 2 克里斯·波列特 2 罗德里格斯,里卡多·奥斯卡 2 佐藤,肯塔罗 2 龙马Sin'ya 2 卢卡·斯帕达 2 威廉·斯特顿。 2 津田,武士 1 胡安·巴勃罗·阿奎莱拉 1 詹姆斯·艾森伯格 1 Yohji阿卡玛 1 阿米罗申·阿克巴尔·塔巴塔拜 1 马丁·阿文齐尼 1 阿诺·阿夫隆 1 里卡多·比安科尼 1 玛丽亚·路易莎·博内 1 洛伦佐·卡卢奇 1 科恩、利隆 1 阿德里安·克雷西恩 1 丹切夫、斯特凡·斯托亚诺夫 1 奥利弗·法辛 1 Fermüller,克里斯蒂安·G。 1 费尔南多·费雷拉 1 Sy-David弗里德曼 1 马可·加博阿迪 1 尼古拉·加莱西 1 弗朗西斯科·根科。 1 菲利普·格哈迪 1 丹·赫内斯特 1 斯特凡·赫兹尔 1 马丁·霍夫曼 1 加布里埃尔·伊斯特拉特。 1 费利克斯·约阿奇姆斯基 1 詹·约翰森 1 艾伦·S·约翰逊。 1 Joost J.乔斯特恩。 1 马西莫·劳里亚 1 杰雷米·莱登特 1 格雷厄姆·埃米尔·利 1 丹尼尔·莱万特(Daniel M.Leivant)。 1 巴纳比·D·马丁。 1 乔治·莫瑟 1 奥莫多,尤金尼奥·乔瓦尼 1 埃尔文·佩德利 1 Primavesi,A。 1 拉姆亚,拉姆亚 1 Michael Rathjen,迈克尔 1 乔纳斯·罗格 1 卢卡·罗维斯 1 曼弗雷德·施密特·沙乌 1 西尔万·施密茨 1 克劳斯·舒尔茨。 1 彼得·迈克尔·舒斯特 1 哈罗德·西蒙斯 1 斯蒂芬·辛普森。 1 托马斯·斯特拉姆 1 斯泽德,斯特凡 1 柳竹村 1 Trifonov、Trifon A。 1 星期二,奥利姆弗里茨 1 卢卡·韦切利 1 斯坦利·斯科特·韦纳 1 多米尼克·韦尔 1 菲利普·韦尔奇。 1 冈纳·威尔肯 1 理查德·斯坦利·威廉姆斯 1 山形,Yoriyuki 1 理查德·扎克 全部的 前5名26篇连载文章中引用 24 纯逻辑与应用逻辑年鉴 9 数学逻辑档案 8 符号逻辑杂志 7 理论计算机科学 6 信息与计算 4 计算机科学中的逻辑方法 三 符号逻辑公报 三 ACM计算逻辑事务 2 计算机与系统科学杂志 2 MSCS公司。计算机科学中的数学结构 2 数学逻辑季刊(MLQ) 2 软计算 2 数学逻辑杂志 1 数学基础 1 模糊集与系统 1 哲学逻辑杂志 1 Studia Logica公司 1 美国数学学会会刊 1 逻辑科公报 1 拓扑及其应用 1 符号计算杂志 1 葡萄牙数学。Nova Série公司 1 Oberwolfach报告 1 可满足性、布尔建模与计算杂志 1 可计算性 1 ACM计算理论汇刊 全部的 前5名11个领域引用 100 数学逻辑和基础(03-XX) 39 计算机科学(68至XX) 三 组合数学(05-XX) 三 阶、格、有序代数结构(06-XX) 2 总体主题;集合(00-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 一般拓扑结构(54至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文