Podkolzin Aleksandr Sergeevich

Publications in Math-Net.Ru

1. Introduction to logical processes. The algorithmic language LDS
   
   Intelligent systems. Theory and applications, 29:4 (2025),  8–89
2. Introduction to logical processes. General diagram of the solver’s functioning
   
   Intelligent systems. Theory and applications, 29:3 (2025),  6–52
3. Introduction to logical processes. Representation of problems in the solver
   
   Intelligent systems. Theory and applications, 29:2 (2025),  5–138
4. About algorithmization of knowledge
   
   Intelligent systems. Theory and applications, 25:4 (2021),  193–204
5. Reports from the Automata Theory seminar
   
   Intelligent systems. Theory and applications, 22:4 (2018),  137–142
6. Исследование логических процессов путем компьютерного моделирования
   
   Intelligent systems. Theory and applications, 20:3 (2016),  164–168
7. On the synthesis of minimal sources
   
   Diskr. Mat., 8:4 (1996),  37–43
8. A computer solver of mathematical problems
   
   Dokl. Akad. Nauk, 335:4 (1994),  427–429
9. A system for the automated solution of problems in elementary algebra
   
   Diskr. Mat., 6:4 (1994),  35–57
10. On the organization of knowledge bases in view of automatic problem solving
    
    Diskr. Mat., 3:3 (1991),  13–30
11. Solution of systems of automaton equations
    
    Diskr. Mat., 2:1 (1990),  94–103
12. Fundamental directions in the theory of homogeneous structures
    
    Diskr. Mat., 1:3 (1989),  19–38
13. The time of existence of configurations in homogeneous structures
    
    Zh. Vychisl. Mat. Mat. Fiz., 15:3 (1975),  737–748