{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:13Z","timestamp":1725455953065},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019360","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"213-252","source":"Crossref","is-referenced-by-count":1,"title":["Some models of inductive syntactical synthesis from sample computations"],"prefix":"10.1007","author":[{"given":"Efim","family":"Kinber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1109\/TSE.1976.233812","volume":"2","author":"A.W. Biermann","year":"1976","unstructured":"Biermann A.W., Krishnaswamy R. Constructing programs from example computations. \u2014 IEEE Trans. Software Eng., v.2, 1976, p.141\u2013153","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR2","first-page":"333","volume-title":"Inform. Proc. 83","author":"J.M. Barzdin","year":"1983","unstructured":"Barzdin J.M. Some rules of inductive inference and their use for program synthesis. \u2014 In: Inform. Proc. 83, Amsterdam, North-Holland, 1983, p.333\u2013338"},{"key":"8_CR3","unstructured":"Brazma A.N. Inductive synthesis of programs. \u2014 In: Problems of Theor. Cybern., Proc. of 7th USSR Conf., Irkutsk, Irkutsk State Univ., 1985, p.32\u201333 (in Russian)."},{"key":"8_CR4","first-page":"156","volume-title":"Theory of algorithms and programs","author":"A.N. Brazma","year":"1986","unstructured":"Brazma A.N. The decidability of the equivalence for the graphical expressions. \u2014 In: Theory of algorithms and programs, Latvia State Univ., Riga, 1986, p.156\u2013189 (in Russian)."},{"key":"8_CR5","first-page":"156","volume-title":"Theory of algorithms and programs","author":"A.N. Brazma","year":"1986","unstructured":"Brazma A.N., Etmane I.E. Inductive synthesis of graphical expressions. \u2014 In: Theory of algorithms and programs, Latvia State Univ., Riga, 1986, p.156\u2013189 (in Russian)."},{"issue":"8\/9","key":"8_CR6","first-page":"435","volume":"25","author":"E.B. Kinber","year":"1989","unstructured":"Kinber E.B. Inductive synthesis of programs for recursive functions from sample computations. \u2014 Journ. Inf. Process. Cybern. EIK, v.25, No.8\/9, 1989, p.435\u2013456","journal-title":"Journ. Inf. Process. Cybern. EIK"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0304-3975(86)90029-0","volume":"46","author":"A.N. Brazma","year":"1986","unstructured":"Brazma A.N., Kinber E.B. Generalized regular expressions \u2014 a language for synthesis of programs with branching in loops. \u2014 Theor.Comp.Sci., v.46, 1986, p.175\u2013195","journal-title":"Theor.Comp.Sci."},{"key":"8_CR8","volume-title":"The art of computer programming. v.3","author":"D. Knuth","year":"1973","unstructured":"Knuth D. The art of computer programming. v.3, Addison-Wesley, Reading, Mass., 1973"},{"issue":"6","key":"8_CR9","first-page":"565","volume":"8","author":"E.B. Kinber","year":"1989","unstructured":"Kinber E.B. Syntactical inductive synthesis of iterative programs. \u2014 Computers and Art.Int., v.8, No.6, 1989, p.565\u2013580","journal-title":"Computers and Art.Int."},{"key":"8_CR10","unstructured":"Kinber E.B. On syntactical inductive synthesis of programs with FOR-loops and interpreted functions from sample computations. \u2014 Programmirovanie, No.2, 1988, p.14\u201325 (in Russian)."},{"key":"8_CR11","first-page":"4","volume-title":"Theoretical questions of programming","author":"E.B. Kinber","year":"1988","unstructured":"Kinber E.B. Inductive synthesis of programs from incomplete samples. \u2014 In: Theoretical questions of programming, Latvia State Univ., Riga, 1988, p.4\u201323 (in Russian)."},{"key":"8_CR12","unstructured":"Kinber E.B. Syntactical inductive synthesis from incomplete sample computations. \u2014 In: COLOG-88, Proc. Intern. Conf. in Comp. Logic, v.1, Tallinn, 1988, p.177\u2013180."}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019360.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:15Z","timestamp":1607550135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0019360","relation":{},"subject":[]}}