赫尔穆特·施维赫滕贝格
人员信息
附属: 德国慕尼黑路德维希·马克西米利安大学
优化列表
2020年–今天
2023 [公元24年] 尼尔斯·科普 , 赫尔穆特·施维赫滕贝格 :
用逻辑方法进行精确实数运算的前瞻分析。 西奥。 计算。 科学。 943 : 171-186 ( 2023 ) 2021 [公元23年] 赫尔穆特·施维赫滕贝格 , Franziskus Wiesnet公司 :
精确实数运算的逻辑。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 )
2010 – 2019
2017 [公元22年] 约瑟夫·伯杰 , 赫尔穆特·施维赫滕贝格 :
Dickson引理的界。 日志。 方法计算。 科学。 13 ( 三 ) ( 2017 ) 2016 [公元21年] Hannes Leitgeb公司 , Iosif Petrakis公司 , 彼特·舒斯特 , 赫尔穆特·施维赫滕贝格 :
编辑。 拍打 三 ( 4 ) : 513-516 ( 2016 ) [公元20年] 石原哈吉 , 赫尔穆特·施维赫滕贝格 :
在最小蕴涵逻辑中嵌入经典。 数学。 日志。 问:。 62 ( 1-2 ) : 94-101 ( 2016 ) 2015 [公元19年] 宫本健二 , 赫尔穆特·施维赫滕贝格 :
精确实数运算中的程序提取。 数学。 结构。 计算。 科学。 25 ( 8 ) : 1692-1704 ( 2015 ) 2013 [公元18年] 赫尔穆特·施维赫滕贝格 , 克里斯托夫·森贾克 :
从经典证明来看是极小的。 Ann.纯应用。 日志。 164 ( 6 ) : 740-748 ( 2013 ) [第13条] 宫本健二 , 弗雷德里克·诺德瓦尔·福斯伯格 , 赫尔穆特·施维赫滕贝格 :
从嵌套定义中提取程序。 ITP公司 2013 : 370-385 2012 【b3】 赫尔穆特·施维赫滕贝格 , 斯坦利·韦纳 :
证明和计算。 逻辑视角 , 符号逻辑协会 2012 ,国际标准图书编号 978-0-521-51769-0 第I-XIII页,1-465页 2011 [c12] 乌尔里希·伯杰 , 宫本健二 , 赫尔穆特·施维赫滕贝格 , 莫妮卡·塞森伯格 :
Minlog-支持代数和余代数的程序提取工具。 CALCO公司 2011 : 393-399
2000 – 2009
2008 [j17] 赫尔穆特·施维赫滕贝格 :
有根据的归纳法的辩证法解释。 数学。 日志。 问:。 54 ( 三 ) : 229-239 ( 2008 ) [公元16年] 赫尔穆特·施维赫滕贝格 :
构造性分析中证明的可实现性解释。 理论计算。 系统。 43 ( 3-4 ) : 583-602 ( 2008 ) 2006 [公元15年] 乌尔里希·伯杰 , 斯特凡·贝尔霍弗 , 皮埃尔·勒图泽 , 赫尔穆特·施维赫滕贝格 :
从规范化证明中提取程序。 Stud Logica公司 82 ( 1 ) : 25-49 ( 2006 ) [公元14年] 赫尔穆特·施维赫滕贝格 :
多项式时间计算的算法。 西奥。 计算。 科学。 357 ( 1-3 ) : 202-214 ( 2006 ) [第11条] 赫尔穆特·施维赫滕贝格 :
构造分析中的反单调连续函数。 CiE公司 2006 : 490-504 [第2页] 赫尔穆特·施维赫滕贝格 :
米洛格。 世界十七个证明人 2006 : 151-157 2005 [j13] 赫尔穆特·施维赫滕贝格 :
唯一性假设下Brouwer Fan定理和König引理等价性的直接证明。 J.大学。 计算。 科学。 11 ( 12 ) : 2086-2095 ( 2005 ) 2004 [公元12年] 克劳斯·埃利格 , 乌尔里希·伯杰 , 马丁·霍夫曼 , 赫尔穆特·施维赫滕贝格 :
一种用于非增倍多项式时间计算的算法。 西奥。 计算。 科学。 318 ( 1-2 ) : 3-27 ( 2004 ) [第10条] 赫尔穆特·施维赫滕贝格 :
极小逻辑中的证明搜索。 AISC公司 2004 : 15-25 2003 [公元11年] 乌尔里希·伯杰 , 马蒂亚斯·埃贝尔 , 赫尔穆特·施维赫滕贝格 :
通过求值进行规范化的术语重写。 Inf.计算。 183 ( 1 ) : 19-42 ( 2003 ) 2002 [公元10年] 乌尔里希·伯杰 , 威尔弗里德·巴赫霍尔茨 , 赫尔穆特·施维赫滕贝格 :
从经典证明中提炼程序。 Ann.纯应用。 日志。 114 ( 1-3 ) : 3-25 ( 2002 ) [公元9年] 克劳斯·埃利格 , 赫尔穆特·施维赫滕贝格 :
非增倍多项式时间计算的语法分析。 ACM事务处理。 计算。 日志。 三 ( 三 ) : 383-401 ( 2002 ) 2001 [j8] 乌尔里希·伯杰 , 赫尔穆特·施维赫滕贝格 , 莫妮卡·塞森伯格 :
Warshall算法和Dickson引理:真实程序提取的两个示例。 J.汽车。 原因。 26 ( 2 ) : 205-221 ( 2001 ) 【c9】 克劳斯·埃利格 , 简·约翰森 , 赫尔穆特·施维赫滕贝格 , 塞巴斯蒂安·特维恩 :
线性分枝高类型递归和并行复杂性。 计算机科学中的证明理论 2001 : 1-21 2000 【b2】 安妮·斯杰普·特罗尔斯特拉 , 赫尔穆特·施维赫滕贝格 :
基本证明理论,第二版。 剑桥理论计算机科学丛书 43, 剑桥大学出版社 2000 ,国际标准图书编号 978-0-521-77911-1 ,第I-XII页,第1-417页 [j7] 斯蒂芬·贝兰托尼 , 卡尔·海因兹·尼格尔 , 赫尔穆特·施维赫滕贝格 :
高级类型递归、分支和多项式时间。 Ann.纯应用。 日志。 104 ( 1-3 ) : 17-30 ( 2000 ) 【c8】 克劳斯·艾利格 , 赫尔穆特·施维赫滕贝格 :
非增倍多项式时间计算的句法分析。 低收入国家 2000 : 84-91 [电子1] 彼得·克洛特 , 赫尔穆特·施维赫滕贝格 :
《计算机科学逻辑》,第14届EACSL年会,德国菲施巴乔,2000年8月21日至26日,会议记录。 计算机科学课堂讲稿 1862, 施普林格 2000 ,国际标准图书编号 3-540-67895-6 [目录] [i1] 克劳斯·埃利格 , 赫尔穆特·施维赫滕贝格 :
非增倍多项式时间计算的语法分析。 CoRR公司 反恐精英。 LO/001037号 ( 2000 )
1990 – 1999
1999 [j6] 赫尔穆特·施维赫滕贝格 :
单音优化功能。 Stud Logica公司 62 ( 2 ) : 283-289 ( 1999 ) [j5] 赫尔穆特·施维赫滕贝格 :
直觉主义Gentzen演算中置换转换的终止。 西奥。 计算。 科学。 212 ( 1-2 ) : 247-260 ( 1999 ) 【p1】 赫尔穆特·施维赫滕贝格 :
对递归函数进行分类。 可计算性理论手册 1999 : 533-586 1998 【j4】 赫尔穆特·施维赫滕贝格 :
无限项的有限符号。 Ann.纯应用。 日志。 94 ( 1-3 ) : 201-222 ( 1998 ) 【c7】 乌尔里希·伯杰 , 马蒂亚斯·埃贝尔 , 赫尔穆特·施维赫滕贝格 :
通过评估实现标准化。 硬件基础展望 1998 : 117-137 1996 【b1】 安妮·斯杰普·特罗尔斯特拉 , 赫尔穆特·施维赫滕贝格 :
基本证明理论。 剑桥理论计算机科学丛书 43, 剑桥大学出版社 1996 ,国际标准图书编号 978-0-521-57223-1 第I-XI页,1-343页 1995 【c6】 雅各·范德波尔 , 赫尔穆特·施维赫滕贝格 :
终止证明的严格功能。 薄层色谱分析 1995 : 350-364 【c5】 乌尔里希·伯杰 , 赫尔穆特·施维赫滕贝格 :
最大公因子:从经典证据中提取程序的案例研究。 类型 1995 : 36-46 1994 【c4】 乌尔里希·伯杰 , 赫尔穆特·施维赫滕贝格 :
从经典证明中提取程序。 低成本航空公司 1994 : 77-97 1991 [j3] 赫尔穆特·施维赫滕贝格 :
型λ-演算中约化序列的一个上界。 架构(architecture)。 数学。 日志。 30 ( 5-6 ) : 405-408 ( 1991 ) 【c3】 赫尔穆特·施维赫滕贝格 :
经典证明中的最小值。 CSL公司 1991 : 326-328 【c2】 乌尔里希·伯杰 , 赫尔穆特·施维赫滕贝格 :
类型lambda-calculus的求值函数的逆。 低收入国家 1991 : 203-211
1980 – 1989
1987 【c1】 赫尔穆特·施维赫滕贝格 :
这是一个标准化的过程。 计算理论与逻辑 1987 : 334-348
1970 – 1979
1979 [注2] 赫尔穆特·施维赫滕贝格 :
类型0和1的On-Bar递归。 J.塞姆。 日志。 44 ( 三 ) : 325-329 ( 1979 ) 1975 [j1] 赫尔穆特·施维赫滕贝格 :
Definierbare Funktitionen输入 λ -Kalkül mit类型。 架构(architecture)。 数学。 日志。 17 ( 3-4 ) : 113-114 ( 1975 )