RUS
ENG
Полная версия
ЖУРНАЛЫ
// Journal of Computer and System Sciences
// Архив
J. Comput. Syst. Sci., 2023, том 137,
страницы
20–36
(Mi jcss1)
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems
Theodoros Papamakarios
a
,
Alexander Razborov
bc
a
Department of Computer Science, University of Chicago, 5730 S Ellis Ave, Chicago, 60637, IL, USA
b
University of Chicago, 1100 E 58th St, Chicago, 60637, IL, USA
c
Steklov Mathematical Institute, Gubkina 8, Moscow, 117966, Russia
Поступила в редакцию:
10.11.2022
Исправленный вариант:
24.04.2023
Принята в печать:
25.04.2023
Язык публикации:
английский
DOI:
10.1016/j.jcss.2023.04.006
Реферативные базы данных:
©
МИАН
, 2024