1. Е. В. Кузьмин, Д. Ю. Чалый, “О языках автоматных счетчиковых машин”, Модел. и анализ информ. систем, 17:2 (2010), 48–71  mathnet
  2. Yu. Matiyasevich, “Towards finite-fold Diophantine representations”, Исследования по теории чисел. 10, Зап. научн. сем. ПОМИ, 377, ПОМИ, СПб., 2010, 78–90  mathnet; J. Math. Sci. (N. Y.), 171:6 (2010), 745–752  crossref
  3. H. Pasten, T. Pheidas, X. Vidaux, “A survey on Büchi's problem: new presentations and open problems”, Исследования по теории чисел. 10, Зап. научн. сем. ПОМИ, 377, ПОМИ, СПб., 2010, 111–140  mathnet; J. Math. Sci. (N. Y.), 171:6 (2010), 765–781  crossref
  4. Л. Д. Беклемишев, “Теоремы Гёделя о неполноте и границы их применимости. I”, УМН, 65:5(395) (2010), 61–106  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, “Gödel incompleteness theorems and the limits of their applicability. I”, Russian Math. Surveys, 65:5 (2010), 857–899  crossref  isi  elib
  5. Ch. Pollett, “$S_{k,\exp}$ does not prove $\mathrm{NP}=\mathrm{co}-\mathrm{NP}$ uniformly”, Теория сложности вычислений. VIII, Зап. научн. сем. ПОМИ, 304, ПОМИ, СПб., 2003, 99–120  mathnet  mathscinet  zmath; J. Math. Sci. (N. Y.), 130:2 (2005), 4607–4619  crossref
  6. Ю. В. Матиясевич, “Диофантово представление чисел Бернулли и его приложения”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 98–102  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “A Diophantine Representation of Bernoulli Numbers and Its Applications”, Proc. Steklov Inst. Math., 242 (2003), 86–91
  7. А. И. Кокорин, А. Г. Пинус, “Вопросы разрешимости расширенных теорий”, УМН, 33:2(200) (1978), 49–84  mathnet  mathscinet  zmath; A. I. Kokorin, A. G. Pinus, “Decidability problems of extended theories”, Russian Math. Surveys, 33:2 (1978), 53–96  crossref
  8. Ю. В. Матиясевич, “Диофантовы множества”, УМН, 27:5(167) (1972), 185–222  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “Diophantine sets”, Russian Math. Surveys, 27:5 (1972), 124–164  crossref
  9. Л. А. Бокуть, “Неразрешимость проблемы равенства и подалгебры конечно определенных алгебр Ли”, Изв. АН СССР. Сер. матем., 36:6 (1972), 1173–1219  mathnet  mathscinet  zmath; L. A. Bokut', “Unsolvability of the equality problem and subalgebras of finitely presented Lie algebras”, Math. USSR-Izv., 6:6 (1972), 1153–1199  crossref
  10. Ю. В. Матиясевич, “Диофантово представление перечислимых предикатов”, Изв. АН СССР. Сер. матем., 35:1 (1971), 3–30  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “Diophantine representation of enumerable predicates”, Math. USSR-Izv., 5:1 (1971), 1–28  crossref
Предыдущая
1
2