|
Алгебра и логика, 1987, том 26, номер 4, страницы 419–434
(Mi al1985)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Алгоритмические проблемы и иерархии языков первого порядка
Ю. М. Важенин
Аннотация:
Определены пять иерархий языков первого порядка, описаны критические (т.е. минимальные относительно этих иерархий неразрешимые) теории многообразий всех полугрупп, групп и ассоциативных колец и доказано, что введенные иерархии являются единственными рекурсивными с условием минимальности иерархиями в некотором конечно-аксиоматизируемом классе иерархий языков.
Поступило: 20.05.1986
Образец цитирования:
Ю. М. Важенин, “Алгоритмические проблемы и иерархии языков первого порядка”, Алгебра и логика, 26:4 (1987), 419–434
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1985 https://www.mathnet.ru/rus/al/v26/i4/p419
|
Статистика просмотров: |
Страница аннотации: | 47 | PDF полного текста: | 25 |
|