|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Неразрешимость простого фрагмента позитивной теории с одной константой свободной полугруппы ранга 2
В. Г. Дурнев Ярославский государственный университет им. П. Г. Демидова
Аннотация:
В статье исследуется алгоритмическая природа некоторых “простых” фрагментов позитивных теорий с “малым” числом констант свободных нециклических полугрупп.
Библиография: 9 названий.
Поступило: 27.04.1998 Исправленный вариант: 08.09.1999
Образец цитирования:
В. Г. Дурнев, “Неразрешимость простого фрагмента позитивной теории с одной константой свободной полугруппы ранга 2”, Матем. заметки, 67:2 (2000), 191–200; Math. Notes, 67:2 (2000), 152–159
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm827https://doi.org/10.4213/mzm827 https://www.mathnet.ru/rus/mzm/v67/i2/p191
|
Статистика просмотров: |
Страница аннотации: | 366 | PDF полного текста: | 179 | Список литературы: | 46 | Первая страница: | 1 |
|