КФУ. Карточка публикации. On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

ON A GENERAL METHOD OF CONSTRUCTING POST REDUCIBILITIES AND THE CORRESPONDING COMPLETENESS CRITERIA

Форма представления

Статьи в российских журналах и сборниках

Год публикации

2022

Язык

английский

Авторы, сотрудники КФУ

Арсланов Марат Мирзаевич, автор

Библиографическое описание на языке оригинала

Arslanov M.M. On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria/ M.M. Arslanov//Lobachevskii Journal of Mathematics. - 2022. - v. 43. - № 12. - C. 24–28.

Аннотация

Предложен один общий подход для описания постовских сводимостей. Для сводимостей из описанного класса получен критерий полноты перечислимых множеств.

Ключевые слова

reducibility, fixed-point, computable function, computably enumerable set, truth-table reducibility

Название журнала

Lobachevskii Journal of Mathematics

URL

http://ljm.kpfu.ru

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=274593

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Арсланов Марат Мирзаевич	ru_RU
dc.date.accessioned	2022-01-01T00:00:00Z	ru_RU
dc.date.available	2022-01-01T00:00:00Z	ru_RU
dc.date.issued	2022	ru_RU
dc.identifier.citation	Arslanov M.M. On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria/ M.M. Arslanov//Lobachevskii Journal of Mathematics. - 2022. - v. 43. - № 12. - C. 24–28.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=274593	ru_RU
dc.description.abstract	Lobachevskii Journal of Mathematics	ru_RU
dc.description.abstract	Предложен один общий подход для описания постовских сводимостей. Для сводимостей из описанного класса получен критерий полноты перечислимых множеств.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	reducibility	ru_RU
dc.subject	fixed-point	ru_RU
dc.subject	computable function	ru_RU
dc.subject	computably enumerable set	ru_RU
dc.subject	truth-table reducibility	ru_RU
dc.title	On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria	ru_RU
dc.type	Статьи в российских журналах и сборниках	ru_RU