萨尔瓦多卢卡斯 条件重写系统和广义项重写系统的局部汇合。 （英语） Zbl 07803178号 J.日志。阿尔盖布。方法计划。 136，文章ID 100926，23 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，J.Log。阿尔盖布。方法计划。136，文章ID 100926，23 p.（2024；Zbl 07803178） 全文： 内政部 OA许可证
萨尔瓦多卢卡斯 上下文敏感重写的应用和扩展。 （英语） Zbl 1518.68157号 J.日志。阿尔盖布。方法计划。 121，文章ID 100680，第33页（2021）.MSC公司：第68季度第42季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，J.Log。阿尔盖布。方法计划。121，文章ID 100680，33 p.（2021；Zbl 1518.68157） 全文： 内政部 链接
劳尔·古铁雷斯;萨尔瓦多卢卡斯 多项：自动验证终止属性（系统描述）。 （英语） 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 1468.03034号 J.汽车。推理 64，第2期，167-195（2020）.MSC公司：03B70号 07年3月 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理64，No.2，167--195（2020；Zbl 1468.03034） 全文： 内政部 链接
萨尔瓦多卢卡斯;劳尔·古铁雷斯 有序一阶理论逻辑模型的自动综合。 （英语） Zbl 1398.68095号 J.汽车。推理 60，第4期，465-501（2018）.MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{R.Gutiérrez}，J.Autom。推理60，No.4，465--501（2018；Zbl 1398.68095） 全文： 内政部 链接
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的2D依赖项对框架。一： 定义和基本处理器。 （英语） Zbl 1393.68088号 J.计算。系统。科学。 96, 74-106 (2018).MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人，J.Compute。系统。科学。96、74——106（2018；Zbl 1393.68088） 全文： 内政部
劳尔·古铁雷斯;萨尔瓦多卢卡斯 函数在上下文相关重写终止时在冻结位置调用。 （英语） Zbl 1321.68330号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，311-330（2015）。MSC公司：第68季度第42季度 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） 全文： 内政部
弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔;泽维尔·乌尔班 证明会员资格均衡程序的操作终止。 （英语） 兹比尔1192.68154 高-订购符号。计算。 21，编号1-2，59-88（2008）.MSC公司：68N99型 03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，高-订购符号。计算。21，编号1--2，59-88（2008；Zbl 1192.68154） 全文： 内政部 链接
卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;彼得·施奈德·坎普 有理多项式阶的搜索技术。 （英语） 兹比尔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型 第68季度第42季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Fuhs}等人，Lect。注释计算。科学。5144、109--124（2008年；Zbl 1166.68354） 全文： 内政部
劳尔·古铁雷斯;萨尔瓦多卢卡斯;泽维尔·乌尔班 上下文敏感重写系统的可用规则。 （英语） Zbl 1145.68447号 安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，126-141（2008）。MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}等人，Lect。注释计算。科学。5117、126--141（2008年；Zbl 1145.68447） 全文： 内政部
阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯 用MU-TERM证明上下文相关重写的终止。 （英语） Zbl 1278.68113号 Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，105-115（2007）。MSC公司：第68季度第42季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Alarcón}等人，《电子》。注释Theor。计算。科学。188、105-115（2007年；Zbl 1278.68113） 全文： 内政部
萨尔瓦多卢卡斯 通过转换证明上下文敏感重写的终止。 （英语） Zbl 1171.68514号 Inf.计算。 204，第12期，1782-1846（2006）.MSC公司：第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，Inf.计算。204，第12号，1782-1846（2006；Zbl 1171.68514） 全文： 内政部
萨尔瓦多卢卡斯 关于重写终止证明中具有实系数、有理系数和整数系数的多项式的相对幂。 （英语） Zbl 1103.68061号 申请。代数工程通讯。计算。 17，第1期，49-73（2006）.MSC公司：第68季度第42季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，应用程序。代数工程通讯。计算。17、第1号、第49--73号（2006；Zbl 1103.68061） 全文： 内政部