Diagrammatic Polyhedral Algebra
Diagrammatic Polyhedral Algebra
复制标题
图解多面体代数
DOI：
10.4230/lipics.fsttcs.2021.40
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
P. Sobocinski
中科院分区：
文献类型：
--
作者：
G. Boisseau;F. Bonchi;Alessandro Di Giorgio;P. Sobocinski
推广了具有序基元的Hopf相互作用代数理论，给出了多面体锥的完备公理化。其次，我们公理化了一个仿射扩展，证明了多面体的完备性和完备性。
We extend the theory of Interacting Hopf algebras with an order primitive, and give a sound and complete axiomatisation of the prop of polyhedral cones. Next, we axiomatise an affine extension and prove soundness and completeness for the prop of polyhedra.
分类量子力学中的强互补性和非定域性
DOI：
10.1109/lics.2012.35
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Coecke B
通讯作者：
Coecke B
DOI：
--
发表时间：
2019
期刊：
--
影响因子：
--
作者：
Filippo Bonchi
通讯作者：
Filippo Bonchi