{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:24Z","timestamp":1742600424078,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609223"},{"type":"electronic","value":"9783540497233"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","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":[[1996]]},"DOI":"10.1007\/3-540-60922-9_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:04:09Z","timestamp":1330290249000},"page":"281-292","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A decision procedure for well-formed linear quantum cellular automata"],"prefix":"10.1007","author":[{"given":"Christoph","family":"D\u00fcrr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huong","family":"L\u00ea Thanh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miklos","family":"Santha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1016\/S0022-0000(72)80013-8","volume":"6","author":"S. Amoroso","year":"1972","unstructured":"S. Amoroso and Y. Patt, Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures, Journal of Computer and System Sciences 6, 448\u2013464, 1972.","journal-title":"Journal of Computer and System Sciences"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"A. Berthiaume and G. Brassard, The Quantum Challenge to Structural Complexity Theory, Proceeding of the 7th IEEE Conference on Structure in Complexity Theory, 132\u2013137, 1992.","DOI":"10.1109\/SCT.1992.215388"},{"issue":"1","key":"24_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1090\/qam\/102435","volume":"16","author":"R. Bellman","year":"1958","unstructured":"R. Bellman, On a routing problem, Quarterly of Applied Mathematics, 16(1):87\u201390, 1958.","journal-title":"Quarterly of Applied Mathematics"},{"key":"24_CR4","unstructured":"M. Biafore, Can Computers Have Simple Hamiltonians? MIT Physics of Computation Seminar ftp:\/\/im.lcs.mit.edu\/poc\/biafore, 1994."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"E. Bernstein and U. Vazirani, Quantum complexity theory, Proceeding of the 25th ACM Symposium on the Theory of Computing, 11\u201320, 1993.","DOI":"10.1145\/167088.167097"},{"key":"24_CR6","unstructured":"T. Cormen, C. Leiserson and R. Rivest, Introduction to Algorithms, The MIT Press, 1990."},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"A400","author":"D. Deutsch","year":"1985","unstructured":"D. Deutsch, Quantum theory, the Church-Turing principle and the universal quantum computer, Proceeding of the Royal Society of London, A400:97\u2013117, 1985.","journal-title":"Proceeding of the Royal Society of London"},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1098\/rspa.1992.0167","volume":"A439","author":"D. Deutsch","year":"1992","unstructured":"D. Deutsch and R. Jozsa, Rapid solution of problems by quantum computation, Proceeding of the Royal Society of London, A439:553\u2013558, 1992.","journal-title":"Proceeding of the Royal Society of London"},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R. Feynman","year":"1982","unstructured":"R. Feynman, Simulating physics with computers, International Journal of Theoretical Physics 21 467\u2013488, 1982.","journal-title":"International Journal of Theoretical Physics"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/BF01886518","volume":"16","author":"R. Feynman","year":"1986","unstructured":"R. Feynman, Quantum Mechanical Computers, Foundations of Physics 16, 507, 1986.","journal-title":"Foundations of Physics"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"L. Ford and D. Fulkerson, Flows in Networks, Princeton University Press, 1962.","DOI":"10.1515\/9781400875184"},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1098\/rspa.1991.0161","volume":"A435","author":"R. Jozsa","year":"1991","unstructured":"R. Jozsa, Characterizing classes of functions computable by quantum parallelism, Proceeding of the Royal Society of London, A435:563\u2013574, 1991.","journal-title":"Proceeding of the Royal Society of London"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"1569","DOI":"10.1126\/science.261.5128.1569","volume":"261","author":"S. Lloyd","year":"1993","unstructured":"S. Lloyd, A potentially realizable Quantum Computer, Science 261, 1569\u20131571, 1993.","journal-title":"Science"},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1126\/science.263.5147.695","volume":"263","author":"S. Lloyd","year":"1994","unstructured":"S. Lloyd, Envisioning a Quantum Supercomputer, Science 263, 695, 1994.","journal-title":"Science"},{"key":"24_CR15","unstructured":"N. Margolus, Parallel Quantum Computation, MIT Physics of Computation Seminar ftp:\/\/im.lcs.mit.edu\/poc\/margyolus, 1994."},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"D. Simon, On the Power of Quantum Computation, Proceeding of the 34th IEEE Symposium on Foundations of Computer Science, 116\u2013123, 1994.","DOI":"10.1109\/SFCS.1994.365701"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"P. Shor, Algorithms for Quantum Computation: Discrete Log and Factoring Proceeding of the 26th ACM Symposium on the Theory of Computing, 124\u2013134, 1994","DOI":"10.1109\/SFCS.1994.365700"},{"key":"24_CR18","first-page":"19","volume":"5","author":"K. Sutner","year":"1991","unstructured":"K. Sutner, De Bruijn graphs and cellular automata, Complex Systems, 5:19\u201330, 1991.","journal-title":"Complex Systems"},{"issue":"2","key":"24_CR19","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"R. Tarjan, Depth first search and linear graph algorithms, SIAM Journal on Computing, 1(2):146\u2013160, 1972.","journal-title":"SIAM Journal on Computing"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"J. Watrous, On one dimensional quantum cellular automata, Proceeding of the 36th IEEE Symposium on Foundations of Computer Science, 528\u2013537, 1995.","DOI":"10.1109\/SFCS.1995.492583"},{"key":"24_CR21","unstructured":"A. Yao, Quantum circuit complexity, Proceeding of the 34th IEEE Symposium on Foundations of Computer Science, 352\u2013361, 1993."}],"container-title":["Lecture Notes in Computer Science","STACS 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60922-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:42Z","timestamp":1742598642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60922-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609223","9783540497233"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60922-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}