Author: Thomas Zeugmann
Source: “Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 1990, Proceedings,” (J. Dix, K.P. Jantke, and P.H. Schmitt, Eds.), Lecture Notes in Artificial Intelligence 543, pp. 208-222, Springer-Verlag 1991.
The present paper surveys results and presents open
problems concerning the llmitlng-effective synthesis of opti-
mal programs for recurslve functions given by input-output
©Copyright 1990 Springer-Verlag