Данцин Евгений Яковлевич

Публикации в базе данных Math-Net.Ru

1. Алгоритмы для пропозициональной выполнимости и верхние оценки их сложности
   
   Зап. научн. сем. ПОМИ, 277 (2001),  14–46
2. Вероятностная проверка доказательств в исчислениях
   
   Зап. научн. сем. ПОМИ, 241 (1997),  97–116
3. Доказательства в арифметике, использующие случайные числа
   
   Зап. научн. сем. ПОМИ, 220 (1995),  49–71
4. Вероятностный вывод в системах прогнозирования
   
   Докл. АН СССР, 307:1 (1989),  17–21
5. Две системы доказательства тавтологичности, основанные на методе расщеплений
   
   Зап. научн. сем. ЛОМИ, 105 (1981),  24–44
6. Об аппроксимативном варианте понятия конструктивной аналитической функции
   
   Зап. научн. сем. ЛОМИ, 60 (1976),  49–58
7. Изменение сложности функций при применении кратной рекурсии
   
   Зап. научн. сем. ЛОМИ, 32 (1972),  12–17


8. Григорий Самуилович Цейтин (некролог)
   
   УМН, 78:3(471) (2023),  170–176
9. Николай Александрович Шанин (некролог)
   
   УМН, 68:4(412) (2013),  173–176
10. Николай Александрович Шанин (к восьмидесятилетию со дня рождения)
    
    УМН, 56:3(339) (2001),  181–184