萨尔瓦多卢卡斯 条件重写系统和广义项重写系统的局部汇合。 (英语) Zbl 07803178号 J.日志。代数。方法计划。 136,文章ID 100926,23 p.(2024).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},J.Log。代数。方法计划。136,文章ID 100926,23 p.(2024;Zbl 07803178) 全文: 内政部
萨尔瓦多卢卡斯 派生复杂性和上下文敏感重写。 (英语) Zbl 07461269号 J.汽车。推理 65,第8期,1191-1229(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理65,No.8,1191--1229(2021;Zbl 07461269) 全文: 内政部
萨尔瓦多卢卡斯 上下文敏感重写的应用和扩展。 (英语) Zbl 1518.68157号 J.日志。代数。方法计划。 121,文章ID 100680,33 p.(2021).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},J.Log。代数。方法计划。121,文章ID 100680,第33页(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) 全文: 内政部
萨尔瓦多卢卡斯;何塞·梅塞格尔;劳尔·古铁雷斯 条件重写系统的2D依赖对框架。二: 先进的处理器和实现技术。 (英语) Zbl 1459.68092号 J.汽车。推理 64,第8期,1611-1662(2020).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人,J.Autom。推理64,No.8,1611--1662(2020;Zbl 1459.68092) 全文: 内政部
萨尔瓦多卢卡斯 使用基础良好的关系证明操作终止。 (英语) Zbl 1468.03034号 J.汽车。推理 64,第2期,167-195(2020).MSC公司:03B70号 07年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理64,No.2,167--195(2020;Zbl 1468.03034) 全文: 内政部 链接
劳尔·古铁雷斯;萨尔瓦多卢卡斯 使用AGES自动生成逻辑模型。 (英语) Zbl 07178982号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 287-299 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}和\textit{S.Lucas},莱克特。注释计算。科学。11716、287--299(2019;Zbl 07178982) 全文: 内政部
萨尔瓦多卢卡斯;劳尔·古铁雷斯 有序一阶理论逻辑模型的自动综合。 (英语) 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公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人,J.Comput。系统。科学。96、74——106(2018;Zbl 1393.68088) 全文: 内政部
萨尔瓦多卢卡斯;劳尔·古铁雷斯 使用逻辑模型证明术语重写的不可行性。 (英语) Zbl 1477.68140号 信息处理。莱特。 136, 90-95 (2018).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{R.Gutiérrez},Inf.过程。莱特。136、90-95(2018;Zbl 1477.68140) 全文: 内政部 链接
萨尔瓦多卢卡斯;何塞·梅塞格尔 证明条件项重写系统终止性质的依赖对。 (英语) Zbl 1353.68155号 J.日志。代数。方法计划。 86,第1期,236-268(2017).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer},J.Log。代数。方法计划。86,No.1,236--268(2017;Zbl 1353.68155) 全文: 内政部