{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:48Z","timestamp":1725663168566},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"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":[[1988]]},"DOI":"10.1007\/3-540-50241-6_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:18:45Z","timestamp":1330183125000},"page":"289-303","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On functions computable in nondeterministic polynomial time: Some characterizations"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Spreen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF02025120","volume":"16","author":"B. Buchberger","year":"1974","unstructured":"Buchberger, B. (1974). On certain decompositions of G\u00f6del numberings. Archiv f. math. Logik u. Grundlagenforsch.\n16, p. 85\u201396.","journal-title":"Archiv f. math. Logik u. Grundlagenforsch."},{"key":"21_CR2","first-page":"24","volume-title":"Logic, Methodology and Philosophy of Science","author":"A. Cobham","year":"1965","unstructured":"Cobham, A. (1965). The intrinsic computational difficulty of functions. Logic, Methodology and Philosophy of Science (Bar-Hillel, Y., ed.), p. 24\u201330. North-Holland, Amsterdam."},{"key":"21_CR3","volume-title":"Recursiveness","author":"S. Eilenberg","year":"1970","unstructured":"Eilenberg, S. and C. C. Elgot (1970). Recursiveness. Academic Press, New York."},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1007\/BF01565439","volume":"112","author":"S. C. Kleene","year":"1936","unstructured":"Kleene, S. C. (1936). General recursive functions of natural numbers. Math. Ann.\n112, p. 727\u2013742.","journal-title":"Math. Ann."},{"key":"21_CR5","first-page":"427","volume":"138","author":"Y. N. Moschovakis","year":"1969","unstructured":"Moschovakis, Y. N. (1969). Abstract first order computability. I. Transact. Amer. Math. Soc.\n138, p. 427\u2013464.","journal-title":"Transact. Amer. Math. Soc."},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1090\/S0002-9939-1950-0038912-1","volume":"1","author":"J. Robinson","year":"1950","unstructured":"Robinson, J. (1950). General recursive functions. Proc. Amer. Math. Soc.\n1, p. 703\u2013718.","journal-title":"Proc. Amer. Math. Soc."},{"key":"21_CR7","first-page":"403","volume-title":"Computation and Logic","author":"D. Spreen","year":"1987","unstructured":"Spreen, D. and H. Stahl (1987). On the power of single-valued nondeterministic polynomial time computations. Computation and Logic (B\u00f6rger, E., ed.), p. 403\u2013414. Lec. Notes Comp. Sci. 270. Springer-Verlag, Berlin."},{"key":"21_CR8","unstructured":"Weihrauch, K.(1973). Teilklassen primitiv-rekursiver Wortfunktionen. Bericht Nr. 91, Gesellschaft f. Mathematik u. Datenverarbeitung, St. Augustin."}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:11:14Z","timestamp":1558253474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}