Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
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

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