|
|
Алгебра и логика, 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
|
| Статистика просмотров: |
| Страница аннотации: | 71 | | PDF полного текста: | 21 | | Список литературы: | 1 |
|
Цитирование в формате AMSBIB
Обратная связь: