|
Известия высших учебных заведений. Математика, 2009, номер 6, страницы 71–72
(Mi ivm1467)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Краткие сообщения
Соотношения между алгоритмическими сводимостями алгебраических систем
И. Ш. Калимуллин Кафедра алгебры и математической логики, Казанский государственный университет, г. Казань
Аннотация:
В работе приведены примеры, отличающие различные алгоритмические сводимости алгебраических систем.
Ключевые слова:
алгебрическая система, тьюринговый оператор, оператор перечисления, $\Sigma$-определимость.
Поступила: 16.12.2008
Образец цитирования:
И. Ш. Калимуллин, “Соотношения между алгоритмическими сводимостями алгебраических систем”, Изв. вузов. Матем., 2009, № 6, 71–72; Russian Math. (Iz. VUZ), 53:6 (2009), 58–59
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm1467 https://www.mathnet.ru/rus/ivm/y2009/i6/p71
|
|