小岛,三崎;直纪西田 将不发生指定的运行时错误减少为约束重写的所有路径可达性问题。 (英语) 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 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) 全文: 内政部
直纪西田;阿德里安·帕拉西奥斯;德国维达尔 项重写中的可逆计算。 (英语) 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) 全文: 内政部 arXiv公司 链接
直纪西田;阿德里安·帕拉西奥斯;德国维达尔 可逆项重写。 (英语) Zbl 1387.68147号 Kesner,Delia(ed.)等人,第一届计算和扣减形式结构国际会议,2016年金融稳定与发展委员会,葡萄牙波尔图,2016年6月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-010-1)。LIPIcs–莱布尼茨国际信息学学报52,第28条,第18页(2016年)。MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,LIPIcs——莱布尼茨国际程序。通知。52,第28条,第18页(2016年;兹bl 1387.68147) 全文: 内政部
Masanori长岛;丰富美加藤;Masahiko酒井;直纪西田 逆展开问题及其启发式求解。 (英语) Zbl 1428.68126号 Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 27-38 (2014).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Nagashima}等人,OASIcs--OpenAccess服务器。通知。40,27-38(2014年;兹bl 1428.68126) 全文: 内政部
直纪西田;德国维达尔 在术语重写中转换为尾部递归。 (英语) Zbl 1283.68128号 J.日志。代数。程序。 83,第1号,53-63(2014).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},J.Log。代数。程序。83,第1号,53--63(2014;Zbl 1283.68128) 全文: 内政部
直纪西田;Masahiko酒井;坂部俊彦 条件项重写系统通过与线性相关的超属性展开的合理性。 (英语) Zbl 1252.68161号 日志。方法计算。科学。 8,第3号,第4号论文,49页(2012).MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,日志。方法计算。科学。8,第3号,第4号论文,49页(2012;Zbl 1252.68161) 全文: 内政部
直纪西田;维达尔,德语 尾部递归函数的程序反演。 (英语) Zbl 1236.68144号 Schmid-Schauß,Manfred(编辑),第22届改写技术和应用国际会议(RTA 2011),塞尔维亚诺维萨德,2011年5月30日至6月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-30-9)。LIPIcs–莱布尼茨国际信息学论文集10283-298,仅电子版(2011)。MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},LIPIcs——莱布尼茨国际程序。通知。10283--298(2011;Zbl 1236.68144) 全文: 内政部 链接
直纪西田;Masahiko酒井;坂部俊彦 确定性条件项重写系统通过与线性相关的超属性展开的合理性。 (英语) Zbl 1236.68143号 Schmid-Schauß,Manfred(编辑),第22届改写技术和应用国际会议(RTA 2011),塞尔维亚诺维萨德,2011年5月30日至6月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-30-9)。LIPIcs–莱布尼茨国际信息学论文集10,267-282,仅电子版(2011)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,LIPIcs——莱布尼茨国际程序。通知。10、267--282(2011;Zbl 1236.68143) 全文: 内政部 arXiv公司 链接
直纪西田;水井裕久;Masahiko酒井 用于精炼未分解的条件项重写系统的转换。 (英语) Zbl 1277.68107号 Antoy,Sergio(编辑),第六届改写和编程简化策略国际研讨会论文集(WRS 2006),西雅图,华盛顿州,美国,2006年8月11日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第10期,75-95(2007)。MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,《电子》。注释Theor。计算。科学。174,第10号,75--95(2007;Zbl 1277.68107) 全文: 内政部