|
|
|
Публикации в базе данных 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   |
4
|
|
2018 |
| 2. |
С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018), 1279–1290  ; S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023  |
9
|
|
1986 |
| 3. |
С. С. Гончаров, Д. И. Свириденко, “Математические основы семантического программирования”, Докл. АН СССР, 289:6 (1986), 1324–1328   |
5
|
|
1982 |
| 4. |
Н. Н. Непейвода, Д. И. Свириденко, “К теории синтеза программ”, Тр. Ин-та математики, 2 (1982), 159–175 |
|
Обратная связь: