Learning Recursive Functions Refutably

Sanjay Jain, Efim B. Kinber, Rolf Wiehagen, Thomas Zeugmann. Learning Recursive Functions Refutably. In Naoki Abe, Roni Khardon, Thomas Zeugmann, editors, Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings. Volume 2225 of Lecture Notes in Computer Science, pages 283-298, Springer, 2001. [doi]

Abstract

Abstract is missing.