Initial segments of computable linear orders with additional computable predicates - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

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

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

Авторов:
761 409

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

Initial segments of computable linear orders with additional computable predicates

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

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

Аннотация:

Ключевые слова:
Computability, Initial segment, Linear order, Recursiveness

Тип: Article

Источник: SCOPUS00025232-2009-48-5-SID70949106263

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

Initial segments of computable linear orders with additional computable predicates

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