|
Алгебра и логика, 1983, том 22, номер 4, страницы 372–381
(Mi al1819)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Сложность индексного множества конструктивной модели
В. П. Добрица
Аннотация:
Дается оценка сложности индексного множества конструктивной модели в вычислимой индексации класса конструктивных моделей. Построен пример, показывающий, что понятия “невычислимый класс конструктивных моделей” и “эффективно бесконечный класс конструктивных моделей” различаются.
Поступило: 21.04.1983
Образец цитирования:
В. П. Добрица, “Сложность индексного множества конструктивной модели”, Алгебра и логика, 22:4 (1983), 372–381
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1819 https://www.mathnet.ru/rus/al/v22/i4/p372
|
Статистика просмотров: |
Страница аннотации: | 51 | PDF полного текста: | 18 |
|