{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:26Z","timestamp":1725456146455},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022266","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"324-338","source":"Crossref","is-referenced-by-count":4,"title":["Subrecursion as a basis for a feasible programming language"],"prefix":"10.1007","author":[{"given":"Paul J.","family":"Voda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"24_CR1","unstructured":"P. Borovansky, P. J. Voda. Types as Values Polymorphism. In proceedings of SOF-SEM conference 1993."},{"key":"24_CR2","first-page":"24","volume-title":"The intrinsic computational difficulty of functions","author":"A. Cobham","year":"1965","unstructured":"A. Cobham. The intrinsic computational difficulty of functions. In Proc. Int. Conf. Logic, Meth. Phil.(ed Y. Bar Hillel), 24\u201330, North Holland, Amsterdam, 1965."},{"key":"24_CR3","volume-title":"Computability and Unsolvability","author":"M. Davis","year":"1958","unstructured":"M. Davis. Computability and Unsolvability, McGraw Hill, New York. 1958."},{"key":"24_CR4","unstructured":"R. L. Graham, D. F. Knuth, O. Patashnik. Concrete mathematics. Addison-Wesley 1989."},{"key":"24_CR5","unstructured":"A. Grzegorczyk. Some classes of recursive functions. Rozprawy Mate. No. IV, Warsaw 1953."},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1090\/S0002-9947-1963-0158822-2","volume":"106","author":"R.W. Ritchie","year":"1963","unstructured":"R.W. Ritchie, Classes of predictably computable functions. Trans. Am. Math. Soc. (106), 139\u201373, 1963.","journal-title":"Trans. Am. Math. Soc."},{"key":"24_CR7","volume-title":"Subrecursion, Functions and Hierarchies","author":"H.E. Rose","year":"1984","unstructured":"H.E. Rose. Subrecursion, Functions and Hierarchies. Clarendon Press, Oxford 1984"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L. Stockmeyer","year":"1977","unstructured":"L. Stockmeyer, The Polynomial-Time Hierachy, Theor. Comp. Sci. 3, 1\u201322, 1977.","journal-title":"Theor. Comp. Sci."},{"key":"24_CR9","volume-title":"Types of Trilogy","author":"P.J. Voda","year":"1988","unstructured":"P.J. Voda. Types of Trilogy, Proceedings of the Fifth International Conference on Logic Programming, MIT Press, Cambridge MA, 1988."},{"key":"24_CR10","volume-title":"Computational Complexity","author":"K. Wagner","year":"1986","unstructured":"K. Wagner, G. Wechsung. Computational Complexity, VEB Berlin 1986."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"C. Wrathall, Rudimentary Predicates and Relative Computation, SIAM Journ. Comput., 1978.","DOI":"10.1137\/0207018"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:42:56Z","timestamp":1586572976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0022266","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}