{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:32Z","timestamp":1725662912321},"publisher-location":"Berlin, Heidelberg","reference-count":2,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164449"},{"type":"electronic","value":"9783540397847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16444-8_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:41:34Z","timestamp":1330195294000},"page":"201-206","source":"Crossref","is-referenced-by-count":0,"title":["Orientation problems on sequences by recursive functions"],"prefix":"10.1007","author":[{"given":"P\u00e9ter","family":"Komj\u00e1th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Szab\u00f3","family":"Zsolt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","volume":"30","author":"E.M. Gold","year":"1965","unstructured":"GOLD, E.M.:Limiting recursion,J.of Symbolic Logic 30 1965.pp.28\u201348","journal-title":"J.of Symbolic Logic"},{"key":"17_CR2","volume-title":"Inductive inference: a recursion theoretic approach","author":"L. Blum","year":"1973","unstructured":"BLUM, L.BLUM, M.:Inductive inference: a recursion theoretic approach. Memorandum No. EHL-M 386.University of California, Berkeley,1973."}],"container-title":["Lecture Notes in Computer Science","Mathematical Methods of Specification and Synthesis of Software Systems '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16444-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:03:38Z","timestamp":1619557418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16444-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164449","9783540397847"],"references-count":2,"URL":"https:\/\/doi.org\/10.1007\/3-540-16444-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}