Journal of Computer and System Sciences
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

Поиск публикаций
Поиск ссылок

RSS
Текущие выпуски
Архивные выпуски
Что такое RSS




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Journal of Computer and System Sciences, 2023, том 137, страницы 20–36
DOI: https://doi.org/10.1016/j.jcss.2023.04.006 (Mi jcss1) 		 
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems

Theodoros Papamakariosa, Alexander Razborovbc

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
DOI: https://doi.org/10.1016/j.jcss.2023.04.006
Поступила в редакцию: 10.11.2022
Исправленный вариант: 24.04.2023
Принята в печать: 25.04.2023
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/jcss1
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:31
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024