{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T16:26:22Z","timestamp":1750436782371},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705888"},{"type":"electronic","value":"9783540705901"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70590-1_16","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"232-245","source":"Crossref","is-referenced-by-count":1,"title":["Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks"],"prefix":"10.1007","author":[{"given":"Yves","family":"Lafont","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Rannou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0304-3975(93)90054-W","volume":"115","author":"A. Burroni","year":"1993","unstructured":"Burroni, A.: Higher-dimensional word problems with applications to equational logic. Theoretical Computer Science\u00a0115, 43\u201362 (1993)","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","unstructured":"Crans, A.S.: Higher linear algebra. In: n-Categories: Foundations and Applications (2004)"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.jpaa.2005.10.011","volume":"207","author":"Y. Guiraud","year":"2006","unstructured":"Guiraud, Y.: Termination orders for 3-dimensional rewriting. Journal of Pure and Applied Algebra\u00a0207(2), 341\u2013371 (2006)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"1\u20132","key":"16_CR4","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.apal.2005.12.012","volume":"141","author":"Y. Guiraud","year":"2006","unstructured":"Guiraud, Y.: The three dimensions of proofs. Annals of Pure and Applied Logic\u00a0141(1\u20132), 266\u2013295 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0022-4049(03)00069-0","volume":"184","author":"Y. Lafont","year":"2003","unstructured":"Lafont, Y.: Towards an algebraic theory of boolean circuits. Journal of Pure and Applied Algebra\u00a0184, 257\u2013310 (2003)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10485-007-9083-6","volume":"15","author":"Y. Lafont","year":"2007","unstructured":"Lafont, Y.: Algebra and geometry of rewriting. Applied Categorical Structures\u00a015, 415\u2013437 (2007)","journal-title":"Applied Categorical Structures"},{"key":"16_CR7","unstructured":"Rannou, P.: Th\u00e9orie alg\u00e9brique des circuits quantiques, circuits orthogonaux, et circuits param\u00e9triques. Master thesis (2007)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(76)90013-X","volume":"8","author":"R. Street","year":"1976","unstructured":"Street, R.: Limits indexed by category-valued 2-functors. Journal of Pure and Applied Algebra\u00a08, 149\u2013181 (1976)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF00872948","volume":"3","author":"R. Street","year":"1995","unstructured":"Street, R.: Higher categories, strings, cubes and simplex equations. Applied Categorical Structures\u00a03, 29\u201377 & 303 (1995)","journal-title":"Applied Categorical Structures"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70590-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:23:51Z","timestamp":1620015831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70590-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705888","9783540705901"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70590-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}