Gavrilenko Yury Vyacheslavovich

Publications in Math-Net.Ru

1. The structure of grounded congruences and the unification of infinite systems of equations in terms
   
   Dokl. Akad. Nauk, 329:2 (1993),  128–131
2. Congruences on terms and properties of dependence relations between variables
   
   Dokl. Akad. Nauk, 323:3 (1992),  389–393
3. The structure of principal logical computations and the expansion of idempotents
   
   Dokl. Akad. Nauk SSSR, 318:4 (1991),  789–793
4. Majorants of logic evaluations. Lifting and lowering lemmas in logic programming
   
   Dokl. Akad. Nauk SSSR, 318:3 (1991),  528–532
5. Correct classes of computations in logic programming
   
   Dokl. Akad. Nauk SSSR, 317:3 (1991),  535–539
6. Primitive recursion on finitely decomposable Cooper algebras
   
   Dokl. Akad. Nauk SSSR, 313:4 (1990),  782–786
7. Applications of Cooper algebras to the theory of tail recursion in logic programming
   
   Dokl. Akad. Nauk SSSR, 312:5 (1990),  1033–1037
8. Recursion and iteration on Cooper algebras
   
   Dokl. Akad. Nauk SSSR, 312:2 (1990),  265–269
9. Principal solutions and automorphism groups of systems of equations in terms
   
   Dokl. Akad. Nauk SSSR, 309:3 (1989),  524–528
10. Monotonic theories of feasible numbers
    
    Dokl. Akad. Nauk SSSR, 276:1 (1984),  18–22
11. Recursive realizability from the intuitionistic point of view
    
    Dokl. Akad. Nauk SSSR, 256:1 (1981),  18–22