Gisela Schäfer. Some results in the theory of effective program synthesis: learning by defective information. In Wolfgang Bibel, Klaus P. Jantke, editors, Mathematical Methods of Specification and Synthesis of Software Systems 85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Volume 215 of Lecture Notes in Computer Science, pages 219-225, Springer, 1985.
Abstract is missing.