KFU. Card publication. On a General Method of Constructing Post Reducibilities and the Corresponding Completeness Criteria

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

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

Form of presentation

Articles in Russian journals and collections

Year of publication

2022

��

��

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Bibliographic description in the original language

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.

Annotation

�� . �� .

Keywords

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

The name of the journal

Lobachevskii Journal of Mathematics

URL

http://ljm.kpfu.ru

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=274593&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	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/eng/?p_id=274593&p_lang=2	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	Articles in Russian journals and collections	ru_RU