Classifying equivalence relations in the Ershov hierarchy - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

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

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

Авторов:
596 024

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

Classifying equivalence relations in the Ershov hierarchy

Bazhenov N., Mustafa M., San Mauro L., Sorbi A., Yamaleev M.

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

Дата публикации в реестре: 2021-03-09T14:09:23Z

Аннотация:

Ключевые слова:
Computability theory, Computably enumerable equivalence relations, Ershov hierarchy, Δ equivalence relations 2 0

Тип: Article

Источник: SCOPUS09335846-2020-59-78-SID85079714401

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