Семинары: С. Л. Кузнецов, Т. Г. Пшеницын, Лекция 2. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота задачи TQBF

СЕМИНАРЫ


Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 20 февраля 2025 г. 16:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8)

Лекция 2. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота задачи TQBF С. Л. Кузнецов, Т. Г. Пшеницын