Mathematical Structures for Effect Systems
效果系统的数学结构
基本信息
- 批准号:15K00014
- 负责人:
- 金额:$ 3万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2015
- 资助国家:日本
- 起止时间:2015-04-01 至 2020-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
University at Buffalo/Carnegie Mellon University/University of Wisconsin-Madison(米国)
布法罗大学/卡内基梅隆大学/威斯康星大学麦迪逊分校(美国)
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Katsumata Shin-ya其他文献
フリーセルの解の存在判定アルゴリズムの設計
确定自由单元解是否存在的算法设计
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Sato Tetsuya;Barthe Gilles;Gaboardi Marco;Hsu Justin;Katsumata Shin-ya;Shuji Jimbo;Katsumata Shin-ya;神保 秀司 - 通讯作者:
神保 秀司
フリーセルの解の分布について
关于免费单元解决方案的分发
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
de Amorim Arthur Azevedo;Gaboardi Marco;Hsu Justin;Katsumata Shin-ya;神保 秀司 - 通讯作者:
神保 秀司
Fibrational bisimulations and quantitative reasoning: Extended version
纤维化互模拟和定量推理:扩展版
- DOI:
10.1093/logcom/exab051 - 发表时间:
2021 - 期刊:
- 影响因子:0.7
- 作者:
Sprunger David;Katsumata Shin-ya;Dubut Jeremy;Hasuo Ichiro - 通讯作者:
Hasuo Ichiro
The Lattice-Theoretic Essence of?Property Directed Reachability Analysis
属性导向可达性分析的格理论本质
- DOI:
10.1007/978-3-031-13185-1_12 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Kori Mayuko;Urabe Natsuki;Katsumata Shin-ya;Suenaga Kohei;Hasuo Ichiro - 通讯作者:
Hasuo Ichiro
Supramolecular Photochirogenesis with a Higher-Order Complex: Highly Accelerated Exclusively Head-to-Head Photocyclodimerization of 2-Anthracenecarboxylic Acid via 2:2 Complexation with Prolinol
高阶络合物的超分子光手性作用:通过与脯氨醇 2:2 络合实现 2-蒽甲酸的高度加速的头对头光环二聚反应
- DOI:
10.1021/jacs.6b05598 - 发表时间:
2016 - 期刊:
- 影响因子:15
- 作者:
Kawanami Yuko;Katsumata Shin-ya;Nishijima Masaki;Fukuhara Gaku;Asano Kaori;Suzuki Takeyuki;Yang Cheng;Nakamura Asao;Mori Tadashi;Inoue Yoshihisa - 通讯作者:
Inoue Yoshihisa
Katsumata Shin-ya的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
プログラムの表示的意味論と効率的実行手法の研究
程序显示语义及高效执行方法研究
- 批准号:
14780235 - 财政年份:2002
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Young Scientists (B)