{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:45:40Z","timestamp":1743111940975,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319463780"},{"type":"electronic","value":"9783319463797"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","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":[[2016]]},"DOI":"10.1007\/978-3-319-46379-7_11","type":"book-chapter","created":{"date-parts":[[2016,9,20]],"date-time":"2016-09-20T10:54:33Z","timestamp":1474368873000},"page":"163-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Learning Finite Variants of Single Languages from Informant"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Ambos-Spies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,21]]},"reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D Angluin","year":"1980","unstructured":"Angluin, D.: Inductive inference of formal languages from positive data. Inf. Control 45(2), 117\u2013135 (1980)","journal-title":"Inf. Control"},{"key":"11_CR2","unstructured":"Barzdin\u0161, Ja.M.: Two theorems on the identification in the limit of functions. (Russian) Latviisk. Gos. Univ. U\u010den. Zap. 210 Teorija Algoritmov i Programm No. 1, pp. 82\u201388 (1974)"},{"key":"11_CR3","first-page":"1224","volume":"13","author":"J Barzdin\u0161","year":"1972","unstructured":"Barzdin\u0161, J., Freivalds, R.: On the prediction of general recursive functions. Sov. Math. Doklady 13, 1224\u20131228 (1972)","journal-title":"Sov. Math. Doklady"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L Blum","year":"1975","unstructured":"Blum, L., Blum, M.: Toward a mathematical theory of inductive inference. Inf. Control 28, 125\u2013155 (1975)","journal-title":"Inf. Control"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BFb0012761","volume-title":"Automata, Languages and Programming","author":"J Case","year":"1982","unstructured":"Case, J., Lynes, C.: Machine inductive inference and language identification. Automata, Languages and Programming. LNCS, vol. 140, pp. 107\u2013115. Springer, Berlin (1982)"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0168-0072(89)90011-0","volume":"41","author":"RG Downey","year":"1989","unstructured":"Downey, R.G., Slaman, T.A.: Completely mitotic R.E. degrees. Ann. Pure Appl. Logic 41(2), 119\u2013152 (1989)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"11_CR7","first-page":"179","volume":"15","author":"RV Freivalds","year":"1979","unstructured":"Freivalds, R.V., Wiehagen, R.: Inductive inference with additional information. Elektron. Informationsverarb. Kybernet. 15(4), 179\u2013185 (1979)","journal-title":"Elektron. Informationsverarb. Kybernet."},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Inf. Control 10, 447\u2013474 (1967)","journal-title":"Inf. Control"},{"key":"11_CR9","unstructured":"Ingrassia, M.A.: P-genericity for recursively enumerable sets. Thesis (Ph.D.), University of Illinois at Urbana-Champaign, ProQuest LLC, Ann Arbor, MI, 162 p. (1981)"},{"key":"11_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems That Learn, An Introduction to Learning Theory","author":"S Jain","year":"1999","unstructured":"Jain, S., Osherson, D., Royer, J.S., Sharma, A.: Systems That Learn, An Introduction to Learning Theory, 2nd edn. The MIT Press, Cambridge (1999)","edition":"2"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.2307\/2272056","volume":"38","author":"RE Ladner","year":"1973","unstructured":"Ladner, R.E.: Mitotic recursively enumerable sets. J. Symb. Logic 38, 199\u2013211 (1973)","journal-title":"J. Symb. Logic"},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1090\/S0002-9947-1973-0398805-7","volume":"184","author":"Richard E. Ladner","year":"1973","unstructured":"Ladner, R.E.: A completely mitotic nonrecursive R.E. degree. Trans. Am. Math. Soc. 184, 479\u2013507 (1973, 1974)","journal-title":"Transactions of the American Mathematical Society"},{"key":"11_CR13","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sdets","author":"RI Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sdets. Perspectives in Mathematical Logic. Springer, Berlin (1987). xviii+437"},{"key":"11_CR14","unstructured":"Stephan, F.: Recursion Theory. National University of Singapore, Lecture Notes (2012). http:\/\/www.comp.nus.edu.sg\/~fstephan\/recursiontheory-pstopdf.pdf"},{"key":"11_CR15","first-page":"1224","volume":"192","author":"BA Trahtenbrot","year":"1970","unstructured":"Trahtenbrot, B.A.: Autoreducibility. (Russian). Dokl. Akad. Nauk SSSR 192, 1224\u20131227 (1970)","journal-title":"Dokl. Akad. Nauk SSSR"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46379-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T14:06:01Z","timestamp":1710165961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-46379-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319463780","9783319463797"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46379-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"21 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ALT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Algorithmic Learning Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bari","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"alt2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}