КФУ. Карточка публикации. Turing and enumeration jumps in the Ershov hierarchy

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

RUS

- EN
- 中文
- ES

TURING AND ENUMERATION JUMPS IN THE ERSHOV HIERARCHY

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

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

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

2012

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

Калимуллин Искандер Шагитович, автор

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

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

Faizrahmanov, Marat Kh.; Kalimullin, Iskander Sh. Turing and enumeration jumps in the Ershov hierarchy //Journal of Logic and Computation. Vol.22, N.4, 2012 , pp.737-743

Аннотация

J LOGIC COMPUT

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

оператор перечисления, скачок по перечислимости, конструктивный ординал, иерархия Ершова

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

J LOGIC COMPUT

URL

http://logcom.oxfordjournals.org/content/22/4/737

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Калимуллин Искандер Шагитович	ru_RU
dc.contributor.author	Файзрахманов Марат Хайдарович	ru_RU
dc.date.accessioned	2012-01-01T00:00:00Z	ru_RU
dc.date.available	2012-01-01T00:00:00Z	ru_RU
dc.date.issued	2012	ru_RU
dc.identifier.citation	Faizrahmanov, Marat Kh.; Kalimullin, Iskander Sh. Turing and enumeration jumps in the Ershov hierarchy //Journal of Logic and Computation. Vol.22, N.4, 2012 , pp.737-743	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=40100	ru_RU
dc.description.abstract	J LOGIC COMPUT	ru_RU
dc.description.abstract	J LOGIC COMPUT	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	оператор перечисления	ru_RU
dc.subject	скачок по перечислимости	ru_RU
dc.subject	конструктивный ординал	ru_RU
dc.subject	иерархия Ершова	ru_RU
dc.title	Turing and enumeration jumps in the Ershov hierarchy	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU