Publisher
Springer Nature Singapore
Reference22 articles.
1. Angluin, D.: Inductive inference of formal languages from positive data. Inf. Control 45(2), 117–135 (1980). https://doi.org/10.1016/S0019-9958(80)90285-5
2. Ash, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144. Elsevier Science B.V., Amsterdam (2000)
3. Blum, L., Blum, M.: Toward a mathematical theory of inductive inference. Inf. Control 28(2), 125–155 (1975). https://doi.org/10.1016/S0019-9958(75)90261-2
4. Cooper, S.B.: Degrees of unsolvability. Ph.D. thesis, Leicester University (1971)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M de Brecht,2007