A-posteriori Characterizations in Inductive Inference of Recursive Functions


Authored By:Thomas Zeugmann
Paper Title:A-posteriori Characterizations in Inductive Inference of Recursive Functions
In:Elektronische Informationsverarbeitung und Kybernetik
Vol. 19
Publication Date: 1983
Pages:559-594