|
Записки научных семинаров ЛОМИ, 1974, том 40, страницы 24–29
(Mi znsl2678)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О решении систем, состоящих одновременно из уравнений в словах и неравенств в длинах слов
Н. К. Косовский
Аннотация:
Доказано, что системы, описанные в заглавии заметки, неразрешимы. Более того, некоторое неразрешимое множество $M$ представимо в виде $\exists x_1\dots x_n P$, где $P$ – система упомянутого выше типа. Тем не менее, можно указать разрешимое множество, которое нельзя представить в таком виде.
Образец цитирования:
Н. К. Косовский, “О решении систем, состоящих одновременно из уравнений в словах и неравенств в длинах слов”, Исследования по конструктивной математике и математической логике. VI, Зап. научн. сем. ЛОМИ, 40, Изд-во «Наука», Ленинград. отд., Л., 1974, 24–29
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2678 https://www.mathnet.ru/rus/znsl/v40/p24
|
Статистика просмотров: |
Страница аннотации: | 198 | PDF полного текста: | 84 |
|