Normalization Analysis for Term Rewriting
Normalization Analysis for Term Rewriting
术语重写的标准化分析
批准号：
17K00011
负责人：
Hirokawa Nao
金额：
$2.91万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
合流性ツール Saigawa
Confluence 工具 西川
Confluence 工具 西川
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Infinite Runs in Abstract Completion
摘要完成中的无限运行
摘要完成中的无限运行
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler]
通讯作者：
and Sarah Winkler
Confluence Competition 2018
2018年汇流大赛
2018年汇流大赛
DOI：
10.4230/lipics.fscd.2018.32
发表时间：
2018
期刊：
Leibniz International Proceedings in Informatics (LIPIcs)
影响因子：
--
作者：
[T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp J. Nagele, N. Nishida, K. Shintani, and Harald Zankl]
通讯作者：
and Harald Zankl
Abstract Completion, Formalized
抽象完成，形式化
抽象完成，形式化
DOI：
--
发表时间：
2019
期刊：
Journal of Logical Methods in Computer Science
影响因子：
--
作者：
[Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler.]
通讯作者：
and Sarah Winkler.
Parallel Closedness Revisited
重新审视并行封闭性
重新审视并行封闭性
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Dumas Jean-Guillaume, Lafourcade Pascal, Miyahara Daiki, Mizuki Takaaki, Sasaki Tatsuya, Sone Hideaki, Kiraku Shintani and Nao Hirokawa]
通讯作者：
Kiraku Shintani and Nao Hirokawa
共 13 条
Confluence Analysis for Term Rewriting and Its Applications
-
批准号：25730004
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.5万
-
财政年份：2013
-
负责人：Hirokawa Nao
-
依托单位：
海外基金