Some Results in the Theory of Effective Program Synthesis - Learning by Defective Information


Authored By:G. Schäfer-Richter
Paper Title:Some Results in the Theory of Effective Program Synthesis - Learning by Defective Information
Book/Journal Title:Proc. Int. Spring School on Mathematical Methods of Specification and Synthesis of Software Systems '85
Vol. 215
Publication Date: 1986
Pages:219-225