×

找到62个文档（结果1-62）

最新的 引文 关联
秋久山田

条件重写的不可达性的术语排序。 （英语） Zbl 07628191号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 248-267 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Yamada}，莱克特。注释计算。科学。13385，248--267（2022；Zbl 07628191）
全文： 内政部
Horatiu西斯塔;皮埃尔·勒穆索;皮埃尔·埃蒂安·莫罗

模式消除转换。 （英语） Zbl 07496642号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 74-92 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Cirstea}等人，Lect。注释计算。科学。12561，74-92（2021；Zbl 07496642）
全文： 内政部 哈尔
埃姆雷·约尔库;斯科特·亚伦森;Heule，Marijn J.H。

科拉茨猜想的自动化方法。 （英语） 兹比尔07437095

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 468-484 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{E.Yolcu}等人，Lect。注释计算。科学。12699，468--484（2021；Zbl 07437095）
全文： 内政部 arXiv公司
劳尔·古铁雷斯;萨尔瓦多卢卡斯

多项：自动验证终止属性（系统描述）。 （英语） Zbl 07614689号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 436-447 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。12167436--447（2020；Zbl 07614689）
全文： 内政部
劳尔·古铁雷斯;萨尔瓦多卢卡斯

自动证明和反驳可行性条件。 （英语） Zbl 07614688号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 416-435 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。12167416--435（2020；Zbl 07614688）
全文： 内政部
弗雷德里克·布兰基;纪尧姆·杰内斯蒂尔;奥利维尔·赫曼特

依赖型理论模重写中的依赖对终止。 （英语） Zbl 1528.68155号

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第9条，第21页（2019年）。
MSC公司：2012年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Blanqui}等人，LIPIcs——莱布尼茨国际程序。通知。131，第9条，第21页（2019年；Zbl 1528.68155）
全文： 内政部 arXiv公司
劳尔·古铁雷斯;萨尔瓦多卢卡斯

使用AGES自动生成逻辑模型。 （英语） Zbl 07178982号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 287-299 (2019).
MSC公司：68伏15 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。11716、287--299（2019；Zbl 07178982）
全文： 内政部
吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔，杰拉;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼

使用自动分析程序终止和复杂性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）
全文： 内政部
何塞·伊波拉;直纪西田;德国维达尔;秋久山田

减少依赖对问题的相对终止。 （英语） Zbl 1465.68120号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 163-178 (2015).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Iborra}等人，Lect。注释计算。科学。9195163--178（2015年；Zbl 1465.68120）
全文： 内政部 链接
劳尔·古铁雷斯;萨尔瓦多卢卡斯

函数在上下文相关重写终止时在冻结位置调用。 （英语） Zbl 1321.68330号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，311-330（2015）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。9200、311--330（2015年；Zbl 1321.68330）
全文： 内政部 链接
萨尔瓦多卢卡斯;何塞·梅塞盖尔

通用逻辑中的本地化操作终端。 （英语） Zbl 1453.68053号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 91-114 (2015).
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}和\textit{J.Meseguer}，莱克特。注释计算。科学。8950，91-114（2015；Zbl 1453.68053）
全文： 内政部
弗雷德里克·布兰基;亚当·科普洛夫斯基

CoLoR：一个关于基础良好的重写关系的Coq库及其在自动验证终止证书中的应用。 （英语） Zbl 1223.68101号

数学。结构。计算。科学。 21，第4期，827-859（2011）.
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Blanqui}和\textit{A.Koprowski}，数学。结构。计算。科学。21，第4号，827--859（2011；Zbl 1223.68101）
全文： 内政部 arXiv公司
克里斯蒂安·斯特纳格尔;雷内·蒂曼

广义的和形式化的去毛刺。 （英语） Zbl 1348.68086号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。《人工智能讲义》，243-258（2011）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{R.Thiemann}，莱克特。注释计算。科学。6989243-258（2011；Zbl 1348.68086）
全文： 内政部
卡斯滕·福斯;辛西娅·科普

使用高阶依赖对利用一阶终止校验器。 （英语） 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 1314.68173号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。《人工智能讲义》，422-438（2011）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Noschinski}等人，Lect。注释计算。科学。6803422--438（2011年；Zbl 1314.68173）
全文： 内政部
托马斯·斯特罗德;彼得·施奈德·坎普;吉尔根·吉斯尔

依赖三元组用于改进带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）
全文： 内政部
阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特

用证明终止属性多项. （英语） Zbl 1308.68068号

Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。计算机科学课堂讲稿6486201-208（2011）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Alarcón}等人，Lect。注释计算。科学。6486、201--208（2011；Zbl 1308.68068）
全文： 内政部
阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯

使用上下文敏感的重写来证明重写的最内层终止。 （英语） Zbl 1337.68147号

Almendros-Jiménez，Jesús M（编辑），《第八届西班牙编程与计算机语言会议记录》（PROLE 2008），2008年10月8日至10日，西班牙吉昂。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记248，3-17（2009）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Alarcón}和\textit{S.Lucas}，电子。理论注释。计算。科学。248、3-17（2009年；Zbl 1337.68147）
全文： 内政部
高仁青藤;山田，Toshiyuki

简单类型依赖项对的参数筛选和可用规则。 （英语） Zbl 1193.68142号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，117-132（2009）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Aoto}和\textit{T.Yamada}，莱克托。注释计算。科学。5749117--132（2009年；Zbl 1193.68142）
全文： 内政部
马丁·科尔普;阿尔特·米德尔多普

