КФУ. Карточка публикации. Fixed point theorems for minimal numberings

RUS

FIXED POINT THEOREMS FOR MINIMAL NUMBERINGS

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

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

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

2023

Язык

английский

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

Файзрахманов Марат Хайдарович, автор

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

Faizrahmanov M. Fixed point theorems for minimal numberings // J. Log. Comput. - 2023. DOI 10.1093/logcom/exad074.

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

numbering, minimal numbering, fixed point, the recursion theorem, complete numbering, precomplete numbering

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

Journal of Logic and Computation

URL

https://doi.org/10.1093/logcom/exad074

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

Поле DC	Значение	Язык
dc.contributor.author	Файзрахманов Марат Хайдарович	ru_RU
dc.date.accessioned	2023-01-01T00:00:00Z	ru_RU
dc.date.available	2023-01-01T00:00:00Z	ru_RU
dc.date.issued	2023	ru_RU
dc.identifier.citation	Faizrahmanov M. Fixed point theorems for minimal numberings // J. Log. Comput. - 2023. DOI 10.1093/logcom/exad074.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=290339	ru_RU
dc.description.abstract	Journal of Logic and Computation	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	numbering	ru_RU
dc.subject	minimal numbering	ru_RU
dc.subject	fixed point	ru_RU
dc.subject	the recursion theorem	ru_RU
dc.subject	complete numbering	ru_RU
dc.subject	precomplete numbering	ru_RU
dc.title	Fixed point theorems for minimal numberings	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU