On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings

Thomas Zeugmann. On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings. In Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly, editors, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings. Volume 12098 of Lecture Notes in Computer Science, pages 124-136, Springer, 2020. [doi]

Abstract

Abstract is missing.