萨尔瓦多卢卡斯 条件项重写系统和广义项重写系统的局部汇合。 （英语） 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） 全文： DOI程序 OA许可证
小岛，三崎；直纪西田 将不发生指定的运行时错误减少为约束重写的所有路径可达性问题。 （英语） Zbl 07741962号 J.日志。阿尔盖布。方法计划。 135，文章ID 100903，19 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kojima}和\textit{N.Nishida}，J.Log。阿尔盖布。方法计划。135，文章ID 100903，19 p.（2023；Zbl 07741962） 全文： DOI程序
瑟·特凡·乔巴赫；多雷尔·卢卡努；安德烈·塞巴斯蒂安·布鲁安 使用LCTRS的基于操作的程序等价性证明。 （英语） Zbl 07741960号 J.日志。阿尔盖布。方法计划。 135，文章ID 100894，22 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人，J.Log。阿尔盖布。方法计划。135，文章ID 100894，22 p.（2023；Zbl 07741960） 全文： DOI程序 arXiv公司
Jean-Pierre Jouannaud；费尔南多·奥雷哈斯 拖曳的统一和拖曳改写的汇合。 （英语） Zbl 07649242号 J.日志。阿尔盖布。方法计划。 131，文章ID 100845，26 p.（2023）. 审核人：安德烈亚斯·马莱蒂（莱比锡） MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{F.Orejas}，J.Log。阿尔盖布。方法计划。131，文章ID 100845，26 p.（2023；Zbl 07649242） 全文： DOI程序 OA许可证
张淑君；直纪西田 将正交归纳定义集转换为合流项重写系统。 （英语） Zbl 07531446号 J.日志。阿尔盖布。方法计划。 127，文章ID 100779，17 p.（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhang}和\textit{N.Nishida}，J.Log。阿尔盖布。方法计划。127，文章ID 100779，17 p.（2022；Zbl 07531446） 全文： DOI程序
雷内·蒂曼 决定矩阵增长的Perron-Frobenius定理。 （英语） Zbl 1528.68394号 J.日志。阿尔盖布。方法计划。 123，文章ID 100699，9 p.（2021）.MSC公司：68伏15 15甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}，J.Log。阿尔盖布。方法计划。123，文章ID 100699，9 p.（2021；Zbl 1528.68394） 全文： DOI程序 OA许可证
萨尔瓦多卢卡斯 上下文敏感重写的应用和扩展。 （英语） 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 p.（2021；Zbl 1518.68157） 全文： DOI程序 链接
弗朗西斯科·杜兰；何塞·梅塞盖尔；卡米洛·罗查 有序条件规范模公理的地面汇合。 （英语） Zbl 1498.68073号 J.日志。阿尔盖布。方法计划。 111，文章ID 100513，117 p.（2020）.MSC公司：68号30 68甲18 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。111，文章ID 10051317 p.（2020；Zbl 1498.68073） 全文： DOI程序
直纪西田；阿德里安·帕拉西奥斯；德国维达尔 项重写中的可逆计算。 （英语） Zbl 1381.68107号 J.日志。阿尔盖布。方法计划。 94, 128-149 (2018).MSC公司：2012年第68季度 68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人，J.Log。阿尔盖布。方法计划。94、128——149（2018年；Zbl 1381.68107） 全文： DOI程序 arXiv公司 链接
萨尔瓦多卢卡斯；何塞·梅塞盖尔 证明条件项重写系统终止性质的依赖对。 （英语） Zbl 1353.68155号 J.日志。阿尔盖布。方法计划。 86，第1期，236-268（2017）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。86，编号1236-268（2017；兹bl 1353.68155） 全文： DOI程序
萨尔瓦多卢卡斯；何塞·梅塞盖尔 条件重写中的正规形式和正规理论。 （英语） Zbl 1356.68124号 J.日志。阿尔盖布。方法计划。 85，第1号，第1部分，67-97（2016）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，67--97（2016；Zbl 1356.68124） 全文： DOI程序
托马斯·杰奈特 树自动机完成的终止标准。 （英语） Zbl 1356.68132号 J.日志。阿尔盖布。方法计划。 85，第1号，第1部分，3-33（2016）.MSC公司：65年第68季度 68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，第3-33条（2016；Zbl 1356.68132） 全文： DOI程序
瓦格伏尔盖，桑德尔 符号不同的术语重写系统。 （英语） Zbl 1332.68105号 J.日志。阿尔盖布。方法计划。 84，第5期，551-575（2015）. 审核人：马格努斯·斯坦比（图尔库） MSC公司：2012年第68季度 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi}，J.Log。阿尔盖布。方法计划。84，编号551-575（2015年；兹bl 1332.68105） 全文： DOI程序