Sviridenko Dmitrii Ivanovich

Publications in Math-Net.Ru

1. The expressiveness of looping terms in the semantic programming
   
   Sib. Èlektron. Mat. Izv., 17 (2020),  380–394
2. Recursive terms in semantic programming
   
   Sibirsk. Mat. Zh., 59:6 (2018),  1279–1290
3. Mathematical foundations of semantic programming
   
   Dokl. Akad. Nauk SSSR, 289:6 (1986),  1324–1328
4. On the theory of program synthesis
   
   Trudy Inst. Mat. Sib. Otd. AN SSSR, 2 (1982),  159–175