超越依赖关系图。 （英语） Zbl 1250.68143号

Schmidt，Renate A.（编辑），《自动扣除——CADE-22》。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，339-354（2009）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Korp}和\textit{A.Middeldorp}，莱克特。注释计算。科学。5663、339--354（2009年；Zbl 1250.68143）
全文： 内政部
斯威德斯基，斯蒂芬;分手，迈克尔;吉尔根·吉斯尔;卡斯滕·福斯;彼得·施奈德·坎普

依赖对的终止分析和归纳定理证明。 （英语） 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.68125号

Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595，93-102（2009）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Aoto}等人，Lect。注释计算。科学。5595，93-102（2009；Zbl 1242.68125）
全文： 内政部
卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;彼得·施奈德·坎普;斯蒂芬·福克

证明整数项重写的终止。 （英语） 兹比尔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.68121号

Giesl，J.（编辑），第七届改写和编程中的简化策略国际研讨会论文集（WRS 2007），法国巴黎，2007年6月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记204，3-19（2008）。
MSC公司：2012年第68季度 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Thiemann}和\textit{A.Middeldorp}，电子。理论注释。计算。科学。204、3-19（2008年；Zbl 1279.68121）
全文： 内政部
哈拉尔德·赞克;阿尔特·米德尔多普

增加解释。 （英语） 兹比尔1166.68381

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。《人工智能课堂讲稿》，191-205（2008）。
MSC公司：68瓦30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zankl}和\textit{A.Middeldorp}，莱克特。注释计算。科学。5144191-205（2008年；Zbl 1166.68381）
全文： 内政部
卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;彼得·施奈德·坎普

有理多项式阶的搜索技术。 （英语） 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 1185.68218号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，317-331（2008）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，Lect。注释计算。科学。5366、317--331（2008年；Zbl 1185.68218）
全文： 内政部
阮曼丹;吉尔根·吉斯尔;彼得·施奈德·坎普;De Schreye，丹尼

基于依赖图的逻辑程序终止分析。 （英语） Zbl 1179.68040号

King，Andy（编辑），《基于逻辑的程序综合与转换》。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）
全文： 内政部 链接
Courtieu，Pierre皮埃尔;朱利安·福雷斯特;泽维尔·乌尔班

基于图而非图来证明终止标准。 （英语） Zbl 1165.68455号

Mohamed，Otmane-Ait（编辑）等人，高阶逻辑中的定理证明。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170183-198（2008）。
MSC公司：68吨15 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.Courtieu}等人，Lect。注释计算。科学。5170183--198（2008年；Zbl 1165.68455）
全文： 内政部
Nao Hirokawa;乔治·莫瑟

基于依赖对方法的自动化复杂性分析。 （英语） Zbl 1165.68390号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，364-379（2008）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Hirokawa}和\textit{G.Moser}，莱克特。注释计算。科学。5195、364--379（2008年；Zbl 1165.68390）
全文： 内政部 arXiv公司
马丁·科尔普;阿尔特·米德尔多普

用依赖对匹配边界来证明重写系统的终止。 （英语） Zbl 1156.68430号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2008年3月13日至19日，第二届国际会议，拉丁美洲和加勒比地区2008年，西班牙塔拉戈纳。修订论文。柏林：施普林格出版社（ISBN 978-3-540-88281-7/pbk）。计算机科学课堂讲稿5196，321-332（2008）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Korp}和\textit{A.Middeldorp}，莱克特。注释计算。科学。5196、321--332（2008年；Zbl 1156.68430）
全文： 内政部
雷内·蒂曼;吉尔根·吉斯尔;彼得·施奈德·坎普

决定最里面的循环。 （英语） 兹比尔1145.68457

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学讲义5117366-380（2008）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Thiemann}等人，Lect。注释计算。科学。5117、366--380（2008年；Zbl 1145.68457）
全文： 内政部
克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普

根标记。 （英语） Zbl 1145.68453号

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，336-350（2008）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{A.Middeldorp}，莱克特。注释计算。科学。5117336-350（2008年；Zbl 1145.68453）
全文： 内政部
劳尔·古铁雷斯;萨尔瓦多卢卡斯;泽维尔·乌尔班

上下文敏感重写系统的可用规则。 （英语） Zbl 1145.68447号

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，126-141（2008）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Gutiérrez}等人，Lect。注释计算。科学。5117、126--141（2008年；Zbl 1145.68447）
全文： 内政部
卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克

最大终止。 （英语） 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）
全文： 内政部
斯蒂芬·福克;迪帕克·卡普尔

使用内置数字和语义数据结构进行重写的依赖项对。 （英语） 兹比尔1145.68445

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿511794-109（2008）。
MSC公司：2012年第68季度 第68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{S.Falke}和\textit{D.Kapur}，莱克特。注释计算。科学。5117、94-109（2008年；Zbl 1145.68445）
全文： 内政部
德国维达尔

终止左线构造器系统中的窄化。 （英语） Zbl 1137.68420号

Garrigue，Jacques（编辑）等人，《函数和逻辑编程》。2008年4月14日至16日，第九届国际研讨会，FLOPS 2008，日本伊势。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78968-0/pbk）。计算机科学课堂讲稿4989113-129（2008）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.维达尔}，莱克特。注释计算。科学。4989、113--129（2008年；Zbl 1137.68420）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件