Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
Theory of Computing Systems
журнал
Индексирование: Scopus (1 января 1970 г.-), JCR (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-)
Период активности журнала: не указан
Другие названия журнала:
Theory Comput. Syst
,
Theory of Computing Systems
Издательство:
Springer Verlag
Местоположение издательства:
Germany
ISSN:
1433-0490, 1432-4350 (Print)
Статьи, опубликованные в журнале
2019
Recognizing Read-Once Functions from Depth-Three Formulas
Kozachinskiy Alexander
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
DOI
2019
The Number of Clones Determined by Disjunctions of Unary Relations
Behrisch Mike
,
Vargas-García Edith
,
Zhuk Dmitriy
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 63, № 6, с. 1298-1313
DOI
2018
Cascade Heap: Towards Time-Optimal Extractions
Babenko Maxim
,
Kolesnichenko Ignat
,
Smirnov Ivan
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 63, № 4, с. 637-646
DOI
2018
On Algorithmic Statistics for Space-bounded Algorithms
Milovanov A.
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
DOI
2018
On Slepian–Wolf Theorem with Interaction
Kozachinskiy Alexander
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 62, № 3, с. 583-599
DOI
2017
Short lists with short programs from programs of functions and strings
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 61, № 4, с. 1440-1450
DOI
2016
Algorithmic Minimal Sufficient Statistics: a New Approach
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 76, № 3, с. 749-781
DOI
2016
Polynomial-time algorithms for checking some properties of Boolean functions given by polynomials
Selezneva Svetlana N.
,
Bukhman Anton V.
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 58, № 3, с. 383-391
DOI
2016
The Sum 2 KM(x)−K(x) Over All Prefixes x of Some Binary Sequence Can be Infinite
Andreev Mikhail
,
Kumok Akim
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 58, № 3, с. 424-440
DOI
2015
Topological arguments for Kolmogorov complexity
Romashchenko Andrei
,
Shen Alexander
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 56, № 3, с. 513-526
DOI
2014
Encoding invariance in average case complexity
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 54, № 2, с. 305-317
DOI
2010
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible
Buhrman Harry
,
Fortnow Lance
,
Koucky Michal
,
Rogers John D.
,
Vereshchagin Nikolai
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 46, № 1, с. 143-156
DOI
2010
Limit complexities revisited
Bienvenu Laurent
,
Muchnik Andrej
,
Shen Alexander
,
Vereshchagin Nikolay
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 47, с. 720-736
DOI
2010
Preface
Artemov Sergei
, Diekert Volker, Grigoriev Dima
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 46, № 1, с. 1-1
DOI
2010
Special Issue: Symposium on Computer Science Preface
Artemov Sergei
,
Diekert Volker
, Razborov Alexander
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 46, № 4, с. 619-619
DOI
2008
Foreword
Artemov Sergei
, Diekert Volker, Grigoriev Dima
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 43, № 2, с. 99-99
DOI
2008
Interacting explicit evidence systems
Yavorskaya T.
в журнале
Theory of Computing Systems
, издательство
Springer Verlag
(Germany)
, том 43, № 2, с. 272-293