Improvement of lemma generation and reasoning strategies for automated inductive theorem proving

自动归纳定理证明的引理生成和推理策略的改进

基本信息

批准号：
16K16032
负责人：
SATO HARUHIKO
金额：
$ 0.83万
依托单位：
Hokkai-Gakuen University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
起止时间：
2016-04-01 至 2018-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（2）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Discovering Inductive Theorems Using Rewriting Induction

使用重写归纳法发现归纳定理

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Haruhiko Sato;Masahito Kurihara
通讯作者：
Masahito Kurihara

On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems

论语法复杂引理在归纳定理理论探索中的作用

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
十川雄司;青山裕介;黒岩丈瑠;久代紀之;Haruhiko Sato and Masahito Kurihara
通讯作者：
Haruhiko Sato and Masahito Kurihara

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

SATO HARUHIKO其他文献

SATO HARUHIKO的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

相似海外基金

Proof theoretic analysis of cyclic proof systems

循环证明系统的证明理论分析

批准号：
18K11161
财政年份：
2018
资助金额：
$ 0.83万
项目类别：
Grant-in-Aid for Scientific Research (C)

Inductive thoeorems and ground confluence for conditional term rewriting systems

条件项重写系统的归纳定理和基本汇合

批准号：
18K11158
财政年份：
2018
资助金额：
$ 0.83万
项目类别：
Grant-in-Aid for Scientific Research (C)

Temporal and Relational Verification of High-Level Programs

高级程序的时间和关系验证

批准号：
16H05856
财政年份：
2016
资助金额：
$ 0.83万
项目类别：
Grant-in-Aid for Young Scientists (A)

Discovery and proof of inductive theorems with multi-context reasoning systems for algebraic software

使用代数软件的多上下文推理系统发现和证明归纳定理

批准号：
16K00090
财政年份：
2016
资助金额：
$ 0.83万
项目类别：
Grant-in-Aid for Scientific Research (C)

Extensions and Applications of Refinement Types based on Game Semantics

基于游戏语义的细化类型的扩展与应用

批准号：
25730035
财政年份：
2013
资助金额：
$ 0.83万
项目类别：
Grant-in-Aid for Young Scientists (B)