Nominal String Diagrams
Nominal String Diagrams
标称弦图
批准号：
EP/V002376/1
负责人：
Fabio Zanasi
金额：
$54.75万
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2020
资助国家：
英国
项目状态：
未结题
起止时间：
2020 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Graphical Piecewise-Linear Algebra
图解分段线性代数
图解分段线性代数
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Boisseau, G.]
通讯作者：
Boisseau, G.
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
弦图重写理论一：用Frobenius结构重写
弦图重写理论一：用Frobenius结构重写
DOI：
10.1145/3502719
发表时间：
2022
期刊：
Journal of the ACM
影响因子：
2.5
作者：
[Bonchi F]
通讯作者：
Bonchi F
Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
推进信息和通信技术研究 - IFIP 激动人心的第一个 60 年，技术委员会和工作组的观点
推进信息和通信技术研究 - IFIP 激动人心的第一个 60 年，技术委员会和工作组的观点
DOI：
10.1007/978-3-030-81701-5_2
发表时间：
2021
期刊：
影响因子：
--
作者：
[Bonchi F]
通讯作者：
Bonchi F
String diagram rewrite theory III: Confluence with and without Frobenius
弦图重写理论 III：有和没有 Frobenius 的融合
弦图重写理论 III：有和没有 Frobenius 的融合
DOI：
10.1017/s0960129522000123
发表时间：
2022
期刊：
Mathematical Structures in Computer Science
影响因子：
0.5
作者：
[Bonchi F]
通讯作者：
Bonchi F
DOI：
10.1016/j.ic.2021.104767
发表时间：
2021
期刊：
Information and Computation
影响因子：
1
作者：
[Bonchi F]
通讯作者：
Bonchi F
共 8 条
Enhanced Formal Reasoning for Algebraic Network Theory
-
批准号：EP/R020604/1
-
项目类别：Research Grant
-
资助金额：$12.82万
-
财政年份：2018
-
负责人：Fabio Zanasi
-
依托单位：
国内基金
海外基金
带应力string方法及其在材料计算中的应用
-
批准号：11001244
-
项目类别：青年科学基金项目
-
资助金额：17.0万元
-
批准年份：2010
-
负责人：靳聪明
-
依托单位：