{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T06:41:52Z","timestamp":1765608112601},"reference-count":67,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1994,1]]},"DOI":"10.1080\/09528139408953778","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T09:49:05Z","timestamp":1183801745000},"page":"3-16","source":"Crossref","is-referenced-by-count":42,"title":["Infinitary self-reference in learning theory"],"prefix":"10.1080","volume":"6","author":[{"given":"JOHN","family":"CASE","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-51237-3_11","volume-title":"Logic at Botik","volume":"363","author":"Amtoft T.","year":"1989"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356918"},{"key":"CIT0003","first-page":"82","volume-title":"Theory of Algorithms and Programs","volume":"210","author":"Barzdin J. M.","year":"1974"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(75)90261-2"},{"key":"CIT0005","volume-title":"Proceedings of the 10th Symposium on Theoretical Aspects of Computer Science","author":"Baliga G.","year":"1993"},{"key":"CIT0006","volume-title":"Proceedings of the Second International Symposium on Logical Foundations of Computer Science\u2014Tver '92","author":"Baliga G.","year":"1992"},{"key":"CIT0007","first-page":"108","volume-title":"Proceedings of the Third International Workshop on Analogical and Inductive Inference, (Lecture Notes in Artificial Intelligence)","volume":"642","author":"Baliga G.","year":"1992"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1145\/321386.321395"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)90546-3"},{"key":"CIT0010","volume-title":"Essays on Cellular Automata","author":"Burks A. W.","year":"1970"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/BF01761704"},{"key":"CIT0012","first-page":"133","volume-title":"Proceedings of the Workshop on Computational Learning Theory","author":"Case J.","year":"1988"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19910370702"},{"key":"CIT0014","unstructured":"Case , J. ( 1992 ) The power of vacillation in language learning . Technical Report 93\u201308 , University of Delaware ."},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1080\/09528139208953752"},{"key":"CIT0016","first-page":"314","volume-title":"Symposium on the Theory of Computation","author":"Case J.","year":"1978"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90061-0"},{"key":"CIT0018","first-page":"189","volume-title":"Proceedings of the Second Annual Workshop on Computational Learning Theory, Santa Cruz, California, August","author":"Case J.","year":"1989"},{"key":"CIT0019","first-page":"292","volume-title":"Proceedings of the First Workshop on Algorithmic Learning Theory","author":"Case J.","year":"1990"},{"key":"CIT0020","author":"Case S.","year":"1992","journal-title":"Information and Computation"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054192000097"},{"key":"CIT0023","unstructured":"Chen , K. ( 1981 ) Tradeoffs in machine inductive inference . PhD thesis , Computer Science Department, SUNY at Buffalo ."},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)80086-7"},{"key":"CIT0025","volume-title":"Cellular Automata","author":"Codd E. F.","year":"1968"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90132-9"},{"key":"CIT0027","first-page":"157","volume-title":"Proceedings of the Workshop on Computational Learning Theory","author":"Daley R, P.","year":"1988"},{"key":"CIT0028","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"Feferman S.","year":"1960","journal-title":"Fundamental Mathematkae"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-07389-2_199","volume":"32","author":"Freivalds R.","year":"1975","journal-title":"Lecture Notes in Computer Science"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19840300904"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90005-9"},{"key":"CIT0032","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/B978-0-08-094829-4.50015-5","volume-title":"Proceedings of the Second Annual Workshop on Computational Learning Theory","author":"Fulk M. A.","year":"1989"},{"key":"CIT0033","first-page":"256","volume-title":"Proceedings of the First Workshop on Algorithmic Learning Theory","author":"Fulk M. A.","year":"1990"},{"key":"CIT0034","first-page":"145","volume-title":"Kurt G\u00f6del. Collected Works","author":"G\u014ddel K.","year":"1986"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.2307\/2270580"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"CIT0037","volume-title":"Introduction to Automata Theory Languages and Computation","author":"Hopcroft J.","year":"1979"},{"key":"CIT0038","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/978-1-4612-2822-6_9","volume-title":"Logic From Computer Science","author":"Jones N. D.","year":"1992"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032029"},{"key":"CIT0040","author":"Jain S.","year":"1992","journal-title":"Journal of Computer and System Sciences"},{"key":"CIT0041","volume-title":"Information and Compulation","author":"Jain S.","year":"1992"},{"key":"CIT0042","first-page":"45","volume":"233","author":"Kinber E. B.","year":"1975","journal-title":"Uch. zap. Latv. univ."},{"key":"CIT0043","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/3-540-08442-8_112","volume":"56","author":"Kinber E. B.","year":"1977","journal-title":"Lecture Notes in Computer Science"},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(80)80006-5"},{"key":"CIT0045","volume-title":"Numerical Analysis","author":"Kopal Z.","year":"1961"},{"key":"CIT0046","doi-asserted-by":"publisher","DOI":"10.2307\/1970579"},{"key":"CIT0047","volume-title":"An Introduction to the General Theory of Algorithms","author":"Machtey M.","year":"1978"},{"key":"CIT0048","volume-title":"In Proceedings, Structure in Complexity Theory-Fourth Annual Conference","author":"Marcoux Y.","year":"1989"},{"key":"CIT0049","volume-title":"Introduction to Mathematical Logic","author":"Mendelson E.","year":"1986"},{"key":"CIT0050","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(72)90592-X"},{"key":"CIT0051","volume-title":"In Symposium on the Theory of Computation","author":"Meyer A.","year":"1972"},{"key":"CIT0052","first-page":"106","volume-title":"Views on General Systems Theory","author":"Myhill J.","year":"1964"},{"key":"CIT0053","volume-title":"Theory of Self-Reproducing Automata","author":"von Neumann J.","year":"1966"},{"key":"CIT0054","volume-title":"Systems that Learn, An Introduction to Learning Theory for Cognitive and Computer Scientists","author":"Osherson D.","year":"1986"},{"key":"CIT0055","doi-asserted-by":"publisher","DOI":"10.2307\/2270581"},{"key":"CIT0056","unstructured":"Riccardi , G. ( 1980 ) The independence of control structures in abstract programming systems . PhD thesis , SUNY Buffalo ."},{"key":"CIT0057","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90024-6"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19820282002"},{"key":"CIT0059","doi-asserted-by":"publisher","DOI":"10.2307\/2964292"},{"key":"CIT0060","volume-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers H.","year":"1967"},{"key":"CIT0061","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-18253-5","volume-title":"A Connolational Theory of Program Structure","author":"Royer J.","year":"1987"},{"key":"CIT0062","unstructured":"Royer , J. and Case , J. ( 1986 ) Progressions of relatively succinct programs in subrecursive hierarchies . Technical Report 86\u2013007 , Computer Science Department, University of Chicago ."},{"key":"CIT0063","volume-title":"Intensional Subrecursion and Complexity Theory","author":"Royer J.","year":"1993"},{"key":"CIT0064","doi-asserted-by":"crossref","DOI":"10.2307\/2270310","volume":"36","author":"Shapiro N.","year":"1971","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0065","doi-asserted-by":"publisher","DOI":"10.2307\/1970028"},{"key":"CIT0066","volume-title":"Degrees of Unsolvability","author":"Shocnfield J.","year":"1971"},{"key":"CIT0068","doi-asserted-by":"publisher","DOI":"10.1145\/322344.322356"},{"key":"CIT0069","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"Soare R.","year":"1987"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528139408953778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T07:06:14Z","timestamp":1556607974000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528139408953778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":67,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1080\/09528139408953778"],"URL":"https:\/\/doi.org\/10.1080\/09528139408953778","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}