Refutable inductive inference of recursive functions. Schriftenreihe der Institute für (2001)

by S Jain, E Kinber, R Wiehagen, T Zeugmann
Venue:Medical University at Lübeck