Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. M. Kummer Rekursiv aufzählbare Erweiterungen von R1 um endliche Funktionen Diplomarbeit, Universität Karlsruhe, February 1986
2. W. Menzel, V. Sperschneider Recursively enumerable extensions of R1 by finite functions Lecture notes in computer science 171, p. 62–77, 1984
3. J. Mohrherr A remark on the length problem Manuscricpt, 1986
4. H. Rogers Theory of recursive functions and effective computability New York, 1967
5. R. I. Soare Tree arguments in recursion theory and the 0'''-priority method Proc. of symposia in pure mathematics, Vol. 42, p. 53–106, 1985
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Effective Enumerations of Families of Finite Sets of Natural Numbers;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1991
2. The Length Problem for Co-R.E. Sets;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1988
3. Numberings of R1∪F;CSL '88