{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T22:57:07Z","timestamp":1768172227719,"version":"3.49.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,5,1]],"date-time":"2009-05-01T00:00:00Z","timestamp":1241136000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1007\/s10472-009-9141-x","type":"journal-article","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T06:33:00Z","timestamp":1246429980000},"page":"23-42","source":"Crossref","is-referenced-by-count":19,"title":["Graphical reasoning in compact closed categories for quantum computation"],"prefix":"10.1007","volume":"56","author":[{"given":"Lucas","family":"Dixon","sequence":"first","affiliation":[]},{"given":"Ross","family":"Duncan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,7,2]]},"reference":[{"key":"9141_CR1","first-page":"415","volume-title":"LICS 2004","author":"S Abramsky","year":"2004","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: LICS 2004, pp. 415\u2013425. IEEE Computer Society, Los Alamitos (2004)"},{"key":"9141_CR2","first-page":"35","volume-title":"Proceedings of the 1994 Marktoberdorf Summer School on Deductive Program Design","author":"S Abramsky","year":"1996","unstructured":"Abramsky, S., Gay, S., Nagarajan, R.: Interaction categories and the foundations of typed concurrent programming. In: Broy, M. (ed.) Proceedings of the 1994 Marktoberdorf Summer School on Deductive Program Design, pp. 35\u2013113. Springer, New York (1996)"},{"key":"9141_CR3","volume-title":"Categories, Types and Structures","author":"A Asperti","year":"1991","unstructured":"Asperti, A., Longo, G.: Categories, Types and Structures. MIT, Cambridge (1991)"},{"key":"9141_CR4","series-title":"LNAI","first-page":"1","volume-title":"Proc. of the 6th LPAR","author":"A Bundy","year":"1999","unstructured":"Bundy, A., Richardson, J.: Proofs about lists using ellipsis. In: Proc. of the 6th LPAR. LNAI, vol. 1705, pp. 1\u201312. Springer, New York (1999)"},{"key":"9141_CR5","doi-asserted-by":"crossref","unstructured":"Coecke, B.: Kindergarten Quantum Mechanics. Lecture Notes (2005)","DOI":"10.1063\/1.2158713"},{"key":"9141_CR6","doi-asserted-by":"crossref","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables. In: ICALP 2008. LNCS (2008)","DOI":"10.1007\/978-3-540-70583-3_25"},{"key":"9141_CR7","unstructured":"Coecke, B., Paquette, E.O.: POVMs and Naimark\u2019s theorem without sums. In: Proc. of the 4th International Workshop on Quantum Programming Languages (2006)"},{"key":"9141_CR8","volume-title":"The Mathematics of Quantum Computation and Technology, CRC Applied Mathematics & Nonlinear Science","author":"B Coecke","year":"2007","unstructured":"Coecke, B., Pavlovic, D.: Quantum measurements without sums. In: The Mathematics of Quantum Computation and Technology, CRC Applied Mathematics & Nonlinear Science. Taylor and Francis, London (2007)"},{"key":"9141_CR9","unstructured":"Duncan, R.: Types for quantum computation. Ph.D. thesis, Oxford University (2006)"},{"key":"9141_CR10","volume-title":"Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. EATCS Series)","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. EATCS Series). Springer, New York (2006)"},{"key":"9141_CR11","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/BFb0000107","volume-title":"Proc. of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science","author":"D Janssens","year":"1983","unstructured":"Janssens, D., Rozenberg, G.: Graph grammars with node-label controlled rewriting and embedding. In: Proc. of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, pp. 186\u2013205. Springer, New York (1983)"},{"key":"9141_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"GM Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. J. Pure Appl. Algebra 19, 193\u2013213 (1980)","journal-title":"J. Pure Appl. Algebra"},{"key":"9141_CR13","unstructured":"Kissinger, A.: Graph rewrite systems for complementary classical structures in y-symmetric monoidal categories. Master\u2019s thesis, University of Oxford (2008)"},{"key":"9141_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511615443","volume-title":"Frobenius Algebras and 2-D Topological Quantum Field Theories","author":"J Kock","year":"2003","unstructured":"Kock, J.: Frobenius Algebras and 2-D Topological Quantum Field Theories. Cambridge University Press, Cambridge (2003)"},{"key":"9141_CR15","first-page":"164","volume":"404","author":"AK Pati","year":"2000","unstructured":"Pati, A.K., Braunstein, S.L.: Impossibility of deleting an unknown quantum state. Nature 404, 164\u2013165 (2000)","journal-title":"Nature"},{"key":"9141_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"LC Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle: A Generic Theorem Prover. Springer, New York (1994)"},{"key":"9141_CR17","series-title":"LNCS","first-page":"317","volume-title":"MKM\u201904","author":"M Pollet","year":"2004","unstructured":"Pollet, M., Kerber, M.: Intuitive and formal representations: the case of matrices. In: MKM\u201904. LNCS, vol. 3119, pp. 317\u2013331. Springer, New York (2004)"},{"key":"9141_CR18","series-title":"LNCS","first-page":"97","volume-title":"FLOPS","author":"R Prince","year":"2008","unstructured":"Prince, R., Ghani, N., McBride, C.: Proving properties about lists using containers. In: FLOPS. LNCS, vol. 4989, pp. 97\u2013112. Springer, New York (2008)"},{"key":"9141_CR19","doi-asserted-by":"crossref","first-page":"5188","DOI":"10.1103\/PhysRevLett.86.5188","volume":"86","author":"R Raussendorf","year":"2001","unstructured":"Raussendorf, R., Briegel, H.J.: A one-way quantum computer. Phys. Rev. Lett. 86, 5188\u20135191 (2001)","journal-title":"Phys. Rev. Lett."},{"key":"9141_CR20","first-page":"479","volume-title":"Programmed Graph Replacement Systems","author":"A Schf\u00fcrr","year":"1997","unstructured":"Schf\u00fcrr, A.: Programmed Graph Replacement Systems, pp. 479\u2013546. World Scientific, River Edge (1997)"},{"key":"9141_CR21","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps. In: Proc. of the 3rd International Workshop on Quantum Programming Languages (2005)"},{"key":"9141_CR22","first-page":"1141","volume-title":"ICDAR \u201905: Proceedings of the Eighth International Conference on Document Analysis and Recognition","author":"AP Sexton","year":"2005","unstructured":"Sexton, A.P., Sorge, V.: Semantic analysis of matrix structures. In: ICDAR \u201905: Proceedings of the Eighth International Conference on Document Analysis and Recognition, pp. 1141\u20131145. IEEE Computer Society, Washington, DC (2005)"},{"issue":"5","key":"9141_CR23","doi-asserted-by":"crossref","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"PW Shor","year":"1997","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Sci. Statist. Comput. 26(5), 1484\u20131509 (1997)","journal-title":"SIAM J. Sci. Statist. Comput."},{"key":"9141_CR24","series-title":"LNCS","first-page":"122","volume-title":"ICGT","author":"PPP Velasco","year":"2006","unstructured":"Velasco, P.P.P., de Lara, J.: Matrix approach to graph transformation: matching and sequences. In: ICGT. LNCS, vol. 4178, pp. 122\u2013137. Springer, New York (2006)"},{"key":"9141_CR25","doi-asserted-by":"crossref","first-page":"802","DOI":"10.1038\/299802a0","volume":"299","author":"W Wootters","year":"1982","unstructured":"Wootters, W., Zurek, W.: A single quantum cannot be cloned. Nature 299, 802\u2013803 (1982)","journal-title":"Nature"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9141-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9141-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9141-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:58:13Z","timestamp":1559152693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9141-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["9141"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9141-x","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}