{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:17:42Z","timestamp":1762100262415,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/lics.2004.1319635","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"410-414","source":"Crossref","is-referenced-by-count":17,"title":["High-level methods for quantum computation and information"],"prefix":"10.1109","author":[{"given":"S.","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1998.0167"},{"key":"17","article-title":"Mathematische Grundlagen der Quantenmechanik","author":"von neumann","year":"1955","journal-title":"English Translation Mathematical Foundations of Quantum Mechanics"},{"journal-title":"Quantum Computation and Quantum Information","year":"2000","author":"nielsen","key":"18"},{"key":"15","first-page":"13","article-title":"Circuit design in Ruby","author":"jones","year":"1993","journal-title":"Formal Methods for VLSI Design"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90101-2"},{"key":"13","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1038\/46503","article-title":"Quantum teleportation is a universal computational primitive","volume":"402","author":"gottesman","year":"1999","journal-title":"Nature"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.79.325"},{"year":"2004","author":"duncan","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.67.661"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749909005699"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1002\/3527603549.ch3"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1996.548464"},{"journal-title":"Quantum Computation Categorical Semantics and Linear Logic","year":"0","author":"van tonder","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1038\/299802a0"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.71.4287"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2004.1319636"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)80556-5","article-title":"Physical traces: Classical vs. quantum information processing","volume":"69","author":"abramsky","year":"2003","journal-title":"Electronic Notes Theoret Comput Sci"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06880-0_13"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(98)00106-6"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199269693.003.0008"},{"key":"4","first-page":"35","article-title":"Interaction categories and foundations of typed concurrent programming","author":"abramsky","year":"1995","journal-title":"Deductive Program Design Proceedings of the 1994 Marktoberdorf International Summer School"},{"journal-title":"The Logic of Entanglement An Invitation","year":"0","author":"coecke","key":"9"},{"journal-title":"The Physics of Quantum Information","year":"2001","author":"bouwmeester","key":"8"}],"event":{"name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","start":{"date-parts":[[2004,7,17]]},"location":"Turku, Finland","end":{"date-parts":[[2004,7,17]]}},"container-title":["Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/01319635.pdf?arnumber=1319635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:53:02Z","timestamp":1497599582000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319635\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/lics.2004.1319635","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}