Program Verification Methods based on Context-Moving Transformation and Higher-Order Rewriting Theory
Program Verification Methods based on Context-Moving Transformation and Higher-Order Rewriting Theory
基于上下文移动变换和高阶重写理论的程序验证方法
批准号：
16K00091
负责人：
KIKUCHI Kentaro
金额：
$2.25万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ACPH: System Description for CoCo 2016
ACPH：CoCo 2016 系统说明
ACPH：CoCo 2016 系统说明
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama]
通讯作者：
Takahito Aoto and Yoshihito Toyama
ACPH: System Description for CoCo 2017
ACPH：CoCo 2017 系统说明
ACPH：CoCo 2017 系统说明
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Kouta Onozawa, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama]
通讯作者：
Takahito Aoto and Yoshihito Toyama
完備化手続きにおける関数記号導入の戦略
在完成程序中引入功能符号的策略
在完成程序中引入功能符号的策略
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[伊藤佑太, 菊池健太郎, 外山芳人]
通讯作者：
外山芳人
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems
左线性标称重写系统的并行闭包定理
左线性标称重写系统的并行闭包定理
DOI：
10.1007/978-3-319-66167-4_7
发表时间：
2017
期刊：
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
影响因子：
--
作者：
[Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama]
通讯作者：
Takahito Aoto and Yoshihito Toyama
Nominal Confluence Tool
标称汇流工具
标称汇流工具
DOI：
10.1007/978-3-319-40229-1_12
发表时间：
2016
期刊：
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
影响因子：
--
作者：
[Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama, Kentaro Kikuchi, Takahito Aoto and Kentaro Kikuchi]
通讯作者：
Takahito Aoto and Kentaro Kikuchi
共 10 条
Involvement of Epstein-Barr virus (EBV) in human salivary gland tumors
-
批准号：19K10095
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.75万
-
财政年份：2019
-
负责人：KIKUCHI Kentaro
-
依托单位：
海外基金