×

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

最新的 引文 关联
劳尔·古铁雷斯；萨尔瓦多卢卡斯

多项：自动验证终止属性（系统描述）。 （英语） 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）
全文： 内政部
劳尔·古铁雷斯；萨尔瓦多卢卡斯

使用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）
全文： 内政部
萨尔瓦多卢卡斯

使用逻辑模型证明通用逻辑中的操作终止。 （英语） Zbl 1367.68068号

Lucanu，Dorel（编辑），重写逻辑及其应用。第11届国际研讨会，WRLA 2016，作为ETAPS的卫星活动，于2016年4月2日至3日在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，26-46（2016）。
MSC公司：68号30 03B70型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}，莱克特。注释计算。科学。9942，26-46（2016年；兹bl 1367.68068）
全文： 内政部 链接
劳尔·古铁雷斯；萨尔瓦多卢卡斯

函数在上下文相关重写终止时在冻结位置调用。 （英语） 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 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.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}等人，《电子》。理论注释。计算。科学。24893--113（2009年；Zbl 1337.68067）
全文： 内政部
阿勒科恩，比阿特丽兹；萨尔瓦多卢卡斯

使用上下文敏感重写来证明重写的最内层终止。 （英语） 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}，电子。注释Theor。计算。科学。248、3-17（2009年；Zbl 1337.68147）
全文： 内政部
萨尔瓦多卢卡斯；何塞·梅塞格尔

会员资格均衡程序的操作终止：顺序排序方式。 （英语） Zbl 1347.68198号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，207-225（2009）。
MSC公司：第68季度第42季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}和\textit{J.Meseguer}，电子。理论注释。计算。科学。238，第3号，207--225（2009；Zbl 1347.68198）
全文： 内政部
萨尔瓦多卢卡斯

使用基本解释自动证明终止。 （英语） Zbl 1294.68058号

Lucio，Paqui（编辑）等人，第九届西班牙编程与计算机语言会议记录（PROLE 2009），西班牙圣塞巴斯蒂安，2009年9月9日至11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》258，第1期，41-61（2009）。
MSC公司：68号30 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Lucas}，电子。注释Theor。计算。科学。258，编号1，41--61（2009；Zbl 1294.68058）
全文： 内政部
旧金山杜兰；萨尔瓦多卢卡斯；何塞·梅塞盖尔

方程理论的终止模组合。 （英语） Zbl 1193.68145号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，246-262（2009）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，Lect。注释计算。科学。5749，246--262（2009；Zbl 1193.68145）
全文： 内政部 链接
弗朗西斯科·杜兰；萨尔瓦多卢卡斯；何塞·梅塞盖尔

MTT：Maude终端工具。（系统描述）。 （英语） Zbl 1165.68360号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，313-319（2008）。
MSC公司：68N99型 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Durán}等人，Lect。注释计算。科学。5195、313--319（2008年；Zbl 1165.68360）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件