{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:12:12Z","timestamp":1743063132518,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211442"},{"type":"electronic","value":"9783319211459"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21145-9_9","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T10:55:04Z","timestamp":1437044104000},"page":"138-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Equational Reasoning with Context-Free Families of String Diagrams"],"prefix":"10.1007","author":[{"given":"Aleks","family":"Kissinger","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Zamdzhiev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of 19th IEEE Symposium on Logic in Computer Science (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"9_CR2","unstructured":"Backens, M.: The zx-calculus is complete for stabilizer quantum mechanics. In: Proceedings of 9th Workshop on Quantum Physics and Logic QPL 2012 (2012)"},{"key":"9_CR3","unstructured":"Baez, J.C., Erbele, J.: Categories in control (2014). arXiv:1405.6881"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: Full abstraction for signal flow graphs. In: Principles of Programming Languages POPL 2015 (2015)","DOI":"10.1145\/2676726.2676993"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1080\/00107510903257624","volume":"51","author":"B Coecke","year":"2010","unstructured":"Coecke, B.: Quantum picturalism. Contemp. Phys. 51(1), 59\u201383 (2010)","journal-title":"Contemp. Phys."},{"issue":"4","key":"9_CR6","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(4), 043016 (2011)","journal-title":"New J. Phys."},{"key":"9_CR7","doi-asserted-by":"crossref","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 (2012)","DOI":"10.1109\/LICS.2012.35"},{"issue":"11","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/j.apal.2013.05.009","volume":"164","author":"B Coecke","year":"2013","unstructured":"Coecke, B., Grefenstette, E., Sadrzadeh, M.: Lambek vs. lambek: functorial vector space semantics and string diagrams for lambek calculus. Ann. Pure Appl. Log. 164(11), 1079\u20131100 (2013)","journal-title":"Ann. Pure Appl. Log."},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-14162-1_25","volume-title":"Automata, Languages and Programming","author":"B Coecke","year":"2010","unstructured":"Coecke, B., Kissinger, A.: The compositional structure of multipartite quantum entanglement. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 297\u2013308. Springer, Heidelberg (2010)"},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1017\/S0960129512000138","volume":"23","author":"L Dixon","year":"2013","unstructured":"Dixon, L., Kissinger, A.: Open-graphs and monoidal theories. Math. Struct. Comput. Sci. 23(4), 308\u2013359 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9_CR11","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)"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: The geometry of tensor calculus, i. Adv. Math. 88(1), 55\u2013112 (1991)","journal-title":"Adv. Math."},{"key":"9_CR13","unstructured":"Kissinger, A., Merry, A., Soloviev, M.: Pattern graph rewrite systems. In: 8th International Workshop on Developments in Computational Models (2012)"},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Kissinger, A., Zamdzhiev, V.: !-graphs with trivial overlap are context-free. In: Rensink, A., Zambon, E. (eds.) Proceedings Graphs as Models, GaM 2015, London, UK, 11-12 April 2015, vol. 181. pp. 16\u201331 (2015). doi:10.4204\/EPTCS.181.2","DOI":"10.4204\/EPTCS.181.2"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Kissinger, A., Zamdzhiev, V.: Quantomatic: a proof assistant for diagrammatic reasoning (2015). arXiv:1503.01034","DOI":"10.1007\/978-3-319-21401-6_22"},{"issue":"6","key":"9_CR16","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"TW Pratt","year":"1971","unstructured":"Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. J. Comput. Syst. Sci. 5(6), 560\u2013595 (1971)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR17","doi-asserted-by":"publisher","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"G Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1997)"},{"issue":"1\u20133","key":"9_CR18","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/S0019-9958(86)80045-6","volume":"69","author":"G Rozenberg","year":"1986","unstructured":"Rozenberg, G., Welzl, E.: Boundary NLC graph grammars-basic definitions, normal forms, and complexity. Inf. Control 69(1\u20133), 136\u2013167 (1986)","journal-title":"Inf. Control"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) GTTCCS. LNCS. Springer, Heidelberg (1995)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1007\/978-3-642-15375-4_38","volume-title":"CONCUR 2010 - Concurrency Theory","author":"P Soboci\u0144ski","year":"2010","unstructured":"Soboci\u0144ski, P.: Representations of petri net interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 554\u2013568. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21145-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T17:30:00Z","timestamp":1675272600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21145-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211442","9783319211459"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21145-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}