Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
In Andrzej Indrzejczak and Michał Zawidzki: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022), Łódź, Poland, 14-18 March 2022
сборник
Год издания:
2022
Серия:
Electronic Proceedings in Theoretical Computer Science
Том:
358
Добавил в систему:
Петрухин Ярослав Игоревич
Статьи, опубликованные в сборнике
2022
Cyclic Negations and Four-valuedness
Grigoriev Oleg
,
Zaitsev Dmitry
в сборнике
In Andrzej Indrzejczak and Michał Zawidzki: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022), Łódź, Poland, 14-18 March 2022
, серия
Electronic Proceedings in Theoretical Computer Science
, том 358, с. 216-226
DOI
2022
Normalisation for Some Infectious Logics and Their Relatives
Petrukhin Yaroslav
в сборнике
In Andrzej Indrzejczak and Michał Zawidzki: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022), Łódź, Poland, 14-18 March 2022
, серия
Electronic Proceedings in Theoretical Computer Science
, том 358, с. 12-24
DOI