×

找到22份文件（结果1-22）

最新的 引文 关联
G.W.汉密尔顿。

提取程序以证明终止。 （英语） Zbl 07453196号

Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320、140-154（2020）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.W.Hamilton}，电子。程序。西奥。计算。科学。（EPTCS）320、140--154（2020；Zbl 07453196）
全文： arXiv公司 链接
克里斯蒂安·斯特纳格尔;托马斯·斯特纳格尔

证明拟递减强确定性条件项重写系统的合流性。 （英语） Zbl 1494.68306号

de Moura，Leonardo（编辑），《自动扣除——CADE 26》。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10395, 413-431 (2017).
MSC公司：68版本20 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{T.Sternagel}，Lect。注释计算。科学。10395、413--431（2017年；Zbl 1494.68306）
全文： 内政部
吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼

使用自动分析程序终止和复杂性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）
全文： 内政部
吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼

用AProVE自动证明程序终止。 （英语） Zbl 1409.68256号

Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，第七届国际联合会议（IJCAR 2014）在奥地利维也纳举行，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8562, 184-191 (2014).
MSC公司：68吨15 68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Giesl}等人，Lect。注释计算。科学。8562、184--191（2014；Zbl 1409.68256）
全文： 内政部
卡斯滕·福斯;辛西娅·科普

使用高阶依赖对利用一阶终止校验器。 （英语） 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。注释计算。科学。69891147-162（2011年；兹比尔1348.68219）
全文： 内政部
弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔

通过转换证明基于重写的编程语言终止的方法。 （英语） Zbl 1337.68067号

Almendros-Jiménez，Jesús M（编辑），《第八届西班牙编程与计算机语言会议记录》（PROLE 2008），2008年10月8日至10日，西班牙吉昂。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记24893-113（2009）。
MSC公司：68号30 03B70号 68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛F.Durán｝等人，电子。注释Theor。计算。科学。24893--113（2009年；Zbl 1337.68067）
全文： 内政部
拉菲尔西珀，马蒂亚斯;汉斯·赞特马

自动证明最外层终止的转换方法。 （英语） 兹比尔1294.68099

Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237，3-21（2009）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Raffelsieper}和\textit{H.Zantema}，电子。注释Theor。计算。科学。237、3--21（2009年；Zbl 1294.68099）
全文： 内政部
雷内·蒂曼;克里斯蒂安·斯特纳格尔

使用CeTA认证终止证明。 （英语） Zbl 1252.68265号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674，452-468（2009）。
MSC公司：68吨15 68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Thiemann}和\textit{C.Sternagel}，莱克特。注释计算。科学。5674、452--468（2009年；Zbl 1252.68265）
全文： 内政部
斯威德斯基，斯蒂芬;分手，迈克尔;吉尔根·吉斯尔;卡斯滕·福斯;彼得·施奈德·坎普

依赖对的终止分析和归纳定理证明。 （英语） 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）
全文： 内政部
卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;彼得·施奈德·坎普;斯蒂芬·福克

证明整数项重写的终止。 （英语） 兹比尔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季度 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Fuhs}等人，Lect。注释计算。科学。5595，32-47（2009；Zbl 1242.68131）
全文： 内政部
雷内·蒂曼

从最外面的终端到最里面的终端。 （英语） Zbl 1206.68094号

尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404533-545（2009）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Thiemann}，莱克特。注释计算。科学。5404533-545（2009年；Zbl 1206.68094）
全文： 内政部
费利克斯·舍恩哈默;伯恩哈德·格拉姆利希

再次讨论了延迟重写的终止。 （英语） Zbl 1279.68120号

Giesl，J.（编辑），第七届改写和编程中的简化策略国际研讨会论文集（WRS 2007），法国巴黎，2007年6月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记204，35-51（2008）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Schernhammer}和\textit{B.Gramlich}，电子。注释Theor。计算。科学。204、35-51（2008年；Zbl 1279.68120）
全文： 内政部
吉尔根·吉斯尔;斯威德斯基，斯蒂芬;彼得·施奈德·坎普;雷内·蒂曼

Haskell的自动终止分析：从术语重写到编程语言。 （英语） 兹比尔1151.68444

Pfenning，Frank（编辑），术语重写和应用。第17届国际会议，RTA 2006，西雅图，华盛顿州，美国，2006年8月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-36834-2/pbk）。计算机科学课堂讲稿4098297-312（2006）。
MSC公司：2012年第68季度 68甲15 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Giesl}等人，Lect。注释计算。科学。4098297--312（2006年；Zbl 1151.68444）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件