Материалов:
1 005 042

Репозиториев:
0

Авторов:
761 409

расширенный поиск

Turing and enumeration jumps in the Ershov hierarchy

Faizrahmanov M., Kalimullin I.

Дата публикации: 2012

Дата публикации в реестре: 2020-03-01T01:03:37Z

Аннотация:
Ключевые слова:
constructive ordinals, Enumeration, enumeration jump, enumeration operator, Ershov hierarchy, reducibility

Тип: Conference Paper

Источник: SCOPUS0955792X-2012-22-4-SID84864741858

Другие версии документа

Turing and enumeration jumps in the Ershov hierarchy

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core