|
Записки научных семинаров ЛОМИ, 1976, том 60, страницы 197–206
(Mi znsl2079)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О распознавании тавтологичности пропозициональных формул
П. Ю. Суворов
Аннотация:
В работе описан формальный язык, предложения которого выражают (в некотором смысле) свойства пропозициональных формул.
Для некоторого подмножества предложений этого языка доказано,
что каждое из них определяет класс пропозициональных формул,
на котором возможно распознавание тавтологичности за время, полиномиально
зависящее от длины формулы. Библ. 3 назв.
Образец цитирования:
П. Ю. Суворов, “О распознавании тавтологичности пропозициональных формул”, Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, Изд-во «Наука», Ленинград. отд., Л., 1976, 197–206; J. Soviet Math., 14:5 (1980), 1556–1562
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2079 https://www.mathnet.ru/rus/znsl/v60/p197
|
Статистика просмотров: |
Страница аннотации: | 138 | PDF полного текста: | 49 |
|