Mathematical Structures for Effect Systems

效果系统的数学结构

基本信息

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Universite Paris Denis Diderot(フランス)
巴黎大学丹尼斯·狄德罗(法国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
高等師範学校/パリディドロ大学(フランス)
巴黎高等师范学院/巴黎狄德罗大学(法国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
インペリアル・カレッジ・ロンドン(英国)
伦敦帝国理工学院(英国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
University at Buffalo/Carnegie Mellon University/University of Wisconsin-Madison(米国)
布法罗大学/卡内基梅隆大学/威斯康星大学麦迪逊分校(美国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
タリン工科大学(エストニア)
塔林理工大学(爱沙尼亚)
  • 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
属性导向可达性分析的格理论本质
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)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了