路易斯·克鲁兹·菲利佩;若昂·西尔瓦侯爵;彼得·施奈德·坎普 形式验证布尔勾股三元组问题的解决方案。 (英语) Zbl 1468.68318号 J.汽车。推理 63,第3期,695-722(2019).MSC公司:68V20型 10年5月 68兰特 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,J.Autom。推理63,No.3,695--722(2019;Zbl 1468.68318) 全文: 内政部
路易斯·克鲁兹·菲利佩;Larsen,Kim S。;彼得·施奈德·坎普 正式证明分拣网络的尺寸优化。 (英语) 兹比尔1425.68372 J.汽车。推理 59,第4期,425-454(2017).MSC公司:68吨15 68甲18 2017年第68季度 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,J.Autom。推理59,No.4,425--454(2017;Zbl 1425.68372) 全文: 内政部
路易斯·克鲁兹·菲利佩;Larsen,Kim S。;彼得·施奈德·坎普 如何从你的神谕中获得更多。 (英语) Zbl 1483.68481号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499164-170(2017年)。MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,Lect。注释计算。科学。10499,164-170(2017;Zbl 1483.68481) 全文: 内政部
托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿舍曼 使用指针算法自动证明程序的终止和内存安全。 (英语) Zbl 1409.68077号 J.汽车。推理 58,第1号,33-65(2017).MSC公司:68号30 2012年第68季度 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Ströder}等人,J.Autom。推理58,No.1,33--65(2017;Zbl 1409.68077) 全文: 内政部 链接
吉尔根·吉斯尔;科尼利厄斯·阿舍曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 使用自动分析程序终止和复杂性AProVE公司. (英语) Zbl 1409.68255号 J.汽车。推理 58,第1期,3-31(2017).MSC公司:68吨15 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人,J.Autom。推理58,No.1,3--31(2017;Zbl 1409.68255) 全文: 内政部
迈克尔·科迪什;吉尔根·吉斯尔;彼得·施奈德·坎普;雷内·蒂曼 具有递归路径顺序和依赖对的终止证明的SAT求解。 (英语) 兹比尔1276.68140 J.汽车。推理 49,第1期,53-93(2012).MSC公司:68T20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,J.Autom。推理49,No.1,53--93(2012;Zbl 1276.68140) 全文: 内政部
卡斯滕·福斯;吉尔根·吉斯尔;分手,迈克尔;彼得·施奈德·坎普;Stephan斯维德斯基 通过依赖对和归纳定理证明终止。 (英语) Zbl 1243.68267号 J.汽车。推理 47,第2期,133-160(2011).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人,J.Autom。推理47,No.2,133--160(2011;Zbl 1243.68267) 全文: 内政部
托马斯·斯特罗德;彼得·施奈德·坎普;吉尔根·吉斯尔 依赖三元组用于改进带cut的逻辑程序的终止分析。 (英语) Zbl 1326.68063号 Alpunte,María(编辑),基于逻辑的程序合成和转换。2010年7月23日至25日在奥地利哈根堡举行的2010年LOPSTR第20届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-20550-7/pbk)。计算机科学课堂讲稿6564184-199(2011)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ströder}等人,Lect。注释计算。科学。6564,184--199(2011;Zbl 1326.68063) 全文: 内政部
Stephan斯维德斯基;分手,迈克尔;吉尔根·吉斯尔;卡斯滕·福斯;彼得·施奈德·坎普 依赖对的终止分析和归纳定理证明。 (英语) Zbl 1237.68181号 Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣减国际会议,加拿大蒙特利尔,2009年8月2-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,322-338(2009)。MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Swiderski}等人,Lect。注释计算。科学。5663、322--338(2009年;Zbl 1237.68181) 全文: 内政部
卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;彼得·施奈德·坎普;斯蒂芬·福克 证明整数项重写的终止。 (英语) Zbl 1242.68131号 Treinen,Ralf(编辑),重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02347-7/pbk)。计算机科学课堂讲稿5595,32-47(2009)。MSC公司:2012年第68季度 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人,Lect。注释计算。科学。5595,32-47(2009;Zbl 1242.68131) 全文: 内政部
卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;彼得·施奈德·坎普 有理多项式阶的搜索技术。 (英语) Zbl 1166.68354号 Autexier,Serge(编辑)等人,《智能计算机数学》。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85109-7/pbk)。计算机科学课堂讲稿5144。人工智能课堂讲稿,109-124(2008)。MSC公司:68T20型 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人,Lect。注释计算。科学。5144、109--124(2008年;Zbl 1166.68354) 全文: 内政部
阮曼丹;吉尔根·吉斯尔;彼得·施奈德·坎普;丹尼·德·施雷耶 基于依赖图的逻辑程序终止分析。 (英语) 兹比尔1179.68040 安迪·金(编辑),基于逻辑的程序合成和转换。2007年8月23日至24日,第17届国际研讨会,LOPSTR,丹麦康根斯·林比。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-78768-6/pbk)。计算机科学课堂讲稿4915,8-22(2008)。MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Nguyen}等人,Lect。注释计算。科学。4915,8-22(2008年;Zbl 1179.68040) 全文: 内政部 链接
雷内·蒂曼;汉斯·赞特马;吉尔根·吉斯尔;彼得·施奈德·坎普 将常量添加到字符串重写中。 (英语) Zbl 1154.68062号 申请。代数工程通讯。计算。 19,第1号,27-38(2008).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}等人,应用。代数工程通讯。计算。19、第1号、第27--38号(2008;Zbl 1154.68062) 全文: 内政部
雷内·蒂曼;吉尔根·吉斯尔;彼得·施奈德·坎普 决定最里面的循环。 (英语) 兹比尔1145.68457 安德烈·沃伦科夫(编辑),《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70588-8/pbk)。计算机科学课堂讲稿5117,366-380(2008)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}等人,Lect。注释计算。科学。5117、366--380(2008年;Zbl 1145.68457) 全文: 内政部
卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克 最大终止。 (英语) Zbl 1145.68446号 安德烈·沃伦科夫(编辑),《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70588-8/pbk)。计算机科学课堂讲稿5117,110-125(2008)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人,Lect。注释计算。科学。5117、110-125(2008年;Zbl 1145.68446) 全文: 内政部
吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 机械化和改进依赖项对。 (英语) Zbl 1113.68088号 J.汽车。推理 37,第3期,155-203(2006).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人,J.Autom。推理37,No.3,155--203(2006;Zbl 1113.68088) 全文: 内政部