Misaki小岛;西田,直木 将指定运行时错误的不发生减少到约束重写的所有路径可达性问题。 (英语) 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) 全文: 内政部
何塞·梅塞格尔 广义重写理论、连贯完成和符号方法。 (英语) Zbl 1496.68166号 J.日志。阿尔盖布。方法计划。 110,文章ID 100483,39 p.(2020).MSC公司:第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。方法计划。110,文章ID 100483,39 p.(2020;Zbl 1496.68166) 全文: 内政部 链接
瓦格伏尔盖,桑多尔 一些可判定性会导致单程减少。 (英语) Zbl 1429.68094号 J.日志。阿尔盖布。方法计划。 105, 47-74 (2019). 审核人:马格努斯·斯坦比(图尔库) MSC公司:第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},J.Log。阿尔盖布。方法计划。105,47-74(2019;Zbl 1429.68094) 全文: 内政部
托马斯·杰奈特 树自动机完成的终止标准。 (英语) Zbl 1356.68132号 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,3-33(2016).MSC公司:65年第68季度 68甲18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet},J.Log。阿尔盖布。方法计划。85,第1号,第1部分,第3-33条(2016;Zbl 1356.68132) 全文: 内政部
瓦格伏尔盖,桑多尔 符号不同的术语重写系统。 (英语) Zbl 1332.68105号 J.日志。阿尔盖布。方法计划。 84,第5期,551-575(2015). 审核人:马格努斯·斯坦比(图尔库) MSC公司:第68季度第42季度 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},J.Log。阿尔盖布。方法计划。84,第5号,551--575(2015;Zbl 1332.68105) 全文: 内政部