{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,2]],"date-time":"2024-08-02T08:34:02Z","timestamp":1722587642730},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,4,30]],"date-time":"2011-04-30T00:00:00Z","timestamp":1304121600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s11128-011-0241-2","type":"journal-article","created":{"date-parts":[[2011,4,29]],"date-time":"2011-04-29T17:24:21Z","timestamp":1304097861000},"page":"189-209","source":"Crossref","is-referenced-by-count":2,"title":["A quantum production model"],"prefix":"10.1007","volume":"11","author":[{"given":"Lu\u00eds","family":"Tarrataca","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Wichert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,4,30]]},"reference":[{"key":"241_CR1","volume-title":"Handbook of Computability Theory","author":"S.S.A. Abramsky","year":"1999","unstructured":"Abramsky S.S.A., Shore R., Troelstra A.: Handbook of Computability Theory. Elsevier, Amsterdam (1999)"},{"key":"241_CR2","volume-title":"The Architecture of Cognition","author":"J.R. Anderson","year":"1983","unstructured":"Anderson J.R.: The Architecture of Cognition. Harvard University Press, Cambridge, Massachusetts, USA (1983)"},{"key":"241_CR3","volume-title":"Cognitive Psychology and its Implications","author":"J.R. Anderson","year":"1995","unstructured":"Anderson J.R.: Cognitive Psychology and its Implications, 4th edn. W. H. Freeman and Company, NY, USA (1995)","edition":"4"},{"key":"241_CR4","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C. Bennett","year":"1973","unstructured":"Bennett C.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525\u2013532 (1973)","journal-title":"IBM J. Res. Dev."},{"key":"241_CR5","unstructured":"Bennett, C.H., Bernstein, E., Brassard, G., Vazirani, U.: Strengths and weaknesses of quantum computing (1997). http:\/\/www.citebase.org\/abstract?id=oai:arXiv.org:quant-ph\/9701001"},{"key":"241_CR6","doi-asserted-by":"crossref","unstructured":"Bernstein, E., Vazirani, U.: Quantum complexity theory. In: STOC \u201993: Proceedings of the Twenty-fifth Annual ACM Symposium on Theory of Computing, pp. 11\u201320. ACM, New York, NY, USA (1993). doi: 10.1145\/167088.167097","DOI":"10.1145\/167088.167097"},{"key":"241_CR7","unstructured":"Bourbaki, N.: Elements of Mathematics: Theory of Sets. No. vol. 1 in Elements of Mathematics. Springer, Berlin (2004). http:\/\/books.google.pt\/books?id=IL-SI67hjI4C"},{"key":"241_CR8","doi-asserted-by":"crossref","unstructured":"Choi, B., Korepin, V.: Quantum partial search of a database with several target items. ArXiv Quantum Physics e-prints (2006)","DOI":"10.1007\/s11128-007-0056-3"},{"issue":"15","key":"241_CR9","doi-asserted-by":"crossref","first-page":"3408","DOI":"10.1103\/PhysRevLett.80.3408","volume":"80","author":"I.L. Chuang","year":"1998","unstructured":"Chuang I.L., Gershenfeld N., Kubinec M.: Experimental implementation of fast quantum searching. Phys. Rev. Lett. 80(15), 3408\u20133411 (1998). doi: 10.1103\/PhysRevLett.80.3408","journal-title":"Phys. Rev. Lett."},{"key":"241_CR10","volume-title":"The Calculi of Lambda-Conversion. Annals of Mathematics Studies","author":"A. Church","year":"1941","unstructured":"Church A.: The Calculi of Lambda-Conversion. Annals of Mathematics Studies. Princeton University Press, Princeton, NJ (1941)"},{"key":"241_CR11","volume-title":"The Universal Computer: The Road from Leibniz to Turing","author":"M. Davis","year":"2000","unstructured":"Davis M.: The Universal Computer: The Road from Leibniz to Turing. Norton, NY (2000)"},{"key":"241_CR12","volume-title":"Engines of Logic: Mathematicians and the Origin of the Computer","author":"M. Davis","year":"2001","unstructured":"Davis M.: Engines of Logic: Mathematicians and the Origin of the Computer. Norton, NY (2001)"},{"key":"241_CR13","doi-asserted-by":"crossref","unstructured":"Deutsch, D.: Quantum theory, the church-turing principle and the universal quantum computer. In: Proceedings of the Royal Society of London- Series A, Mathematical and Physical Sciences, vol. 400, pp. 97\u2013117 (1985)","DOI":"10.1098\/rspa.1985.0070"},{"key":"241_CR14","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1098\/rspa.1992.0167","volume":"439","author":"D. Deutsch","year":"1992","unstructured":"Deutsch D., Jozsa R.: Rapid solution of problems by quantum computation. Royal Soc. Lond. Proc. Ser. A 439, 553\u2013558 (1992)","journal-title":"Royal Soc. Lond. Proc. Ser. A"},{"key":"241_CR15","doi-asserted-by":"crossref","unstructured":"Dirac, P.A.M.: A new notation for quantum mechanics. In: Proceedings of the Cambridge Philosophical Society, vol. 35, pp. 416\u2013418 (1939)","DOI":"10.1017\/S0305004100021162"},{"key":"241_CR16","unstructured":"Dirac, P.A.M.: The Principles of Quantum Mechanics\u2014Volume 27 of International Series of Monographs on Physics (Oxford, England) Oxford science publications. Oxford University Press (1981)"},{"key":"241_CR17","volume-title":"GPS: A Case Study in Generality and Problem Solving","author":"G. Ernst","year":"1969","unstructured":"Ernst G., Newell A.: GPS: A Case Study in Generality and Problem Solving. Academic Press, New York (1969)"},{"key":"241_CR18","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: STOC \u201996: Proceedings of the Twenty-eighth Annual ACM Symposium on Theory of Computing, pp. 212\u2013219. ACM, New York, NY, USA (1996). doi: 10.1145\/237814.237866","DOI":"10.1145\/237814.237866"},{"key":"241_CR19","unstructured":"Grover, L.K., Radhakrishnan, J.: Is partial quantum search of a database any easier? (2004). http:\/\/www.citebase.org\/abstract?id=oai:arXiv.org:quant-ph\/0407122"},{"key":"241_CR20","doi-asserted-by":"crossref","unstructured":"Gusfield, D.: Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology. Cambridge University Press, Cambridge (1997). http:\/\/books.google.pt\/books?id=STGlsyqtjYMC","DOI":"10.1017\/CBO9780511574931"},{"key":"241_CR21","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s11128-005-0004-z","volume":"5","author":"V. Korepin","year":"2006","unstructured":"Korepin V., Grover L.: Simple Algorithm for Partial Quantum Search. Quantum Inf. Process. 5, 5\u201310 (2006). doi: 10.1007\/s11128-005-0004-z","journal-title":"Quantum Inf. Process."},{"key":"241_CR22","doi-asserted-by":"crossref","first-page":"5187","DOI":"10.1142\/S0217979207038344","volume":"21","author":"V.E. Korepin","year":"2007","unstructured":"Korepin V.E., Xu Y.: Hierarchical quantum search. Int. J. Mod. Phys. B 21, 5187\u20135205 (2007). doi: 10.1142\/S0217979207038344","journal-title":"Int. J. Mod. Phys. B"},{"issue":"1","key":"241_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"Laird J.E., Newell A., Rosenbloom P.S.: Soar: an architecture for general intelligence. Artif. Intell. 33(1), 1\u201364 (1987)","journal-title":"Artif. Intell."},{"issue":"1","key":"241_CR24","first-page":"11","volume":"1","author":"J.E. Laird","year":"1986","unstructured":"Laird J.E., Rosenbloom P.S., Newell A.: Chunking in soar: the anatomy of a general learning mechanism. Mach. Learn. 1(1), 11\u201346 (1986)","journal-title":"Mach. Learn."},{"key":"241_CR25","volume-title":"Artificial Intelligence: Structures and Strategies for Complex Problem Solving","author":"G.F. Luger","year":"1993","unstructured":"Luger G.F., Stubblefield W.A.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 2nd edn. The Benjamin\/Cummings Publishing Company, Inc, Menlo Park, CA (1993)","edition":"2"},{"key":"241_CR26","volume-title":"Logic and Computer Design Fundamentals","author":"M. Mano","year":"2002","unstructured":"Mano M., Kime C.R.: Logic and Computer Design Fundamentals, 2nd edn. Prentice Hall, Englewood Cliffs, NJ (2002)","edition":"2"},{"key":"241_CR27","volume-title":"The Theory of Algorithms","author":"A. Markov","year":"1954","unstructured":"Markov A.: The Theory of Algorithms. National Academy of Sciences, USSR (1954)"},{"key":"241_CR28","unstructured":"Newell, A.: A Guide to the General Problem-solver Program gps-2-2. Tech. Rep. RM-3337-PR, RAND Corporation, Santa Monica, CA, USA (1963)"},{"key":"241_CR29","unstructured":"Newell, A., Shaw, J., Simon, H.A.: Report on a general problem-solving program. In: Proceedings of the International Conference on Information Processing, pp. 256\u2013264 (1959)"},{"key":"241_CR30","volume-title":"Human Problem Solving","author":"A. Newell","year":"1972","unstructured":"Newell A., Simon H.A.: Human Problem Solving, 1st edn. Prentice Hall, Englewood Cliffs, NJ (1972)","edition":"1"},{"key":"241_CR31","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen M.A., Chuang I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"241_CR32","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","volume":"65","author":"E. Post","year":"1943","unstructured":"Post E.: Formal reductions of the general combinatorial problem. Am. J. Math. 65, 197\u2013268 (1943)","journal-title":"Am. J. Math."},{"key":"241_CR33","doi-asserted-by":"crossref","unstructured":"Shor, P.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th Annual Symposium on Foundations of Computer Science, pp. 124\u2013134 (1994). doi: 10.1109\/SFCS.1994.365700","DOI":"10.1109\/SFCS.1994.365700"},{"key":"241_CR34","doi-asserted-by":"crossref","unstructured":"Tarrataca, L., Wichert, A.: Tree search and quantum computation. Quantum Inf. Process., 1\u201326 (2010). doi: 10.1007\/s11128-010-0212-z","DOI":"10.1007\/s11128-010-0212-z"},{"key":"241_CR35","doi-asserted-by":"crossref","unstructured":"Tarrataca, L., Wichert, A.: Can quantum entanglement detection schemes improve search? Quantum Inf. Process., 1\u20138 (2011). doi: 10.1007\/s11128-011-0231-4","DOI":"10.1007\/s11128-011-0231-4"},{"key":"241_CR36","doi-asserted-by":"crossref","unstructured":"Toffoli, T.: Reversible computing. In: Proceedings of the 7th Colloquium on Automata, Languages and Programming, pp. 632\u2013644. Springer, London, UK (1980)","DOI":"10.1007\/3-540-10003-2_104"},{"key":"241_CR37","doi-asserted-by":"crossref","unstructured":"Toffoli, T.: Reversible Computing. Tech. rep., Laboratory for Computer Science, Massschusetts Institute of Technology, MA (1980)","DOI":"10.21236\/ADA082021"},{"key":"241_CR38","doi-asserted-by":"crossref","unstructured":"Turing, A.: On computable numbers, with an application to the entscheidungsproblem. In: Proceedings of the London Mathematical Society, vol.2, pp. 260\u2013265 (1936)","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"241_CR39","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A. Turing","year":"1950","unstructured":"Turing A.: Computing machinery and intelligence. Mind 59, 433\u2013460 (1950)","journal-title":"Mind"},{"key":"241_CR40","volume-title":"Artificial Intelligence","author":"P.H. Winston","year":"1992","unstructured":"Winston P.H.: Artificial Intelligence, 3rd edn. Addison-Wesley, Reading, MA (1992)","edition":"3"},{"key":"241_CR41","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.artint.2009.11.009","volume":"174","author":"M. Ying","year":"2010","unstructured":"Ying M.: Quantum computation, quantum theory and ai. Artif. Intell. 174, 162\u2013176 (2010)","journal-title":"Artif. Intell."}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-011-0241-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11128-011-0241-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-011-0241-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T11:25:32Z","timestamp":1560165932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11128-011-0241-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,30]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["241"],"URL":"https:\/\/doi.org\/10.1007\/s11128-011-0241-2","relation":{},"ISSN":["1570-0755","1573-1332"],"issn-type":[{"value":"1570-0755","type":"print"},{"value":"1573-1332","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,30]]}}}