{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:25:45Z","timestamp":1725549945315},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291008"},{"type":"electronic","value":"9783540320227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560319_23","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:55:16Z","timestamp":1127832916000},"page":"251-266","source":"Crossref","is-referenced-by-count":0,"title":["On Counterfactual Computation"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Zuliani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"23_CR1","doi-asserted-by":"publisher","first-page":"987","DOI":"10.1007\/BF00736012","volume":"32","author":"A.C. Elitzur","year":"1993","unstructured":"Elitzur, A.C., Vaidman, L.: Quantum mechanical interaction-free measurements. Foundations of Physics\u00a032(7), 987\u2013997 (1993)","journal-title":"Foundations of Physics"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the 28th Annual symposium on the theory of Computing, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"H. Jifeng","year":"1997","unstructured":"Jifeng, H., McIver, A., Seidel, K.: Probabilistic models for the guarded command language. Science of Computer Programming\u00a028, 171\u2013192 (1997)","journal-title":"Science of Computer Programming"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-49208-9_7","volume-title":"Quantum Computing and Quantum Communications","author":"R. Jozsa","year":"1999","unstructured":"Jozsa, R.: Quantum effects in algorithms. In: Williams, C.P. (ed.) QCQC 1998. LNCS, vol.\u00a01509, pp. 103\u2013112. Springer, Heidelberg (1999)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1098\/rspa.2000.0714","volume":"457","author":"G. Mitchison","year":"2001","unstructured":"Mitchison, G., Jozsa, R.: Counterfactual computation. Proceedings of the Royal Society of London, A\u00a0457, 1175\u20131193 (2001)","journal-title":"Proceedings of the Royal Society of London, A"},{"issue":"3","key":"23_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/229542.229547","volume":"18","author":"C. Morgan","year":"1996","unstructured":"Morgan, C., McIver, A., Seidel, K.: Probabilistic predicate transformers. ACM Transactions on Programming Languages and Systems\u00a018(3), 325\u2013353 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/10722010_6","volume-title":"Mathematics of Program Construction","author":"J.W. Sanders","year":"2000","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 80\u201399. Springer, Heidelberg (2000)"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1103\/PhysRevA.58.605","volume":"58","author":"G.A. White","year":"1998","unstructured":"White, G.A., Mitchell, F.R., Nairz, O., Kwiat, P.: Interaction-free imaging. Physical Review A\u00a058, 605\u2013613 (1998)","journal-title":"Physical Review A"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Zuliani, P.: Compiling quantum programs. To appear in Acta Informatica (2005)","DOI":"10.1007\/s00236-005-0165-3"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560319_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:07Z","timestamp":1605642607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560319_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291008","9783540320227"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11560319_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}