{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:18:06Z","timestamp":1775384286419,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319994970","type":"print"},{"value":"9783319994987","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99498-7_10","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T04:45:39Z","timestamp":1534826739000},"page":"144-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["ZX-Rules for 2-Qubit Clifford+T Quantum Circuits"],"prefix":"10.1007","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[]},{"given":"Quanlong","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,22]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 415\u2013425 (2004). arXiv:quant-ph\/0402130","DOI":"10.1109\/LICS.2004.1319636"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"093021","DOI":"10.1088\/1367-2630\/16\/9\/093021","volume":"16","author":"M Backens","year":"2014","unstructured":"Backens, M.: The ZX-calculus is complete for stabilizer quantum mechanics. New J. Phys. 16, 093021 (2014). arXiv:1307.7025","journal-title":"New J. Phys."},{"key":"10_CR3","unstructured":"Backens, M., Nabi Duman, A.: A complete graphical calculus for Spekkens\u2019 toy bit theory. Found. Phys. (2015). arXiv:1411.1618"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Backens, M.: The ZX-calculus is complete for the single-qubit Clifford+T group. In: Coecke, B., Hasuo, I., Panangaden, P. (eds.) Proceedings of the 11th workshop on Quantum Physics and Logic. Electronic Proceedings in Theoretical Computer Science, vol. 172, pp. 293\u2013303. Open Publishing Association (2014)","DOI":"10.4204\/EPTCS.172.21"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Backens, M., Perdrix, S., Wang, Q.: Towards a minimal stabilizer ZX-calculus. arXiv preprint arXiv:1709.08903 (2017)","DOI":"10.4204\/EPTCS.236.1"},{"key":"10_CR6","unstructured":"de Beaudrap, N., Horsman, D.: The ZX calculus is a language for surface code lattice surgery. arXiv preprint arXiv:1704.08670 (2017)"},{"key":"10_CR7","unstructured":"Chancellor, N., Kissinger, A., Roffe, J., Zohren, S., Horsman, D.: Graphical structures for design and verification of quantum error correction. arXiv preprint arXiv:1611.08012 (2016)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1080\/00107510903257624","volume":"51","author":"B Coecke","year":"2009","unstructured":"Coecke, B.: Quantum picturalism. Contemp. Phys. 51, 59\u201383 (2009). arXiv:0908.1787","journal-title":"Contemp. Phys."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-70583-3_25","volume-title":"Automata, Languages and Programming","author":"B Coecke","year":"2008","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 298\u2013310. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70583-3_25"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"043016","DOI":"10.1088\/1367-2630\/13\/4\/043016","volume":"13","author":"B Coecke","year":"2011","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables: categorical algebra and diagrammatics. New J. Phys. 13, 043016 (2011). arXiv:0906.4725","journal-title":"New J. Phys."},{"key":"10_CR11","unstructured":"Coecke, B., Duncan, R., Kissinger, A., Wang, Q.: Strong complementarity and non-locality in categorical quantum mechanics. In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS) (2012). arXiv:1203.4988"},{"key":"10_CR12","series-title":"Fundamental Theories of Physics","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-94-017-7303-4_10","volume-title":"Quantum Theory: Informational Foundations and Foils","author":"B Coecke","year":"2016","unstructured":"Coecke, B., Duncan, R., Kissinger, A., Wang, Q.: Generalised compositional theories and diagrammatic reasoning. In: Chiribella, G., Spekkens, R.W. (eds.) Quantum Theory: Informational Foundations and Foils. FTP, vol. 181, pp. 309\u2013366. Springer, Dordrecht (2016). https:\/\/doi.org\/10.1007\/978-94-017-7303-4_10 . arXiv:1203.4988"},{"key":"10_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317","volume-title":"Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning","author":"B Coecke","year":"2017","unstructured":"Coecke, B., Kissinger, A.: Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge (2017)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-36315-3_1","volume-title":"Reversible Computation","author":"B Coecke","year":"2013","unstructured":"Coecke, B., Duncan, R.: Tutorial: graphical calculus for quantum circuits. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 1\u201313. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36315-3_1"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Coecke, B., Wang, Q.: ZX-rules for 2-qubit Clifford+T quantum circuits. arXiv preprint arXiv:1804.05356 (2018)","DOI":"10.1007\/978-3-319-99498-7_10"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-03073-4_18","volume-title":"Mathematical Theory and Computational Practice","author":"R Duncan","year":"2009","unstructured":"Duncan, R., Perdrix, S.: Graph states and the necessity of Euler decomposition. In: Ambos-Spies, K., L\u00f6we, B., Merkle, W. (eds.) CiE 2009. LNCS, vol. 5635, pp. 167\u2013177. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03073-4_18"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-14162-1_24","volume-title":"Automata, Languages and Programming","author":"R Duncan","year":"2010","unstructured":"Duncan, R., Perdrix, S.: Rewriting measurement-based quantum computations with generalised flow. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 285\u2013296. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14162-1_24"},{"key":"10_CR18","unstructured":"Hadzihasanovic, A.: A diagrammatic axiomatisation for qubit entanglement. In: Proceedings of the 30th Annual IEEE Symposium on Logic in Computer Science (LICS) (2015). arXiv:1501.07082"},{"key":"10_CR19","unstructured":"Hadzihasanovic, A.: The algebra of entanglement and the geometry of composition. Ph.D. thesis, University of Oxford (2017)"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"095011","DOI":"10.1088\/1367-2630\/13\/9\/095011","volume":"13","author":"C Horsman","year":"2011","unstructured":"Horsman, C.: Quantum picturalism for topological cluster-state computing. New J. Phys. 13, 095011 (2011). arXiv:1101.4722","journal-title":"New J. Phys."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Jeandel, E., Perdrix, S., Vilmart, R.: A complete axiomatisation of the ZX-calculus for Clifford+ T quantum mechanics. arXiv preprint arXiv:1705.11151 (2017)","DOI":"10.1145\/3209108.3209131"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Jeandel, E., Perdrix, S., Vilmart, R.: Diagrammatic reasoning beyond Clifford+ T quantum mechanics. arXiv preprint arXiv:1801.10142 (2018)","DOI":"10.1145\/3209108.3209139"},{"issue":"1\u20132","key":"10_CR23","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s00354-016-0203-4","volume":"34","author":"A Kissinger","year":"2016","unstructured":"Kissinger, A., Quick, D.: Tensors, !-graphs, and non-commutative quantum structures. New Gener. Comput. 34(1\u20132), 87\u2013123 (2016)","journal-title":"New Gener. Comput."},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-319-21401-6_22","volume-title":"Automated Deduction - CADE-25","author":"A Kissinger","year":"2015","unstructured":"Kissinger, A., Zamdzhiev, V.: Quantomatic: a proof assistant for diagrammatic reasoning. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 326\u2013336. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_22"},{"key":"10_CR25","unstructured":"Ng, K.F., Wang, Q.: A universal completion of the ZX-calculus. arXiv preprint arXiv:1706.09877 (2017)"},{"key":"10_CR26","unstructured":"Selinger, P., Bian, X.: Relations for Clifford+T operators on two qubits (2015). Talk. https:\/\/www.mathstat.dal.ca\/~xbian\/talks\/"},{"key":"10_CR27","unstructured":"Schr\u00f6der de Witt, C., Zamdzhiev, V.: The ZX calculus is incomplete for quantum mechanics (2014). arXiv:1404.3633"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99498-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T13:24:38Z","timestamp":1571750678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99498-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319994970","9783319994987"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99498-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}