Сибирский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирский математический журнал, 1995, том 36, номер 5, страницы 1067–1080 (Mi smj577)  
Эта публикация цитируется в 34 научных статьях (всего в 34 статьях)

Неразрешимость позитивной $\forall\exists^3$-теории свободной полугруппы

В. Г. Дурнев
PDF полного текста (1604 kB) Список цитирования (34)
Аннотация: Доказывается алгоритмическая неразрешимость позитивной $\forall\exists^3$-теории свободной полугруппы. Исследуются некоторые алгоритмические проблемы для диофантовых множеств в свободных полугруппах. Показывается, что для удаления знака дизъюнкции из формулы, относящейся к свободной полугруппе, достаточно двух новых переменных.
Библиогр. 19.
Статья поступила: 22.11.1994
Англоязычная версия:
Siberian Mathematical Journal, 1995, Volume 36, Issue 5, Pages 917–929
DOI: https://doi.org/10.1007/BF02112533
Реферативные базы данных:
УДК: 512.543.12, 512.54.03
Образец цитирования: В. Г. Дурнев, “Неразрешимость позитивной $\forall\exists^3$-теории свободной полугруппы”, Сиб. матем. журн., 36:5 (1995), 1067–1080; Siberian Math. J., 36:5 (1995), 917–929
Цитирование в формате AMSBIB
\RBibitem{Dur95}
\by В.~Г.~Дурнев
\paper Неразрешимость позитивной $\forall\exists^3$-теории свободной полугруппы
\jour Сиб. матем. журн.
\yr 1995
\vol 36
\issue 5
\pages 1067--1080
\mathnet{http://mi.mathnet.ru/smj577}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1373596}
\zmath{https://zbmath.org/?q=an:0853.20035}
\transl
\jour Siberian Math. J.
\yr 1995
\vol 36
\issue 5
\pages 917--929
\crossref{https://doi.org/10.1007/BF02112533}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1995TH45700007}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj577
  • https://www.mathnet.ru/rus/smj/v36/i5/p1067
    • Эта публикация цитируется в следующих 34 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:342
    PDF полного текста:113
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024