课题基金 / 基金详情

Inductive thoeorems and ground confluence for conditional term rewriting systems

Inductive thoeorems and ground confluence for conditional term rewriting systems
条件项重写系统的归纳定理和基本汇合
批准号：
18K11158
负责人：
Aoto Takahito
金额：
$2.83万
依托单位：
Niigata University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2022-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11158/
关键词：
帰納的定理基底合流性条件付き項書き換えシステムホーン節論理合流性項書き換えシステムホーン節帰納的定理補題生成法アンラベリング変換定理自動証明

项目摘要

项目成果

Aoto Takahito的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems
独特范式的自动证明
DOI： 10.1007/978-3-030-29007-8_19
发表时间： 2019
期刊： Proceedings of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), LNCS
影响因子： --
作者： [Hiroaki Naganuma, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara, Naoki Kobayashi, Takahito Aoto and Yoshihito Toyama]
通讯作者： Takahito Aoto and Yoshihito Toyama
外部変数のある可換式条件付き項書き換えシステムの合流性条件
具有外部变量的可交换条件项重写系统的汇合条件
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [笹川葵生, 青戸等人]
通讯作者： 青戸等人
Level-confluence of left-linear overlapping CTRSs
左线性重叠 CTRS 的水平汇合
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [Takahito Aoto]
通讯作者： Takahito Aoto
Commutative rational term rewriting
可交换有理项重写
DOI： 10.1007/978-3-030-68195-1_15
发表时间： 2021
期刊： Proceedings of the 15th International Conference on Language and Automata Theory and Applications (LATA 2021), Lecture Notes in Computer Science,
影响因子： --
作者： [Mamoru Ishizuka, Takahito Aoto and Munehiro Iwami]
通讯作者： Takahito Aoto and Munehiro Iwami
共 12 条
    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
    Study on Ground Confluence of Rewrite Systems
    • 批准号：
      15K00003
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2015
    • 负责人：
      Aoto Takahito
    • 依托单位：
      Niigata University