Inproceedings,

Inductive Inference of Recursive Functions.

.
MFCS, volume 32 of Lecture Notes in Computer Science, page 462-464. Springer, (1975)

Meta data

Tags

Users

  • @dblp

Comments and Reviews