|
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)
Разрешимость позитивной теории свободной счетнопорожденной полугруппы
Ю. М. Важенин, Б. В. Розенблат
Аннотация:
Для позитивной теории свободной счетнопорожденной полугруппы построен разрешающий алгоритм с оценкой числа шагов, получающийся модификацией алгоритма из работы Г. С. Маканина “Проблема разрешимости уравнений в свободной полугруппе” (Матем. сб., 103(145) (1977), 147–236).
Библиография: 7 названий.
Поступила в редакцию: 17.04.1980 и 26.12.1980
Образец цитирования:
Ю. М. Важенин, Б. В. Розенблат, “Разрешимость позитивной теории свободной счетнопорожденной полугруппы”, Матем. сб., 116(158):1(9) (1981), 120–127; Yu. M. Vazhenin, B. V. Rozenblat, “Decidability of the positive theory of a free countably generated semigroup”, Math. USSR-Sb., 44:1 (1983), 109–116
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sm2443 https://www.mathnet.ru/rus/sm/v158/i1/p120
|
Статистика просмотров: |
Страница аннотации: | 350 | PDF русской версии: | 84 | PDF английской версии: | 13 | Список литературы: | 35 | Первая страница: | 1 |
|