Analysis of probabilistic systems by relational and algebraic methods
Analysis of probabilistic systems by relational and algebraic methods
通过关系和代数方法分析概率系统
批准号：
16K21557
负责人：
TSUMAGARI Norihiro
金额：
$1.25万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Axiom of Choice and Zorn's Lemma in Cantor Categories
康托范畴中的选择公理和佐恩引理
康托范畴中的选择公理和佐恩引理
DOI：
--
发表时间：
2017
期刊：
Bulletin of Informatics and Cybernetics
影响因子：
--
作者：
[H. Furusawa, Y. Kawahara, N. Tsumagari]
通讯作者：
N. Tsumagari
多重関係の合成とリフティングの関係的形式化
多重关系的合成和提升的关系形式化
多重关系的合成和提升的关系形式化
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[H. Furusawa, Y. Kawahara, N. Tsumagari, 津曲 紀宏]
通讯作者：
津曲 紀宏
研究代表者の個人webページ
首席研究员的个人网页
首席研究员的个人网页
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
崇城大学・研究業績データベース
崇城大学研究成果数据库
崇城大学研究成果数据库
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations
Kleisli、Parikh 和 Peleg 多重关系的组合和提升
Kleisli、Parikh 和 Peleg 多重关系的组合和提升
DOI：
10.1016/j.jlamp.2017.04.002
发表时间：
2017
期刊：
Journal of Logical and Algebraic Methods in Programming
影响因子：
0.9
作者：
[Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari]
通讯作者：
Norihiro Tsumagari
共 6 条
海外基金