Research in the theory of inductive inference by GDR mathematicians—A survey
- 1 January 1980
- journal article
- Published by Elsevier in Information Sciences
- Vol. 22 (2) , 149-169
- https://doi.org/10.1016/s0020-0255(80)80006-5
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- General random sequences and learnable sequencesThe Journal of Symbolic Logic, 1977
- Some natural properties of strong-identification in inductive inferenceTheoretical Computer Science, 1976
- Toward a mathematical theory of inductive inferenceInformation and Control, 1975
- On the Synthesis of Finite-State Machines from Samples of Their BehaviorIEEE Transactions on Computers, 1972
- Classes of Recursive Functions and Their Index SetsMathematical Logic Quarterly, 1971
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Index sets of finite classes of recursively enumerable setsThe Journal of Symbolic Logic, 1969
- Language identification in the limitInformation and Control, 1967
- A Machine-Independent Theory of the Complexity of Recursive FunctionsJournal of the ACM, 1967
- Limiting recursionThe Journal of Symbolic Logic, 1965