|
|
Публикации в базе данных Math-Net.Ru
-
Синтез и верификация логических моделей
Автомат. и телемех., 2004, № 6, 177–187
-
Мультипликативная алгебра и ее применение в логической обработке данных
Пробл. управл., 2004, № 3, 67–77
-
Информационное управление (предпосылки, методы и средства)
Пробл. управл., 2003, № 1, 62–67
-
Линейные модели схем на многозначных элементах
Автомат. и телемех., 2002, № 6, 99–119
-
Кратные логические вычисления
Автомат. и телемех., 1998, № 6, 163–171
-
Систолическая реализация дискретного преобразования Хаара
Автомат. и телемех., 1997, № 9, 138–145
-
Интенсивные логические вычисления
Автомат. и телемех., 1993, № 4, 160–167
-
Арифметическое представление сетей Петри
Автомат. и телемех., 1987, № 5, 156–164
-
Реализация кортежей булевых функций посредством линейных арифметических полиномов
Автомат. и телемех., 1984, № 2, 114–122
-
Реализация булевых функций арифметическими полиномами
Автомат. и телемех., 1982, № 4, 84–93
-
О полиномиальной реализации кортежа булевых функций
Докл. АН СССР, 265:6 (1982), 1338–1341
-
Рецензия на книгу Radomir S. Stankovic and Jaakko T. Astola “Spectral Interpretation of Decision
Diagrams”, Springer, 2003 (Спектральная интерпретация решающих диаграмм)
Автомат. и телемех., 2005, № 4, 185–187
-
Памяти Л. А. Залманзона
Автомат. и телемех., 2004, № 6, 221
© , 2026