On the synthesis of strategies identifying recursive functions (2001)

by S Zilles
Venue:In: Proceedings of the 14th Annual Conference on Computational Learning Theory, Lecture Notes in Artificial Intelligence 2111