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

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

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


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




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

Алгебра и логика, 2023, том 62, номер 4, страницы 552–557
DOI: https://doi.org/10.33048/alglog.2023.62.406 (Mi al2776) 		 
Сообщения

О сложности проблемы $\forall$-представимости предложений

Н. Т. Когабаевab

a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
PDF полного текста (140 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/alglog.2023.62.406
Финансовая поддержка Номер гранта
Российский научный фонд 23-11-00170
Работа выполнена за счёт гранта Российского научного фонда, проект № 23-11-00170, https://rscf.ru/project/23-11-00170.
Тип публикации: Статья
УДК: 510.53
Образец цитирования: Н. Т. Когабаев, “О сложности проблемы $\forall$-представимости предложений”, Алгебра и логика, 62:4 (2023), 552–557
Цитирование в формате AMSBIB
\RBibitem{Kog23}
\by Н.~Т.~Когабаев
\paper О сложности проблемы $\forall$-представимости предложений
\jour Алгебра и логика
\yr 2023
\vol 62
\issue 4
\pages 552--557
\mathnet{http://mi.mathnet.ru/al2776}
\crossref{https://doi.org/10.33048/alglog.2023.62.406}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2776
  • https://www.mathnet.ru/rus/al/v62/i4/p552
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:68
    PDF полного текста:28
    Список литературы:19
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024