On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
复制标题
DOI：
10.1007/978-3-030-51466-2_11
复制
发表时间：
2020-06-24
期刊：
影响因子：
--
通讯作者：
Zeugmann T
中科院分区：
文献类型：
--
作者：
Zeugmann T
本文综述了递归函数的归纳推理的一些结果，这些结果涉及到递归函数类的复杂性理论和递归数的刻画。文中还包括一些新的结果和有待解决的问题。
The present paper surveys some results from the inductive inference of recursive functions, which are related to the characterization of inferrible function classes in terms of complexity theory, and in terms of recursive numberings. Some new results and open problems are also included.
登录
查看更多内容
影响因子：
--
作者：
BLUM, L;BLUM, M
通讯作者：
BLUM, M
影响因子：
1
作者：
FREIVALDS, R;KINBER, EB;WIEHAGEN, R
通讯作者：
WIEHAGEN, R
影响因子：
1.1
作者：
Jain, S;Kinber, E;Zeugmann, T
通讯作者：
Zeugmann, T
影响因子：
1.1
作者：
Stephan, F;Zeugmann, T
通讯作者：
Zeugmann, T
DOI：
10.1002/malq.19840300906
发表时间：
1984-01-01
期刊：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK
影响因子：
--
作者：
ZEUGMANN, T
通讯作者：
ZEUGMANN, T