泰斯·波顿;卡斯滕·福斯;劳雷·贡诺德 分析术语重写的并行复杂性。 （英语） Zbl 1522.68253号 Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13474, 3-23 (2022).MSC公司：2012年第68季度 68号30 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Baudon}等人，Lect。注释计算。科学。13474，3-23（2022年；兹比尔1522.68253） 全文： 内政部 arXiv公司 哈尔
卡斯滕·福斯;辛西娅·科普;直纪西田 通过约束重写归纳法验证过程程序。 （英语） Zbl 1367.68248号 ACM事务处理。计算。日志。 18，第2号，第14条，50页（2017年）.MSC公司：68吨15 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人，ACM Trans。计算。日志。18，第2号，第14条，50页（2017年；Zbl 1367.68248） 全文： 内政部 arXiv公司 链接
托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿舍曼 使用指针算法自动证明程序的终止和内存安全。 （英语） 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） 全文： 内政部
卡斯滕·福斯;吉尔根·吉斯尔;分手，迈克尔;彼得·施奈德·坎普;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） 全文： 内政部
卡斯滕·福斯;辛西娅·科普 使用高阶依赖对利用一阶终止校验器。 （英语） Zbl 1348.68219号 Tinelli，Cesare（编辑）等人，《联合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，147-162（2011）。MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}和\textit{C.Kop}，Lect。注释计算。科学。6989、147--162（2011年；Zbl 1348.68219） 全文： 内政部
亚历山大·克劳斯;克里斯蒂安·斯特纳格尔;雷内·蒂曼;卡斯滕·福斯;吉尔根·吉斯尔 通过终止重写来终止Isabelle函数。 （英语） Zbl 1342.68289号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，152-167（2011）。MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Krauss}等人，Lect。注释计算。科学。6898，152--167（2011；Zbl 1342.68289） 全文： 内政部
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） 全文： 内政部
卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克 最大终止。 （英语） 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） 全文： 内政部