{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:44Z","timestamp":1725455924540},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626169"},{"type":"electronic","value":"9783540683421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023462","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:06:33Z","timestamp":1132383993000},"page":"225-236","source":"Crossref","is-referenced-by-count":4,"title":["On the classification of computable languages"],"prefix":"10.1007","author":[{"given":"John","family":"Case","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Efim","family":"Kinber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arun","family":"Sharma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2275058","volume":"56","author":"L. Adleman","year":"1991","unstructured":"Leonard Adleman and Manuel Blum: Inductive Inference and Unsolvability. Journal of Symbolic Logic 56 (1991) 891\u2013900.","journal-title":"Journal of Symbolic Logic"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D. Angluin","year":"1980","unstructured":"Dana Angluin: Inductive Inference of Formal Languages from Positive Data, Information and Control 45 (1980) 117\u2013135.","journal-title":"Information and Control"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Shai Ben-David: Can Finite Samples Detect Singularities of Real-Valued Functions? Proceedings of the 24th Annual ACM Symposium on the Theory of Computer Science, Victoria, B.C., (1992) 390\u2013399.","DOI":"10.1145\/129712.129749"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"Lenore Blum and Manuel Blum: Toward a mathematical Theory of Inductive Inference. Information and Control, 28 (1975) 125\u2013155.","journal-title":"Information and Control"},{"key":"19_CR5","volume-title":"On a decision method in restricted second order arithmetic","author":"J. Richard B\u00fcchi","year":"1960","unstructured":"J. Richard B\u00fcchi: On a decision method in restricted second order arithmetic. In Proceedings of the International Congress on Logic, Methodology and Philosophy of Science, Standford University Press, Standford, California, 1960."},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2271090","volume":"34","author":"J. Richard B\u00fcchi","year":"1969","unstructured":"J. Richard B\u00fcchi and Lawrence H. Landweber: Definability in the Monadic Second Order Theory of Successor. Journal of Symbolic Logic 34 (1969) 166\u2013170.","journal-title":"Journal of Symbolic Logic"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1142\/S0129054192000097","volume":"3","author":"J. Case","year":"1992","unstructured":"John Case, Sanjay Jain and Arun Sharma: On Learning Limiting Programs. International Journal of Foundations of Computer Science, 3 (1992) 93\u2013115.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"19_CR8","unstructured":"John Case, Efim Kinber, Arun Sharma and Frank Stephan. On the Classification of Computable Languages. Technical Report No. 9603, School of Computer Science and Engineering, The University of New South Wales, Sydney NSW 2052, Australia."},{"key":"19_CR9","unstructured":"William Gasarch, Mark Pleszkoch, Frank Stephan and Mahendran Velauthapillai: Classification Using Information. To appear in: Annals of Mathematics and Artificial Intelligence."},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Mark Gold","year":"1967","unstructured":"E. Mark Gold: Language Identification in the Limit. Information and Control, 10 (1967) 447\u2013474.","journal-title":"Information and Control"},{"key":"19_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12898-5","volume-title":"Recursion-Theoretic Hierarchies","author":"P. G. Hinman","year":"1978","unstructured":"Peter G. Hinman: Recursion-Theoretic Hierarchies. Springer-Verlag, Heidelberg, 1978."},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF03037092","volume":"8","author":"K. P. Jantke","year":"1991","unstructured":"Klaus Peter Jantke: Monotonic and Non-Monotonic Inductive Inference. New Generation Computing 8 (1991) 349\u2013360.","journal-title":"New Generation Computing"},{"key":"19_CR13","unstructured":"Kevin Kelly: The Logic of Reliable Inquiry. Oxford University Press, Oxford, to appear."},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/BF01691063","volume":"3","author":"L. H. Landweber","year":"1969","unstructured":"Lawrence H. Landweber: Decision Problems for \u03c9-Automata. Mathematical Systems Theory, 3 (1969) 376\u2013384.","journal-title":"Mathematical Systems Theory"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1016\/S0019-9958(66)80010-4","volume":"9","author":"R. McNaughton","year":"1966","unstructured":"Robert McNaughton: Testing and Generating Infinite Sequences by a Finite Automaton. Information and Control 9 (1966) 434\u2013448.","journal-title":"Information and Control"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0304-3975(76)90087-6","volume":"2","author":"E. Minicozzi","year":"1976","unstructured":"Eliana Minicozzi: Some Natural Properties of Strong Identification in Inductive Inference. Theoretical Computer Science 2 (1976) 345\u2013360.","journal-title":"Theoretical Computer Science"},{"key":"19_CR17","series-title":"Lecture Notes to Computer Science 192","volume-title":"Automata on Infinite Words","year":"1984","unstructured":"Maurice Nivat and Dominique Perrin (editors): Automata on Infinite Words. Lecture Notes to Computer Science 192, Springer-Verlag, Heidelberg, 1984."},{"key":"19_CR18","volume-title":"Classical recursion theory","author":"P. Odifreddi","year":"1989","unstructured":"Piergiorgio Odifreddi: Classical recursion theory. North-Holland, Amsterdam, 1989."},{"key":"19_CR19","volume-title":"Systems that learn","author":"D. N. Osherson","year":"1986","unstructured":"Daniel N. Osherson, Michael Stob and Scott Weinstein: Systems that learn. Bradford \/ MIT Press, London, 1986."},{"key":"19_CR20","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1967","unstructured":"Hartley Rogers, Jr.: Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, New York, 1967."},{"key":"19_CR21","volume-title":"Perspectives in Mathematical Logic","author":"G. E. Sacks","year":"1990","unstructured":"Gerald E. Sacks: Higher Recursion Theory, Perspectives in Mathematical Logic, Springer-Verlag, Heidelberg, 1990."},{"key":"19_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively enumerable sets and degrees","author":"R. I. Soare","year":"1987","unstructured":"Robert I. Soare: Recursively enumerable sets and degrees. Springer-Verlag, Heidelberg, 1987."},{"key":"19_CR23","unstructured":"Frank Stephan: On One-Sided Versus Two-Sided Classification. Forschungsbericht 25 \/ 1996 des Mathematischen Instituts der Universit\u00e4t Heidelberg, Heidelberg, 1996."},{"key":"19_CR24","first-page":"224","volume-title":"Journal of Experimental and Theoretical Artificial Intelligence, 7","author":"R. Wiehagen","year":"1995","unstructured":"Rolf Wiehagen and Carl H. Smith: Generalization versus Classification. Journal of Experimental and Theoretical Artificial Intelligence, 7, 1995. Shorter version in Proceedings 5th Annual Workshop on Computational Learning Theory, (1992) 224\u2013230. ACM Press, New York."},{"key":"19_CR25","unstructured":"Carl H. Smith, Rolf Wiehagen and Thomas Zeugmann: Classifying Predicates and Languages. To appear in: International Journal of Foundations of Computer Science."},{"key":"19_CR26","first-page":"103","volume":"3","author":"B. A. Trakhtenbrot","year":"1962","unstructured":"Boris A. Trakhtenbrot: Finite Automata and the Logic of One Place Predicates. Siberian Mathematical Journal 3 (1962) 103\u2013131 [in Russian].","journal-title":"Siberian Mathematical Journal"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Thomas Zeugmann and Steffen Lange: A Guided Tour Across the Boundaries of Learning Recursive Languages. Algorithmic Learning for Knowledge-Based Systems (K. P. Jantke and S. Lange, Eds.), Lecture Notes in Computer Science 961 (1995) 193\u2013262.","DOI":"10.1007\/3-540-60217-8_12"},{"key":"19_CR28","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1006\/inco.1995.1107","volume":"120","author":"T. Zeugmann","year":"1995","unstructured":"Thomas Zeugmann, Steffen Lange and Shyam Kapur: Characterizations of Monotonic and Dual Monotonic Language Learning, Information and Computation 120 (1995) 155\u2013173.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","STACS 97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T22:09:01Z","timestamp":1549318141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626169","9783540683421"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0023462","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}