|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2010 |
| 1. |
M. Davis, “Representation theorems for r.e. sets and a conjecture related to Poonen's larges subring of $\mathbb Q$”, Зап. научн. сем. ПОМИ, 377 (2010), 50–54   ; J. Math. Sci. (N. Y.), 171:6 (2010), 728–730 |
2
|
|
1964 |
| 2. |
М. Дэвис, Х. Путнам, “Диофантовы множества в полиномиальных кольцах”, Математика, 8:5 (1964), 85–90   ; M. Davis, H. Putnam, “Diophantine sets over polynomial rings”, Illinois J. Math., 7 (1963), 251–256 |
| 3. |
Мартин Дэвис, “Применения и следствия из последней работы по десятой проблеме Гильберта”, Математика, 8:5 (1964), 80–84 ; Martin Davis, “Extensions and corollaries of recent work on Hilbert's Tenth Problem”, Illinois J. Math., 7 (1963), 246–250 |
| 4. |
Мартин Дэвис, Хилэри Путнам, Джулия Робинсон, “Проблема разрешимости для показательно-диофантовых уравнений”, Математика, 8:5 (1964), 69–79 ; Martin Davis, Hilary Putnam, Julia Robinson, “The decision problem for exponential diophantine equations”, Ann. of Math., 74 (1961), 425–436 |
| 5. |
Мартин Дэвис, Хилэри Путнам, “Редукции десятой проблемы Гильберта”, Математика, 8:5 (1964), 49–54 ; Martin Davis, Hilary Putnam, “Reductions of Hilbert's tenth problem”, J. Symb. Logic, 23 (1958), 183–187 |
| 6. |
Мартин Дэвис, “Арифметические проблемы и рекурсивно-перечислимые предикаты”, Математика, 8:5 (1964), 15–22 ; Martin Davis, “Arithmetical problems and recursively enumerable predicates”, J. Symbolic Logic, 18 (1953), 33–41 |
|
Обратная связь: