|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1964 |
1. |
Мартин Дэвис, Хилэри Путнам, Джулия Робинсон, “Проблема разрешимости для показательно-диофантовых уравнений”, Математика, 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 |
2. |
Джулия Робинсон, “Экзистенциальная выразимость в арифметике”, Математика, 8:5 (1964), 3–14 ; Julia Robinson, “Existential definability in arithmetic”, Trans. Amer. Math. Soc., 72 (1952), 437–449 |
|