Theory of relational calculus for formal verification of mathematics and software programs.

用于数学和软件程序形式验证的关系演算理论。

基本信息

批准号：
17K05346
负责人：
Mizoguchi Yoshihiro
金额：
$ 2.75万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
起止时间：
2017-04-01 至 2020-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Relational T-algebra and the category of topological spaces

关系T代数和拓扑空间的范畴

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Y. Mizoguchi
通讯作者：
Y. Mizoguchi

Formal Equivalence Classes Model of Fuzzy Relational Databases Using Relational Calculus

使用关系演算的模糊关系数据库的形式等价类模型

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
M.D.Akbar; Y.Mizoguchi
通讯作者：
Y.Mizoguchi

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 }}

Mizoguchi Yoshihiro其他文献

Mizoguchi Yoshihiro的其他文献

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

相似海外基金

Study on Relationship Value and Reconciliation from the Micro-Macro Perspective

微观与宏观视角下的关系价值与和解研究

批准号：
21H00931
财政年份：
2021
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Scientific Research (B)

分離素性継承の実証的・理論的研究

单独特征继承的实证和理论研究

批准号：
21K00570
财政年份：
2021
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Scientific Research (C)

順序カテゴリデータから計算される相関係数のバイアスおよびその対処法の評価

根据序数分类数据计算的相关系数的偏差评估和对策

批准号：
21J11767
财政年份：
2021
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for JSPS Fellows

A modal logical construction of quantum logic that adds the missing concepts

量子逻辑的模态逻辑构造添加了缺失的概念

批准号：
20K19740
财政年份：
2020
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Early-Career Scientists

Molecular Modeling and the Spatial-Decomposition Analyses for Nanostructured Soft Matters

纳米结构软物质的分子建模和空间分解分析

批准号：
20K15108
财政年份：
2020
资助金额：
$ 2.75万
项目类别：
Grant-in-Aid for Early-Career Scientists