Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Свириденко Дмитрий Иванович

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4

Статистика просмотров:
Эта страница:235
Страницы публикаций:468
Полные тексты:163
Списки литературы:14
E-mail:

http://www.mathnet.ru/rus/person143892
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2020
1. S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020),  380–394  mathnet  isi
2018
2. С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018),  1279–1290  mathnet  elib; S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023  isi  scopus
1986
3. С. С. Гончаров, Д. И. Свириденко, “Математические основы семантического программирования”, Докл. АН СССР, 289:6 (1986),  1324–1328  mathnet  mathscinet  zmath
1982
4. Н. Н. Непейвода, Д. И. Свириденко, “К теории синтеза программ”, Тр. Ин-та математики, 2 (1982),  159–175  mathnet  mathscinet  zmath

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021