Theory of relational calculus for formal verification of mathematics and software programs.
Theory of relational calculus for formal verification of mathematics and software programs.
用于数学和软件程序形式验证的关系演算理论。
批准号：
17K05346
负责人：
Mizoguchi Yoshihiro
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[内藤 雄基, 仙葉 隆, Yuki Naito, Yuki Naito, Yuki Naito, 内藤雄基, 内藤雄基, Kota Takeuchi and Akito Tsuboi, 坪井明人, Akito Tsuboi, Akito Tsuboi, Akito Tsuboi, 坪井明人, Akito Tsuboi, Akito Tsuboi, 坪井明人 塩谷真弘 佐垣大輔, Y. Mizoguchi]
通讯作者：
Y. Mizoguchi
Formal Equivalence Classes Model of Fuzzy Relational Databases Using Relational Calculus
使用关系演算的模糊关系数据库的形式等价类模型
使用关系演算的模糊关系数据库的形式等价类模型
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[M.D.Akbar, Y.Mizoguchi]
通讯作者：
Y.Mizoguchi
海外基金