Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. R. McKenzie, "On elementary types of symmetric groups," Alg. Univ.,1, 13–20 (1971).
2. S. Shelah, "First-order theory of permutation groups," Isr. J. Math.,14, 149–162 (1973).
3. A. M. W. Glass, Y. Gurevich, W. C. Holland, and M. Jambu-Giraudett, "Elementary theory of automorphisms of doubly homogeneous chains," Lect. Notes Math.,859, 67–82 (1981).
4. Yu. L. Ershov, Decision Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
5. H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献