课题基金 / 基金详情

Study on Ground Confluence of Rewrite Systems

Study on Ground Confluence of Rewrite Systems
重写系统地面汇合研究
批准号：
15K00003
负责人：
Aoto Takahito
金额：
$2.91万
依托单位：
Niigata University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00003/
关键词：
項書き換えシステム基底合流性書き換え帰納法基底合流生

项目摘要

项目成果

Aoto Takahito的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
青戸研究室ウェブページ
青藤实验室网页
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明
条件项重写系统中Horn子句归纳定理的自动证明
DOI： --
发表时间： 2019
期刊： コンピュータソフトウェア
影响因子： --
作者： [栗田泰智, 青戸等人]
通讯作者： 青戸等人
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
共 11 条
    Inductive thoeorems and ground confluence for conditional term rewriting systems
    • 批准号：
      18K11158
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2018
    • 负责人：
      Aoto Takahito
    • 依托单位：
      Niigata University
    Development of mechanical metamaterial for controlling a texture deformation using digital fabrication technique
    Visualization of Complex Material Property via Computational Photography
    • 批准号：
      17H04686
    • 项目类别：
      Grant-in-Aid for Young Scientists (A)
    • 资助金额：
      $15.64万
    • 财政年份：
      2017
    • 负责人：
      Aoto Takahito
    • 依托单位：
      University of Tsukuba