Публикации в базе данных Math-Net.Ru
-
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов
Зап. научн. сем. ЛОМИ, 49 (1975), 131–158
-
Табличные аппроксимации рекурсивных предикатов
Зап. научн. сем. ЛОМИ, 40 (1974), 131–135
-
Семейства рекурсивных предикатов нулевой меры
Зап. научн. сем. ЛОМИ, 32 (1972), 121–128
-
Регулярные аппроксимации рекурсивных предикатов
Зап. научн. сем. ЛОМИ, 20 (1971), 220–233
-
Об одной характеристике сложности рекурсивных предикатов
Тр. МИАН СССР, 113 (1970), 79–101
-
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Зап. научн. сем. ЛОМИ, 8 (1968), 225–233
-
О представимости алгорифмически разрешимых предикатов машинами Рабина
Зап. научн. сем. ЛОМИ, 4 (1967), 209–218
© , 2024