|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Гончаров С. С., Баженов Н. А., Марчук М. И. Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр //
Том 56 (2015), Номер 3,
стр. 498512
Получены точные оценки алгоритмической сложности для классов сильно конструктивизируемых вычислимых моделей, являющихся автоустойчивыми относительно сильных конструктивизаций и принадлежащих следующим естественным классам: булевым алгебрам, дистрибутивным решеткам, кольцам, коммутативным полугруппам, частичным порядкам.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|