Nepeivoda Nikolai Nikolaevich

Publications in Math-Net.Ru

1. Continuity as computability
   
   Probl. Upr., 2025, no. 6,  24–38
2. Additive representations of numbers: some remarks
   
   Program Systems: Theory and Applications, 8:4 (2017),  101–115
3. Using overflows to control parallel and distributed computations
   
   Program Systems: Theory and Applications, 8:3 (2017),  87–107
4. Local computations in system theory and VLDB
   
   Program Systems: Theory and Applications, 7:4 (2016),  145–160
5. Rational agents as probabilistic automata
   
   Program Systems: Theory and Applications, 6:1 (2015),  99–108
6. New representation of real numbers
   
   Program Systems: Theory and Applications, 5:4 (2014),  105–121
7. Algebra icapproac to control
   
   Probl. Upr., 2013, no. 6,  2–14
8. Рефлексирующие программные системы
   
   Sib. Zh. Ind. Mat., 4:1 (2001),  22–28
9. Semantics of algorithmic languages
   
   Itogi Nauki i Tekhniki. Ser. Teor. Veroyatn. Mat. Stat. Teor. Kibern., 20 (1983),  95–166
10. Some possibilities for the application of constructive analysis to classical analysis
    
    Dokl. Akad. Nauk SSSR, 266:2 (1982),  284–287
11. On the theory of program synthesis
    
    Trudy Inst. Mat. Sib. Otd. AN SSSR, 2 (1982),  159–175
12. A relation between the natural deduction rules and operators of higher level algorithmic languages
    
    Dokl. Akad. Nauk SSSR, 239:3 (1978),  526–529
13. The language $\Delta$ with intuitionistic connectives
    
    Dokl. Akad. Nauk SSSR, 220:1 (1975),  41–43
14. The language $\Delta$ with weak three-valued logic
    
    Dokl. Akad. Nauk SSSR, 219:6 (1974),  1325–1327
15. A certain generalization of the Kleene–Mostowski hierarchy
    
    Dokl. Akad. Nauk SSSR, 212:2 (1973),  295–297
16. The relation between predicative significance and the intuition of generality
    
    Dokl. Akad. Nauk SSSR, 212:1 (1973),  40–43
17. A new concept of predicative truth and definability
    
    Mat. Zametki, 13:5 (1973),  735–745
18. On embedding Boolean algebras in the Lindenbaum–Tarski algebra
    
    Dokl. Akad. Nauk SSSR, 199:1 (1971),  23–25


19. Mathematician and practitioner: mutual (mis)understanding
    
    Vestn. Udmurtsk. Univ. Mat., 2007, no. 1,  251–268