萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的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) 全文: DOI程序
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的2D依赖项对框架。一: 定义和基本处理器。 (英语) Zbl 1393.68088号 J.计算。系统。科学。 96, 74-106 (2018).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人,J.Compute。系统。科学。96,74-106(2018年;兹比尔1393.68088) 全文: DOI程序
萨尔瓦多卢卡斯;劳尔·古铁雷斯 使用逻辑模型证明术语重写的不可行性。 (英语) 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) 全文: DOI程序 链接