О ТЕХНОЛОГИИ МНОГОУРОВНЕВОЙ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕММахортов С.Д.
|
|
ПОРОЖДАЮЩИЕ МНОЖЕСТВА В ПРОДУКЦИОННЫХ СИСТЕМАХМахортов С.Д.
|
|
ЛОГИЧЕСКИЕ ОТНОШЕНИЯ НА РЕШЕТКАХМахортов С.Д.
|
|
ЛОГИЧЕСКИЕ УРАВНЕНИЯ НА РЕШЕТКАХМахортов С.Д.,Результаты И
|
|
Некоммутативные решетки и немонотонные логические отношенияМахортов С.Д.
|
|
АЛГЕБРЫ ВЕСОВЫХ И ВЫРОЖДАЮЩИХСЯ ПСЕВДОДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВМахортов С.Д.
|
|
МЕТОДЫ ИССЛЕДОВАНИЯ И ПРЕОБРАЗОВАНИЯ ИЕРАРХИЙ ТИПОВ НА ОСНОВЕ ЛОГИЧЕСКИХ СТРУКТУРМахортов С.Д.
|
|
ОБ АЛГЕБРАИЧЕСКОЙ ИНТЕРПРЕТАЦИИ ПРОДУКЦИОННОЙ ЛОГИКИ НУЛЕВОГО ПОРЯДКАМахортов С.Д.
|
|
О ПРИЛОЖЕНИЯХ LP-СТРУКТУР В ТЕОРИИ ПРОГРАММИРОВАНИЯМахортов С.Д.
|
|
АЛГЕБРАИЧЕСКИЙ ПОДХОД К РЕШЕНИЮ НЕКОТОРЫХ ЗАДАЧ РЕФАКТОРИНГАМахортов С.Д.,Погореленко В.А.
|