И. Ш. Калимуллин, “Соотношения между алгоритмическими сводимостями алгебраических систем”, Изв. вузов. Матем., 2009, номер 6,страницы 71

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

Краткие сообщения

Соотношения между алгоритмическими сводимостями алгебраических систем

И. Ш. Калимуллин

Кафедра алгебры и математической логики, Казанский государственный университет, г. Казань

Аннотация: В работе приведены примеры, отличающие различные алгоритмические сводимости алгебраических систем.

Ключевые слова: алгебрическая система, тьюринговый оператор, оператор перечисления, $\Sigma$-определимость.

УДК: 510.5

Поступила: 16.12.2008