菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 弦图重写理论。一： 用Frobenius结构重写。 （英语） Zbl 1497.68239号 美国临床医学杂志 69，第2条，第14条，58页（2022年）. 引用于2评论引用于8文件 MSC公司： 2012年第68季度 语法和重写系统 18立方米 字符串图和图形计算 关键词：字符串关系图;双推出重写;范畴理论;Frobenius代数 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，J.ACM 69，第2号，第14条，58页（2022年；Zbl 1497.68239） 全文： 内政部 arXiv公司 链接 参考文献： [1] Abramsky、Samson和Coecke、Bob。2004.量子协议的分类语义。第19届IEEE计算机科学逻辑研讨会论文集。IEEE计算机学会，415-425·Zbl 1273.81014号 [2] Albasini、Luisa、Sabadini、Nicoletta和Walters，Robert F.C.，2009年。图的余弦和跨度：离散系统顺序和并行组合的范畴代数。arXiv:0909.4136。检索自https://arxiv.org/abs/0909.4136。 [3] 巴赫迈尔（Bachmair）、利奥（Leo）和德肖维茨（Dershowitz）、纳鸿（Nachum）。1989.重写模a同余的完成。理论计算机科学67，2-3（1989），173-201·Zbl 0686.68021号 [4] Baez、John、Coya、Brandon和Rebro、Franciscus。2017.网络理论中的PROPs。arXiv:1707.08321。检索自https://arxiv.org/abs/1707.08321。 [5] Baez，John和Erbele，Jason。2015年，受控类别。《范畴的理论与应用》30（2015），836-881·Zbl 1316.18009号 [6] 巴伦德雷格特、亨德里克·皮特、范·埃克伦、马可·C·J·D·D、格劳特、约翰·R·W·W、肯纳韦、理查德、普拉斯梅耶、马林纳斯·J·斯莱普、M·罗南。1987年术语图改写。《欧洲并行体系结构和语言会议录》。de Bakker，Jacopus W.，Nijman，A.J.和Treleaven，Philip C.（编辑），第259卷。柏林施普林格，141-158。 [7] 让·贝纳布。1967年，双类别简介。中西部类别研讨会报告。第47卷。施普林格，1-77·Zbl 1375.18001号 [8] Bonchi、Filippo、Gadducci、Fabio、Kissinger、Aleks、Sobocinnski、Pawel和Zanasi，Fabio，2016年。重写模对称单体结构。第31届ACM/IEEE计算机科学逻辑年会论文集。Grohe、Martin、Koskinen、Eric和Shankar、Natarajan（编辑）。美国医学会，710-719·Zbl 1395.68162号 [9] Bonchi、Filippo、Gadducci、Fabio、Kissinger、Aleks、Sobociński、Pawel和Zanasi、Fabio。2018。与弗罗贝尼厄斯一起改写。第33届ACM/IEEE计算机科学逻辑年会论文集。Dawar，Anuj和Grädel，Erich（编辑）。美国医学会，165-174·Zbl 1497.68238号 [10] Bonchi、Filippo、Gadducci、Fabio、Kissinger、Aleks、Sobocinnski、Pawel和Zanasi，Fabio，2020年。弦图重写理论二：用对称单体结构重写。arXiv:2104.14686。检索自https://arxiv.org/abs/2104.14686。 ·Zbl 1506.68042号 [11] 2021年，波奇、菲利波、加杜奇、法比奥、基辛格、亚历克斯、索波辛斯基、帕维尔和法比奥的扎纳西。弦图改写理论三：与弗罗贝纽斯的融合与否。arXiv:2109.06049。检索自https://arxiv.org/abs/2109.06049。 ·兹比尔1506.68043 [12] Bonchi、Filippo、Gadducci、Fabio、Kissinger、Aleks、Sobocinnski、Pawel Pawel和Zanasi，Fabio，2017年。图形重写与接口的融合。第26届欧洲编程语言与系统研讨会论文集。Yang，Hongseok（编辑），第10201卷。斯普林格，141-169·Zbl 1485.68124号 [13] Bonchi、Filippo、Gadducci、Fabio和König、Barbara。2009.使用图形重写合成CCS互模拟。《信息与计算》207，1（2009），14-40·Zbl 1169.68030号 [14] 波奇、菲利波、荷兰、约书亚、巴甫洛维奇、杜斯科和索波辛斯基、巴维尔。2017.信号流图的改进。第28届并行理论国际会议论文集。罗兰·梅耶（Roland Meyer）和内斯特曼（Nestmann），乌韦（Uwe）（编辑），第85卷。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），24:1-24:16·Zbl 1442.68125号 [15] 2019年，博奇、菲利波、荷兰、约书亚、皮埃德鲁、罗宾、索博辛斯基、帕维尔和法比奥的扎那西。图解代数：从线性系统到并发系统。《美国计算机学会程序设计语言会议录》，第3卷。美国医学会，25:1-25:28。 [16] Bonchi、Filippo、Piedeleu、Robin、Sobociński、Pawel和Zanasi、Fabio。2019。图形仿射代数。第34届ACM/IEEE计算机科学逻辑年会论文集。IEEE，1-12。 [17] Bonchi、Filippo、Sobocinnski、Pawel和Zanasi，Fabio，2014年。相互作用的双代数是Frobenius。第17届软件科学和计算结构基础国际会议论文集。安卡·穆斯科尔（编辑），第8412卷。施普林格，351-365·Zbl 1395.18009号 [18] Bonchi、Filippo、Sobocinnski、Pawel和Zanasi，Fabio，2015年。信号流图的完全抽象。第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。美国医学会，515-526·Zbl 1346.68143号 [19] Bonchi，Filippo，Sobociński，Pawel和Zanasi，Fabio，2017年。信号流图的演算I：流上的线性关系。信息与计算252（2017），2-29·Zbl 1355.68188号 [20] Bonchi、Filippo、Sobocinnski、Pawel和Zanasi，Fabio，2017年。相互作用的Hopf代数。《纯粹与应用代数》221，1（2017），144-184·Zbl 1345.68229号 [21] 2014年，菲利波·邦奇（Bonchi，Filippo）、索波辛斯基（Sobocinnski）、帕维尔·帕维尔（Pawel Pawel）和法比奥·扎纳西（Zanasi，Fabio）。信号流图的分类语义。第25届并行理论国际会议论文集。Baldan，Paolo和Gorla，Daniele（编辑），第8704卷。施普林格，435-450·Zbl 1417.68119号 [22] 布鲁尼、罗伯托和加杜奇，法比奥，2001年。跨度的一些代数定律（及其与多重关系的联系）。软件中的关系方法程序。Wolfram Kahl、David L.Parnas和Gunther Schmidt（编辑），第44卷（3）。爱思唯尔，175-193年。 [23] 阿尔伯特·伯罗尼。1993年。应用于等式逻辑的高维单词问题。理论计算机科学115，1（1993），43-62·Zbl 0791.08004号 [24] Carboni，Aurelio和Walters，Robert F.C.，1987年。笛卡尔双范畴I.纯代数和应用代数49，1-2（1987），11-32·Zbl 0637.18003号 [25] Coecke，Bob和Duncan，Ross。2008.相互作用的量子观测。第35届国际自动化、语言和编程学术讨论会论文集。Aceto、Luca、Damgórd、Ivan、Goldberg、Leslie Ann、Halldórsson、Magnús M.、Ingólfsdóttir、Anna和Walukiewicz，Igor（编辑），第5126卷。施普林格，298-310·Zbl 1155.81316号 [26] Coecke，Bob和Kissinger，Aleks。2017.描绘量子过程：量子理论和图解推理第一课程。剑桥大学出版社·Zbl 1405.81001号 [27] 科克（Coecke）、鲍伯（Bob）、巴甫洛维奇（Pavlovic）、达斯科（Dusko）和维卡里（Vicary）、杰米（Jamie）。2013.正交基的新描述。计算机科学中的数学结构23，3（2013），555-567·Zbl 1276.46016号 [28] Corradini、Andrea、Montanari、Ugo、Rossi、Francesca、Ehrig、Hartmut、Heckel、Reiko和Löwe、Michael。1997.图变换的代数方法-第一部分：基本概念和双推出方法。在《图形语法和图形变换计算手册》第1卷：基础。Rozenberg，Grzegorz（编辑）。世界科学，163-246。 [29] 德肖维茨（Dershowitz）、纳鸿（Nachum）和朱安纳德（Jouannaud）、珍妮·皮埃尔（Jean-Pierre）。1990.改写系统。《理论计算机科学手册》B卷：形式模型和语义。van Leeuwen，Jan（编辑）。爱思唯尔和麻省理工学院出版社，243-320·Zbl 0900.68283号 [30] 狄克逊、卢卡斯、邓肯、罗斯和基辛格、亚历克斯。2010.开放图形和计算推理。第六届计算模型发展研讨会论文集。库珀、S.巴里、帕南加登、普拉卡什和卡舍菲、埃尔姆（编辑），第26卷。169-180. ·Zbl 1456.68051号 [31] Dixon、Lucas和Kissinger、Aleks。2013.开放粒度和单体理论。《计算机科学中的数学结构》23，2（2013），308-359·Zbl 1268.18002号 [32] 埃里格、哈特穆特和科尼格、芭芭拉。2004.在图重写的DPO方法中导出互模拟同余。《第七届软件科学和计算结构基础国际会议论文集》，Walukiewicz，Igor（Ed.），第2987卷。斯普林格，151-166·兹比尔1126.68446 [33] Fong，Brendan和Spivak，David I.，2019年。Hypergraph类别。《纯粹与应用代数》223，11（2019），4746-4777·Zbl 1422.18010号 [34] Gadducci，Fabio，2007年。\（\pi\）-演算的图形重写。计算机科学中的数学结构17，3（2007），407-437·Zbl 1125.68063号 [35] Gadducci、Fabio和Heckel、Reiko。1998年。图变换的归纳观点。第十二届代数发展技术最新趋势国际研讨会论文集。Parisi-Prescce，Francesco（编辑），第1376卷。施普林格，223-237·Zbl 0901.18003号 [36] Heumüller、Marvin、Joshi、Salil、König、Barbara和Stückrath，2011年1月。超图范畴中pushout补语的构造。第三届图形计算模型国际研讨会论文集。Echahed、Rachid、Habel、Annegret和Mosbah，Mohamed（编辑），第39卷。最简单。 [37] 杰拉德·休特。1980.合流约简：项重写系统的抽象属性和应用：项重写的抽象属性与应用。ACM27杂志，4（1980），797-821·Zbl 0458.68007号 [38] 海兰德，马丁和鲍尔，约翰。2007.泛代数的范畴理论理解：Lawvere理论和单子。在计算、意义和逻辑中。Cardelli、Luca、Fiore、Marcelo P.和Winskel，Glynn（编辑），第172卷。爱思唯尔，437-458·Zbl 1277.08003号 [39] Jeandel、Emmanuel、Perdrix、Simon和Vilmart、Renaud。2018年，Clifford+T量子力学ZX演算的完整公理化。第33届ACM/IEEE计算机科学逻辑年会论文集。Dawar，Anuj和Grädel，Erich（编辑）。美国医学会，569-578·Zbl 1452.81081号 [40] Joyal，Andre和Street，Ross。1991。张量微积分的几何，i.数学进展88，1（1991），55-112·Zbl 0738.18005号 [41] Joyal，Andre，Street，Ross，和Verity，Dominic。1996年。追踪单体类。剑桥哲学学会数学学报119，3（1996），447-468·Zbl 0845.18005号 [42] 克里斯蒂安·卡塞尔。2012.量子集团。斯普林格·Zbl 0808.17003号 [43] 亚历克斯·基辛格。2014.（匕首）超图类别的有限矩阵已完成。arXiv1406.5942。检索自https://arxiv.org/abs/1406.5942。 ·Zbl 1285.18010号 [44] 基辛格、亚历克斯和德韦特林、约翰·凡。2020年。PyZX：大规模自动图表推理。第16届量子物理与逻辑国际会议论文集。Coecke，Bob和Leifer，Matthew（编辑），第318卷。开放出版协会，229-241。 [45] 基辛格、亚历克斯和赞季耶夫、弗拉基米尔。2015.Quantomatic：图表推理的证明助手。第25届自动扣减国际会议记录。Amy P.Felty和Middeldorp，Aart（编辑），第9195卷。施普林格，326-336·Zbl 1465.68288号 [46] 唐纳德·E·Knuth和彼得·B·Bendix，1970年。泛代数中的简单单词问题。在《抽象代数计算问题会议录》中。佩加蒙出版社，263-297·Zbl 0188.04902号 [47] 莱克，史蒂夫。2004年，编写PROP。范畴理论与应用13，9（2004），147-163·兹比尔1062.18007 [48] 莱克，史蒂夫和索波辛斯基，帕维尔。2005.粘合剂和准粘合剂类别。理论信息学与应用39，3（2005），511-546·Zbl 1078.18010号 [49] 伊夫斯·拉丰。2003.布尔电路代数理论。《纯粹与应用代数》184，2-3（2003），257-310·Zbl 1037.94015号 [50] 莱恩，桑德斯·麦克。1965.范畴代数。《美国数学学会公报》71，1（1965），40-106·Zbl 0324.55001号 [51] 桑德斯·麦克·莱恩。1998年，职业数学家分类。斯普林格·Zbl 0906.18001号 [52] 麦克唐纳、约翰和斯卡尔、劳拉。2009.类别合并。加拿大数学公报52，2（2009），273-284·Zbl 1163.18001号 [53] 塞缪尔·米姆拉姆。2014.走向三维重写理论。《计算机科学中的逻辑方法》10，2（2014），1-47·Zbl 1314.68172号 [54] Ng，Kang Feng和Wang，Quanlong。2017年，ZX微积分的普遍完成。arXiv:1706.09877。检索自https://arxiv.org/abs/1706.09877。 [55] Gerald E.Peterson和Mark E.Stickel，1981年。一些等式理论的全套约简。ACM28杂志，2（1981），233-264·Zbl 0479.68092号 [56] 丰满，细节。1999.术语图重写。在《图形语法和图形变换计算手册》第2卷：应用程序、语言和工具。Hartmut Ehrig、Gregor Engels、Hans-Jorg Kreowski和Grzegorz Rozenberg（编辑）。世界科学，3-61·Zbl 1263.68092号 [57] 丰满，细节。2010.检查图形转换系统的汇流。图、代数和图的操作。Drewes、Frank、Habel、Annegret、Hoffmann、Berthold和Plump，Detlef（编辑），第26卷。最简单·Zbl 1171.68517号 [58] 罗斯布鲁、罗伯特、萨巴迪尼、尼科莱塔和沃尔特斯，R.F.C.，2005年。图的通有交换可分代数和上泛。范畴的理论与应用17，6（2005），164-177·Zbl 1087.18003号 [59] 萨松、弗拉迪米罗和索博辛斯基、帕维尔。2005.cospans上的反应系统。第20届IEEE计算机科学逻辑年会论文集。IEEE计算机学会，311-320。 [60] 彼得·塞林格。2010年。A=A\（^*\）的自治类别。第七届量子物理与逻辑国际会议论文集。151-160. [61] 彼得·塞林格。2011.单体类别图形语言调查。施普林格物理学讲稿13，813（2011），289-355·Zbl 1217.18002号 [62] 巴韦尔·索博辛斯基（Pawel Sobocinski）。图形线性代数。检索自https://graphicallinearalgebration.net/。 ·兹比尔07370046 [63] 埃尔科·维瑟。2001.程序转换系统中重写策略的调查。在第一届改写和编程减少策略国际研讨会论文集中。Gramlich，Bernhard和Lucas，Salvador（编辑），第57卷。爱思唯尔，109-143·Zbl 1268.68105号 [64] 法比奥·扎纳西（Fabio Zanasi），2015年。相互作用的Hopf代数：线性系统理论。里昂高等师范学院。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。