Inferability of Recursive Real-Valued Functions.

Eiju Hirowatari, Setsuo Arikawa

Browse the full ALT paper archive.