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

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

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


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




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

Записки научных семинаров ЛОМИ, 1976, том 60, страницы 197–206 (Mi znsl2079)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О распознавании тавтологичности пропозициональных формул

П. Ю. Суворов
PDF полного текста (489 kB) Список цитирования (1)
Аннотация: В работе описан формальный язык, предложения которого выражают (в некотором смысле) свойства пропозициональных формул.
Для некоторого подмножества предложений этого языка доказано, что каждое из них определяет класс пропозициональных формул, на котором возможно распознавание тавтологичности за время, полиномиально зависящее от длины формулы. Библ. 3 назв.
Англоязычная версия:
Journal of Soviet Mathematics, 1980, Volume 14, Issue 5, Pages 1556–1562
DOI: https://doi.org/10.1007/BF01693987
Реферативные базы данных:
УДК: 51.01, 518.5
Образец цитирования: П. Ю. Суворов, “О распознавании тавтологичности пропозициональных формул”, Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, Изд-во «Наука», Ленинград. отд., Л., 1976, 197–206; J. Soviet Math., 14:5 (1980), 1556–1562
Цитирование в формате AMSBIB
\RBibitem{Suv76}
\by П.~Ю.~Суворов
\paper О~распознавании тавтологичности пропозициональных формул
\inbook Исследования по конструктивной математике и математической логике.~VII
\serial Зап. научн. сем. ЛОМИ
\yr 1976
\vol 60
\pages 197--206
\publ Изд-во «Наука», Ленинград. отд.
\publaddr Л.
\mathnet{http://mi.mathnet.ru/znsl2079}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=535014}
\zmath{https://zbmath.org/?q=an:0465.68044|0343.68041}
\transl
\jour J. Soviet Math.
\yr 1980
\vol 14
\issue 5
\pages 1556--1562
\crossref{https://doi.org/10.1007/BF01693987}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl2079
  • https://www.mathnet.ru/rus/znsl/v60/p197
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
    Статистика просмотров:
    Страница аннотации:138
    PDF полного текста:49
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024