Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. CROSSLEY, J N and A NERODE [1974] Combinatorial functors. Ergebnisse der Math. u. ihrer Grenzgebiete, Vol. 81, 1974. [to appear] Effective dimensions.
2. DEKKER, J C E [1969] Countable vector spaces with recursive operations, Part 1, J.S.L. 34, 1969, 363–387.
3. — [1971] Two notes on vector spaces with recursive operations, Notre Dame J. Formal Logic 12, 1971, 329–334.
4. FRÖHLICH, A and J C SHEPHERDSON
5. HAMILTON, A G [1969] D.Phil. Thesis, Oxford, 1969.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Undecidability and Recursive Equivalence I;Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981;1983