Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,General Mathematics,Statistics and Probability
Reference21 articles.
1. A. Fröhlich and J. Shepherdson, “Effective procedures in field theory,” Philos. Trans. Roy. Soc. London, Ser. A 248, No. 950, 407–432 (1956).
2. A. I. Mal’tsev, “Constructive algebras. I” [in Russian], Usp. Mat. Nauk 16, No. 3, 3–60 (1961); English transl.: Russ. Math. Surv. 16, No. 3, 77–129 (1961).
3. S. S. Goncharov and Yu. L. Ershov, Constructive Models [in Russian], Nauchnaya Kniga (IDMI), Novosibirsk (1999); English transl.: Consultants Bureau, New York (2000).
4. S. S. Goncharov, “Computability and computable models,” In: Mathematical Problems from Applied Logic II, pp. 99–216, Springer, New York (2006).
5. S. S. Goncharov and B. Khoussainov, “Open problems in the theory of constructive algebraic systems,” In: Computability Theory and its Applications, pp. 145–170, Am. Math. Soc., Providence, RI (2000).
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献