|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1972 |
| 1. |
Ю. Т. Медведев, “Локально-финитные алгоритмические проблемы”, Докл. АН СССР, 203:2 (1972), 285–288    |
|
1969 |
| 2. |
Ю. Т. Медведев, “Об одном способе доказательства неразрешимости алгоритмических проблем”, Докл. АН СССР, 185:6 (1969), 1232–1235 |
|
1966 |
| 3. |
Ю. Т. Медведев, “Об интерпретации логических формул посредством финитных задач”, Докл. АН СССР, 169:1 (1966), 20–23 |
3
|
|
1963 |
| 4. |
Ю. Т. Медведев, “Интерпретация логических формул посредством финитных задач и связь ее с теорией реализуемости”, Докл. АН СССР, 148:4 (1963), 771–774 |
2
|
|
1962 |
| 5. |
Ю. Т. Медведев, “Финитные задачи”, Докл. АН СССР, 142:5 (1962), 1015–1018 |
9
|
|
1953 |
| 6. |
Ю. Т. Медведев, “Обобщение одной теоремы Ф. Рисса”, УМН, 8:6(58) (1953), 115–118 |
3
|
|
|
|
1972 |
| 7. |
Ю. Т. Медведев, “Поправки к статье “Локально-финитные алгоритмические проблемы” (ДАН, т. 203, № 2, 1972 г.)”, Докл. АН СССР, 204:6 (1972), 774 |
|
