Гавриленко Юрий Вячеславович

Публикации в базе данных Math-Net.Ru

1. Строение фундированных конгруэнций и унификация бесконечных систем уравнений в термах
   
   Докл. РАН, 329:2 (1993),  128–131
2. Конгруэнции на термах и свойства отношений зависимости между переменными
   
   Докл. РАН, 323:3 (1992),  389–393
3. Строение главных логических вычислений и разложение идемпотентов
   
   Докл. АН СССР, 318:4 (1991),  789–793
4. Мажоранты логических вычислений. Леммы о подъеме и спуске в логическом программировании
   
   Докл. АН СССР, 318:3 (1991),  528–532
5. Корректные классы вычислений в логическом программировании
   
   Докл. АН СССР, 317:3 (1991),  535–539
6. Примитивная рекурсия на конечно-разложимых алгебрах Купера
   
   Докл. АН СССР, 313:4 (1990),  782–786
7. Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании
   
   Докл. АН СССР, 312:5 (1990),  1033–1037
8. Рекурсия и итерация на куперовских алгебрах
   
   Докл. АН СССР, 312:2 (1990),  265–269
9. Главные решения и группы автоморфизмов систем уравнений в термах
   
   Докл. АН СССР, 309:3 (1989),  524–528
10. Монотонные теории достижимых чисел
    
    Докл. АН СССР, 276:1 (1984),  18–22
11. Рекурсивная реализуемость с интуиционистской точки зрения
    
    Докл. АН СССР, 256:1 (1981),  18–22