{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:39:09Z","timestamp":1725485949060},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414285"},{"type":"electronic","value":"9783540444640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44464-5_20","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T19:34:00Z","timestamp":1181158440000},"page":"273-289","source":"Crossref","is-referenced-by-count":1,"title":["On Computable Tree Functions"],"prefix":"10.1007","author":[{"given":"Masahiro","family":"Kimoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masako","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,8]]},"reference":[{"key":"20_CR1","unstructured":"W. S. Brainerd and L. H. Landweber (1974). Theory of Computation, John Wiley & Sons."},{"key":"20_CR2","unstructured":"S. Eilenberg and C. C. Elgot (1970). Recursiveness, Academic Press."},{"key":"20_CR3","unstructured":"M. Kimoto (2000). On Computability of Functions over Binary Trees, Master Thesis, Department of Mathematical and Computing Sciences, Tokyo Institute of Technology."},{"key":"20_CR4","unstructured":"D. E. Knuth (1973). The Art of Computer Programming, Vol.1 \u2014 Fundamental Algorithms, Addison Wesley."},{"key":"20_CR5","volume-title":"Subrecursion \u2014 Functions and Hierarchies","author":"H. E. Rose","year":"1984","unstructured":"H. E. Rose (1984). Subrecursion \u2014 Functions and Hierarchies, Clarendon Press, Oxford."},{"key":"20_CR6","unstructured":"M. Takahashi (1998). A primer on proofs and types, Theories of Types and Proofs, MSJ-Memoirs Vol.2 (M. Takahashi, M. Okada, and M. Dezani, eds., Mathematical Society of Japan), pp.1\u201344."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"M. Takahashi (to appear). Lambda-representable functions over term algebras, International Journal of Foundations of Computer Science.","DOI":"10.1142\/S0129054101000394"},{"key":"20_CR8","unstructured":"J. V. Tucker and J. I. Zucker (to appear). Computable functions and semicomputable sets on many-sorted algebras, Handbook of Logic in Computer Science, Vol.5 (S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, eds., Oxford University Press)."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44464-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:30:35Z","timestamp":1550367035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44464-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414285","9783540444640"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44464-5_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}