{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:16Z","timestamp":1725663976691},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573708"},{"type":"electronic","value":"9783540480969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57370-4_37","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:56:48Z","timestamp":1330261008000},"page":"59-72","source":"Crossref","is-referenced-by-count":2,"title":["Towards efficient inductive synthesis of expressions from input\/output examples"],"prefix":"10.1007","author":[{"given":"J\u0101nis","family":"B\u0101rzdi\u0146\u0161","sequence":"first","affiliation":[]},{"given":"Guntis","family":"B\u0101rzdi\u0146\u0161","sequence":"additional","affiliation":[]},{"given":"Kalvis","family":"Aps\u012btis","sequence":"additional","affiliation":[]},{"given":"U\u011fis","family":"Sarkans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","unstructured":"D.Angluin: Easily inferred sequences. Memorandum No. ERL-M499, University of California, 1974"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF01683268","volume":"10","author":"P. Emde Boas van","year":"1977","unstructured":"P.van Emde Boas, R.Kaas and E.Zijlstra: Design and Implementation of an Efficient Priority Queue. Mathematical Systems Theory 10 (1977), pp. 99\u2013127","journal-title":"Mathematical Systems Theory"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(91)90307-N","volume":"90","author":"J.M. Barzdins","year":"1991","unstructured":"J.M.Barzdins and G.J.Barzdins: Rapid construction of algebraic axioms from samples. Theoretical Computer Science 90 (1991), pp. 199\u2013208","journal-title":"Theoretical Computer Science"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BFb0019361","volume":"502","author":"G. Barzdins","year":"1991","unstructured":"G.Barzdins: Inductive synthesis of term rewriting systems. Lecture Notes in Computer Science, vol.502 (1991), pp. 253\u2013285","journal-title":"Lecture Notes in Computer Science"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/BFb0030390","volume":"659","author":"J. Barzdins","year":"1993","unstructured":"J.Barzdins and G.Barzdins: Towards efficient inductive synthesis: rapid construction of local regularities. Lecture Notes in Computer Science, vol.659 (1993), pp. 132\u2013140","journal-title":"Lecture Notes in Computer Science"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BFb0019357","volume":"502","author":"R. Freivalds","year":"1991","unstructured":"R. Freivalds: Inductive inference of recursive functions. Qualitative theory. Lecture Notes in Computer Science, vol.502 (1991), pp. 77\u2013110","journal-title":"Lecture Notes in Computer Science"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/BFb0019368","volume":"502","author":"R. Freivalds","year":"1991","unstructured":"R.Freivalds, J.Barzdins, K.Podnieks: Inductive inference of recursive functions: Complexity bounds. Lecture Notes in Computer Science, vol.502 (1991), pp. 565\u2013613","journal-title":"Lecture Notes in Computer Science"},{"key":"5_CR8","volume-title":"An Introduction to the History of Mathematics","author":"E. Howard","year":"1961","unstructured":"E.Howard: An Introduction to the History of Mathematics. New York: Holt, Reinhard and Winston 1961"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57370-4_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:04:36Z","timestamp":1619571876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57370-4_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573708","9783540480969"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-57370-4_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}