Н. Т. Когабаев, “О сложности проблемы $\forall$-представимости предложений”, Алгебра и логика, 2023, том 62, номер 4,страницы 552–557

RUS ENG

Полная версия

ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2023, том 62, номер 4, страницы 552–557 (Mi al2776)

Сообщения

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

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

^a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
^b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ

УДК: 510.53

DOI: 10.33048/alglog.2023.62.406

© МИАН, 2024