{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:18:32Z","timestamp":1759637912960},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390524"},{"type":"electronic","value":"9783642390531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_21","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T00:28:12Z","timestamp":1370219292000},"page":"181-190","source":"Crossref","is-referenced-by-count":3,"title":["On Conservative Learning of Recursively Enumerable Languages"],"prefix":"10.1007","author":[{"given":"Ziyuan","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Jain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"21_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. Information and Control\u00a045(2), 117\u2013135 (1980)","journal-title":"Information and Control"},{"key":"21_CR2","unstructured":"B\u0101rzdi\u0146\u0161, J.: Two theorems on the limiting synthesis of functions. In: Theory of Algorithms and Programs, vol.\u00a01, pp. 82\u201388. Latvian State University (1974) (in Russian)"},{"key":"21_CR3","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. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 107\u2013115. Springer, Heidelberg (1982)"},{"issue":"6","key":"21_CR4","doi-asserted-by":"publisher","first-page":"1941","DOI":"10.1137\/S0097539793249694","volume":"28","author":"J. Case","year":"1999","unstructured":"Case, J.: The power of vacillation in language learning. SIAM Journal on Computing\u00a028(6), 1941\u20131969 (1999)","journal-title":"SIAM Journal on Computing"},{"key":"21_CR5","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. Information and Control\u00a028, 125\u2013155 (1975)","journal-title":"Information and Control"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1016\/S0019-9958(72)90424-X","volume":"20","author":"J. Feldman","year":"1972","unstructured":"Feldman, J.: Some decidability results on grammatical inference and complexity. Information and Control\u00a020, 244\u2013262 (1972)","journal-title":"Information and Control"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(90)90042-G","volume":"85","author":"M. Fulk","year":"1990","unstructured":"Fulk, M.: Prudence and other conditions on formal language learning. Information and Computation\u00a085, 1\u201311 (1990)","journal-title":"Information and Computation"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Gao, Z., Stephan, F., Wu, G., Yamamoto, A.: Learning families of closed sets in matroids. In: Dinneen, M.J., Khoussainov, B., Nies, A. (eds.) WTCS 2012 (Calude Festschrift). LNCS, vol.\u00a07160, pp. 120\u2013139. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-27654-5_10"},{"key":"21_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-34106-9_8","volume-title":"Algorithmic Learning Theory","author":"Z. Gao","year":"2012","unstructured":"Gao, Z., Stephan, F.: Confident and consistent partial learning of recursive functions. In: Bshouty, N.H., Stoltz, G., Vayatis, N., Zeugmann, T. (eds.) ALT 2012. LNCS (LNAI), vol.\u00a07568, pp. 51\u201365. Springer, Heidelberg (2012)"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"M.E. Gold","year":"1967","unstructured":"Gold, M.E.: Language identification in the limit. Information and Control\u00a010, 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"21_CR11","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. MIT Press, Cambridge (1999)"},{"issue":"19","key":"21_CR12","doi-asserted-by":"publisher","first-page":"1796","DOI":"10.1016\/j.tcs.2009.01.011","volume":"410","author":"S. Jain","year":"2009","unstructured":"Jain, S., Stephan, F., Ye, N.: Prescribed learning of r.e. classes. Theoretical Computer Science\u00a0410(19), 1796\u20131806 (2009)","journal-title":"Theoretical Computer Science"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"de Jongh, D., Kanazawa, M.: Angluin\u2019s theorem for indexed families of r.e. sets and applications. In: Proceedings of the Ninth Annual Conference on Computational Learning Theory, pp. 193\u2013204. ACM Press (1996)","DOI":"10.1145\/238061.238095"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Lange, S., Zeugmann, T.: Language learning in dependence on the space of hypotheses. In: Proceedings of the Sixth Annual Conference on Computational Learning Theory, pp. 127\u2013136. ACM Press (1993)","DOI":"10.1145\/168304.168320"},{"key":"21_CR15","volume-title":"Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists","author":"D.N. Osherson","year":"1986","unstructured":"Osherson, D.N., Stob, M., Weinstein, S.: Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists. MIT Press, Cambridge (1986)"},{"key":"21_CR16","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1987","unstructured":"Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. MIT Press, Cambridge (1987)"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-60217-8_1","volume-title":"Algorithmic Learning for Knowledge-Based Systems","author":"R. Wiehagen","year":"1995","unstructured":"Wiehagen, R., Zeugmann, T.: Learning and consistency. In: Lange, S., Jantke, K.P. (eds.) GOSLER 1994. LNCS, vol.\u00a0961, pp. 1\u201324. Springer, Heidelberg (1995)"},{"issue":"2","key":"21_CR18","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1006\/inco.1995.1107","volume":"120","author":"T. Zeugmann","year":"1995","unstructured":"Zeugmann, T., Lange, S., Kapur, S.: Characterizations of monotonic and dual monotonic language learning. Information and Computation\u00a0120(2), 155\u2013173 (1995)","journal-title":"Information and Computation"},{"issue":"1-3","key":"21_CR19","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.tcs.2008.02.021","volume":"397","author":"T. Zeugmann","year":"2008","unstructured":"Zeugmann, T., Zilles, S.: Learning recursive functions: a survey. Theoretical Computer Science\u00a0397(1-3), 4\u201356 (2008)","journal-title":"Theoretical Computer Science"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T11:14:39Z","timestamp":1595848479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}