Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Logical Methods in Computer Science
журнал
Индексирование: Scopus (1 января 1970 г.-), JCR (1 января 1970 г.-), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), Белый список (20 октября 2022 г.-)
Период активности журнала: не указан
Издательство:
Technischen Universitat Braunschweig
Местоположение издательства:
Germany
ISSN:
1860-5974 (Print)
Статьи, опубликованные в журнале
2022
Small Promise CSPs that reduce to large CSPs
Kazda Alexandr
,
Mayr Peter
,
Zhuk Dmitriy
в журнале
Logical Methods in Computer Science
, издательство
Technischen Universitat Braunschweig
(Germany)
, том 18, № 3
DOI
2016
Generic algorithms for halting problem and optimal machines revisited
Bienvenu Laurent
,
Desfontaines Damien
,
Shen Alexander
в журнале
Logical Methods in Computer Science
, издательство
Technischen Universitat Braunschweig
(Germany)
, том 12, № 2
DOI