Sviridenko Dmitrii Ivanovich

Publications in Math-Net.Ru

1. The task-based approach: a new paradigm for building trustworthy artificial intelligence
   
   Bulletin of Irkutsk State University. Series Mathematics, 54 (2025),  96–112
2. Task-based approach to digital transformations
   
   Bulletin of Irkutsk State University. Series Mathematics, 54 (2025),  78–95
3. The expressiveness of looping terms in the semantic programming
   
   Sib. Èlektron. Mat. Izv., 17 (2020),  380–394
4. Recursive terms in semantic programming
   
   Sibirsk. Mat. Zh., 59:6 (2018),  1279–1290
5. Mathematical foundations of semantic programming
   
   Dokl. Akad. Nauk SSSR, 289:6 (1986),  1324–1328
6. On the theory of program synthesis
   
   Trudy Inst. Mat. Sib. Otd. AN SSSR, 2 (1982),  159–175