С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 2015, том 54, номер 6,страницы 663

Эта публикация цитируется в 13 статьях

Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов

С. С. Гончаров^ab, М. И. Марчук^a

^a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
^b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ

Аннотация: Даются оценки алгоритмической сложности класса вычислимых моделей конечной сигнатуры и сигнатуры графов, имеющих сильную конструктивизацию и автоустойчивых относительно сильных конструктивизаций.

Ключевые слова: модель, вычислимая модель, конструктивная модель, автоустойчивость, индексные множества.

УДК: 510.5

Поступило: 15.03.2015

DOI: 10.17377/alglog.2015.54.602