{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T04:28:39Z","timestamp":1781756919244,"version":"3.54.5"},"reference-count":70,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100014748","name":"Clarendon Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100014748","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175672","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-14","source":"Crossref","is-referenced-by-count":12,"title":["Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus"],"prefix":"10.1109","author":[{"given":"Boldizs\u00e1r","family":"Po\u00f3r","sequence":"first","affiliation":[{"name":"Quantinuum,Oxford,United Kingdom,OX1 2NA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Quanlong","family":"Wang","sequence":"additional","affiliation":[{"name":"Quantinuum,Oxford,United Kingdom,OX1 2NA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Razin A.","family":"Shaikh","sequence":"additional","affiliation":[{"name":"Quantinuum,Oxford,United Kingdom,OX1 2NA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lia","family":"Yeh","sequence":"additional","affiliation":[{"name":"Quantinuum,Oxford,United Kingdom,OX1 2NA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richie","family":"Yeung","sequence":"additional","affiliation":[{"name":"Quantinuum,Oxford,United Kingdom,OX1 2NA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bob","family":"Coecke","sequence":"additional","affiliation":[{"name":"Quantinuum,Oxford,United Kingdom,OX1 2NA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3502719"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-52869-8.50010-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198739623.001.0001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"key":"ref7","article-title":"Fast and effective techniques for t-count reduction via spider nest identities","author":"de Beaudrap","year":"2020"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.318.9"},{"issue":"2","key":"ref9","doi-asserted-by":"crossref","first-page":"022 406","DOI":"10.1103\/PhysRevA.102.022406","article-title":"Reducing T-count with the ZX-calculus","volume":"102","author":"Kissinger","year":"2020","journal-title":"Physical Review A"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-01-09-218"},{"key":"ref11","article-title":"Phase-free zx diagrams are css codes (\u2026or how to graphically grok the surface code)","author":"Kissinger","year":"2022"},{"key":"ref12","article-title":"Graphical quantum Clifford-encoder compilers from the ZX calculus","author":"Khesin","year":"2023"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03073-4_18"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-04-26-134"},{"key":"ref16","article-title":"Foundations for Near-Term Quantum Natural Language Processing","author":"Coecke","year":"2020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.340.11"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ac5d20"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.01.021"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10701-015-9957-7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3390\/e23030308"},{"key":"ref22","article-title":"Quantum in pictures: An experiment","author":"Coecke","year":"2022","journal-title":"Talk abstract"},{"key":"ref23","volume-title":"Quantum in Pictures.","author":"Coecke","year":"2022"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317"},{"key":"ref25","article-title":"ZX-calculus for the working quantum computer scientist","author":"van de Wetering","year":"2020"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2021.07.024"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.52.3"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.59"},{"issue":"3","key":"ref29","article-title":"A diagrammatic calculus of fermionic quantum circuits","volume":"15","author":"Ng","year":"2019","journal-title":"Logical Methods in Computer Science"},{"key":"ref30","article-title":"Categorical Semantics for Feynman Diagrams","author":"Shaikh","year":"2022"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.394.6"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.52.4"},{"key":"ref33","article-title":"A universal completion of the ZX-calculus","author":"Ng","year":"2017"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/16\/9\/093021"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.172.21"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209131"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209128"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.172.20"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99498-7_10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785765"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209139"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.3389\/fphy.2020.589504"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.113.230501"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1140\/epjd\/e2020-100571-8"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-022-01658-0"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-023-37375-2"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-022-28767-x"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.11.021010"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1364\/oe.26.030689"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.125.180504"},{"key":"ref51","article-title":"Realization of arbitrary doubly-controlled quantum phase gates","author":"Hill","year":"2021"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.172.7"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.172.6"},{"key":"ref54","article-title":"A non-anyonic qudit ZW-calculus","author":"Wang","year":"2021"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.266.3"},{"key":"ref56","article-title":"Complete ZX-calculi for the stabiliser fragment in odd prime dimensions","author":"Booth","year":"2022"},{"key":"ref57","article-title":"Phase gadget compilation for diagonal qutrit gates","author":"van de Wetering","year":"2022"},{"key":"ref58","first-page":"F37.007","article-title":"Qutrit-ZX Calculus on superconducting transmon qutrits","volume":"2022","author":"Cao","year":"2022","journal-title":"Bulletin of the American Physical Society"},{"key":"ref59","article-title":"Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning","author":"Wang","year":"2022"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.394.14"},{"key":"ref61","article-title":"Qufinite ZX-calculus: A unified framework of qudit ZX-calculi","author":"Wang","year":"2022"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-7303-4_10"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-020-02918-9"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2016.06.002"},{"key":"ref65","first-page":"55:1","article-title":"SZX-Calculus: Scalable Graphical Quantum Reasoning","volume-title":"44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)","volume":"138","author":"Carette"},{"key":"ref66","article-title":"When Only Topology Matters","author":"Carette","year":"2021"},{"key":"ref67","article-title":"The algebra of entanglement and the geometry of composition","volume-title":"Ph.D. dissertation","author":"Hadzihasanovic","year":"2017"},{"key":"ref68","article-title":"Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrix operations","author":"Wang","year":"2022"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.340.3"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3594671.3594687"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Boston, MA, USA","start":{"date-parts":[[2023,6,26]]},"end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175672.pdf?arnumber=10175672","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T17:36:11Z","timestamp":1710437771000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175672\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":70,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175672","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}