{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:04:21Z","timestamp":1725728661865},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390524"},{"type":"electronic","value":"9783642390531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_45","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T00:28:12Z","timestamp":1370219292000},"page":"383-392","source":"Crossref","is-referenced-by-count":3,"title":["Computing Game Strategies"],"prefix":"10.1007","author":[{"given":"Darko","family":"Stefanovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milan N.","family":"Stojanovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","first-page":"129","volume-title":"Science Survey, part 2","author":"D. Michie","year":"1961","unstructured":"Michie, D.: Trial and error. In: Science Survey, part 2, pp. 129\u2013145. Penguin, Harmondsworth (1961)"},{"issue":"22","key":"45_CR2","doi-asserted-by":"publisher","first-page":"6673","DOI":"10.1021\/ja0296632","volume":"125","author":"M.N. Stojanovic","year":"2003","unstructured":"Stojanovic, M.N., Stefanovic, D.: Deoxyribozyme-based half adder. Journal of the American Chemical Society\u00a0125(22), 6673\u20136676 (2003)","journal-title":"Journal of the American Chemical Society"},{"issue":"4","key":"45_CR3","doi-asserted-by":"publisher","first-page":"1194","DOI":"10.1021\/bi051871u","volume":"45","author":"H. Lederman","year":"2006","unstructured":"Lederman, H., Macdonald, J., Stefanovic, D., Stojanovic, M.N.: Deoxyribozyme-based three-input logic gates and construction of a molecular full adder. Biochemistry\u00a045(4), 1194\u20131199 (2006)","journal-title":"Biochemistry"},{"issue":"9","key":"45_CR4","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1038\/nbt862","volume":"21","author":"M.N. Stojanovic","year":"2003","unstructured":"Stojanovic, M.N., Stefanovic, D.: A deoxyribozyme-based molecular automaton. Nature Biotechnology\u00a021(9), 1069\u20131074 (2003)","journal-title":"Nature Biotechnology"},{"issue":"11","key":"45_CR5","doi-asserted-by":"publisher","first-page":"2598","DOI":"10.1021\/nl0620684","volume":"6","author":"J. Macdonald","year":"2006","unstructured":"Macdonald, J., Li, Y., Sutovic, M., Lederman, H., Pendri, K., Lu, W., Andrews, B.L., Stefanovic, D., Stojanovic, M.N.: Medium scale integration of molecular logic gates in an automaton. Nano Letters\u00a06(11), 2598\u20132603 (2006)","journal-title":"Nano Letters"},{"key":"45_CR6","doi-asserted-by":"publisher","first-page":"1196","DOI":"10.1126\/science.1200520","volume":"332","author":"L. Qian","year":"2011","unstructured":"Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science\u00a0332, 1196\u20131201 (2011)","journal-title":"Science"},{"key":"45_CR7","unstructured":"Andrews, B.: Games, strategies, and boolean formula manipulation. Master\u2019s thesis, University of New Mexico (December 2005)"},{"key":"45_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/1074-5521(94)90014-0","volume":"1","author":"R.R. Breaker","year":"1994","unstructured":"Breaker, R.R., Joyce, G.F.: A DNA enzyme that cleaves RNA. Chemistry and Biology\u00a01, 223\u2013229 (1994)","journal-title":"Chemistry and Biology"},{"issue":"14","key":"45_CR9","doi-asserted-by":"publisher","first-page":"3555","DOI":"10.1021\/ja016756v","volume":"124","author":"M.N. Stojanovic","year":"2002","unstructured":"Stojanovic, M.N., Mitchell, T.E., Stefanovic, D.: Deoxyribozyme-based logic gates. Journal of the American Chemical Society\u00a0124(14), 3555\u20133561 (2002)","journal-title":"Journal of the American Chemical Society"},{"key":"45_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:23:43Z","timestamp":1557750223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}