String diagram rewrite theory III: Confluence with and without Frobenius
String diagram rewrite theory III: Confluence with and without Frobenius
复制标题
弦图重写理论 III：有和没有 Frobenius 的融合
DOI：
10.1017/s0960129522000123
复制
发表时间：
2022
影响因子：
0.5
通讯作者：
Bonchi F
中科院分区：
文献类型：
--
作者：
Bonchi F
登录
查看更多内容
分类量子力学中的强互补性和非定域性
DOI：
10.1109/lics.2012.35
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Coecke B
通讯作者：
Coecke B
影响因子：
0.5
作者：
F. Bonchi;F. Gadducci;A. Kissinger;P. Sobocinski;F. Zanasi
通讯作者：
F. Zanasi
影响因子：
8
作者：
P. Sobocinski;O. Stephens
通讯作者：
O. Stephens
关于图变换代数方法中并行独立性的定义
DOI：
10.1007/978-3-319-50230-4_8
发表时间：
2016
期刊：
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
影响因子：
--
作者：
A. Corradini
通讯作者：
A. Corradini
术语重写系统的地面融合
DOI：
10.1016/0890-5401(90)90023-b
发表时间：
1990
期刊：
Inf. Comput.
影响因子：
--
作者：
D. Kapur;P. Narendran;F. Otto
通讯作者：
F. Otto