Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Гавриленко Ю В

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 11

Статистика просмотров:
Эта страница:81
Страницы публикаций:945
Полные тексты:303

https://www.mathnet.ru/rus/person145541
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
1993
1. Ю. В. Гавриленко, “Строение фундированных конгруэнций и унификация бесконечных систем уравнений в термах”, Докл. РАН, 329:2 (1993),  128–131  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; Yu. V. Gavrilenko, “Correct classes of computations in logic programming”, Dokl. Math., 43:2 (1991), 422–426
1990
6. Ю. В. Гавриленко, “Примитивная рекурсия на конечно-разложимых алгебрах Купера”, Докл. АН СССР, 313:4 (1990),  782–786  mathnet  mathscinet; Yu. V. Gavrilenko, “Primitive recursion on finitely decomposable Cooper algebras”, Dokl. Math., 42:1 (1991), 63–67
7. Ю. В. Гавриленко, “Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании”, Докл. АН СССР, 312:5 (1990),  1033–1037  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; Yu. V. Gavrilenko, “Recursion and iteration on Cooper algebras”, Dokl. Math., 41:3 (1990), 425–429
1989
9. Ю. В. Гавриленко, “Главные решения и группы автоморфизмов систем уравнений в термах”, Докл. АН СССР, 309:3 (1989),  524–528  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath 1
1981
11. Ю. В. Гавриленко, “Рекурсивная реализуемость с интуиционистской точки зрения”, Докл. АН СССР, 256:1 (1981),  18–22  mathnet  mathscinet  zmath

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024