|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1993 |
1. |
Ю. В. Гавриленко, “Строение фундированных конгруэнций и унификация бесконечных систем уравнений в термах”, Докл. РАН, 329:2 (1993), 128–131 ; Yu. V. Gavrilenko, “The structure of grounded congruences and the unification of
infinite systems of equations in terms”, Dokl. Math., 47:2 (1993), 196–200 |
|
1992 |
2. |
Ю. В. Гавриленко, “Конгруэнции на термах и свойства отношений зависимости между переменными”, Докл. РАН, 323:3 (1992), 389–393 ; Yu. V. Gavrilenko, “Congruences on terms and properties of dependence relations
between variables”, Dokl. Math., 45:2 (1992), 338–342 |
|
1991 |
3. |
Ю. В. Гавриленко, “Строение главных логических вычислений и разложение идемпотентов”, Докл. АН СССР, 318:4 (1991), 789–793 ; Yu. V. Gavrilenko, “The structure of principal logical computations and the expansion
of idempotents”, Dokl. Math., 43:3 (1991), 752–756 |
4. |
Ю. В. Гавриленко, “Мажоранты логических вычислений. Леммы о подъеме и спуске в логическом программировании”, Докл. АН СССР, 318:3 (1991), 528–532 ; Yu. V. Gavrilenko, “Majorants of logic evaluations. Lifting and lowering lemmas in
logic programming”, Dokl. Math., 43:3 (1991), 716–720 |
5. |
Ю. В. Гавриленко, “Корректные классы вычислений в логическом программировании”, Докл. АН СССР, 317:3 (1991), 535–539 ; Yu. V. Gavrilenko, “Correct classes of computations in logic programming”, Dokl. Math., 43:2 (1991), 422–426 |
|
1990 |
6. |
Ю. В. Гавриленко, “Примитивная рекурсия на конечно-разложимых алгебрах Купера”, Докл. АН СССР, 313:4 (1990), 782–786 ; Yu. V. Gavrilenko, “Primitive recursion on finitely decomposable Cooper algebras”, Dokl. Math., 42:1 (1991), 63–67 |
7. |
Ю. В. Гавриленко, “Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании”, Докл. АН СССР, 312:5 (1990), 1033–1037 ; Yu. V. Gavrilenko, “Applications of Cooper algebras to the theory of tail recursion in
logic programming”, Dokl. Math., 41:3 (1990), 501–505 |
8. |
Ю. В. Гавриленко, “Рекурсия и итерация на куперовских алгебрах”, Докл. АН СССР, 312:2 (1990), 265–269 ; Yu. V. Gavrilenko, “Recursion and iteration on Cooper algebras”, Dokl. Math., 41:3 (1990), 425–429 |
|
1989 |
9. |
Ю. В. Гавриленко, “Главные решения и группы автоморфизмов систем уравнений в термах”, Докл. АН СССР, 309:3 (1989), 524–528 ; Yu. V. Gavrilenko, “Principal solutions and automorphism groups of systems of
equations in terms”, Dokl. Math., 40:3 (1990), 529–533 |
|
1984 |
10. |
Ю. В. Гавриленко, “Монотонные теории достижимых чисел”, Докл. АН СССР, 276:1 (1984), 18–22 |
1
|
|
1981 |
11. |
Ю. В. Гавриленко, “Рекурсивная реализуемость с интуиционистской точки зрения”, Докл. АН СССР, 256:1 (1981), 18–22 |
|