Аннотация:
Получены точные оценки алгоритмической сложности для классов сильно конструктивизируемых вычислимых моделей, являющихся автоустойчивыми относительно сильных конструктивизаций и принадлежащих следующим естественным классам: булевым алгебрам, дистрибутивным решеткам, кольцам, коммутативным полугруппам, частичным порядкам.
Образец цитирования:
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. матем. журн., 56:3 (2015), 498–512; Siberian Math. J., 56:3 (2015), 393–404