Complexity of the Problem of Being Equivalent to Horn Formulas Научная публикация
| Журнал |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||
|---|---|---|---|
| Вых. Данные | Год: 2021, Том: 60, Номер: 6, Страницы: 380-388 Страниц : 9 DOI: 10.1007/s10469-022-09665-z | ||
| Ключевые слова | Horn formula; m-reducibility Σ01 set | ||
| Авторы |
|
||
| Организации |
|
Библиографическая ссылка:
Kogabaev N.T.
Complexity of the Problem of Being Equivalent to Horn Formulas
Algebra and Logic. 2021. V.60. N6. P.380-388. DOI: 10.1007/s10469-022-09665-z WOS Scopus РИНЦ OpenAlex
Complexity of the Problem of Being Equivalent to Horn Formulas
Algebra and Logic. 2021. V.60. N6. P.380-388. DOI: 10.1007/s10469-022-09665-z WOS Scopus РИНЦ OpenAlex
Оригинальная:
Когабаев Н.Т.
О сложности проблемы эквивалентности хорновским формулам
Алгебра и логика. 2021. Т.60. №6. С.575–586. DOI: 10.33048/alglog.2021.60.605 РИНЦ
О сложности проблемы эквивалентности хорновским формулам
Алгебра и логика. 2021. Т.60. №6. С.575–586. DOI: 10.33048/alglog.2021.60.605 РИНЦ
Идентификаторы БД:
| Web of science: | WOS:000788412400001 |
| Scopus: | 2-s2.0-85128912979 |
| РИНЦ: | 48431120 |
| OpenAlex: | W4225100976 |