{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T12:06:34Z","timestamp":1769601994714,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642390524","type":"print"},{"value":"9783642390531","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_6","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T04:28:12Z","timestamp":1370233692000},"page":"45-54","source":"Crossref","is-referenced-by-count":1,"title":["Beyond Rogers\u2019 Non-constructively Computable Function"],"prefix":"10.1007","author":[{"given":"John","family":"Case","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Ralston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw Hill, New York (1967); Reprinted. MIT Press (1987)"},{"key":"6_CR2","unstructured":"Brouwer, L., In van Dalen, D. (eds.): Brouwer\u2019s Cambridge Lectures on Intuitionism. Cambridge University Press (1981)"},{"key":"6_CR3","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"2009","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 5th edn. Chapman & Hall, London (2009)","edition":"5"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"331","DOI":"10.2307\/2964292","volume":"23","author":"H. Rogers","year":"1958","unstructured":"Rogers, H.: G\u00f6del numberings of partial recursive functions. Journal of Symbolic Logic\u00a023, 331\u2013341 (1958)","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR5","volume-title":"An Introduction to the General Theory of Algorithms","author":"M. Machtey","year":"1978","unstructured":"Machtey, M., Young, P.: An Introduction to the General Theory of Algorithms. North Holland, New York (1978)"},{"key":"6_CR6","unstructured":"Riccardi, G.: The Independence of Control Structures in Abstract Programming Systems. PhD thesis, SUNY Buffalo (1980)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0022-0000(81)90024-6","volume":"22","author":"G. Riccardi","year":"1981","unstructured":"Riccardi, G.: The independence of control structures in abstract programming systems. Journal of Computer and System Sciences\u00a022, 107\u2013143 (1981)","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18253-5","volume-title":"A Connotational Theory of Program Structure","author":"J.S. Royer","year":"1987","unstructured":"Royer, J.S.: A Connotational Theory of Program Structure. LNCS, vol.\u00a0273. Springer, Heidelberg (1987)"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S. Feferman","year":"1960","unstructured":"Feferman, S.: Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae\u00a049, 35\u201392 (1960)","journal-title":"Fundamenta Mathematicae"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1090\/S0002-9947-1965-0170805-7","volume":"117","author":"J. Hartmanis","year":"1965","unstructured":"Hartmanis, J., Stearns, R.: On the computational complexity of algorithms. Transactions of the American Mathematical Society\u00a0117, 285\u2013306 (1965)","journal-title":"Transactions of the American Mathematical Society"},{"key":"6_CR11","unstructured":"Royer, J., Case, J.: Subrecursive Programming Systems: Complexity and Succinctness. Research monograph in Progress in Theoretical Computer Science. Birkh\u00e4user, Boston (1994), \n                  \n                    www.cis.udel.edu\/~case\/RC94Errata.pdf\n                  \n                  \n                 (errata)"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T16:18:12Z","timestamp":1557764292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}