|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
1. |
S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Sib. Èlektron. Mat. Izv., 17 (2020), 380–394 |
4
|
|
2018 |
2. |
S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Sibirsk. Mat. Zh., 59:6 (2018), 1279–1290 ; Siberian Math. J., 59:6 (2018), 1014–1023 |
9
|
|
1986 |
3. |
S. S. Goncharov, D. I. Sviridenko, “Mathematical foundations of semantic programming”, Dokl. Akad. Nauk SSSR, 289:6 (1986), 1324–1328 |
5
|
|
1982 |
4. |
N. N. Nepeivoda, D. I. Sviridenko, “On the theory of program synthesis”, Trudy Inst. Mat. Sib. Otd. AN SSSR, 2 (1982), 159–175 |
|
Organisations |
|
|