|
|
|
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 |
|
|
Contact us: