Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
WoLLIC 2019
Конференция
Охват:
Международная
Даты проведения:
2-5 июля 2019
Место проведения:
Утрехт, Netherlands
Организатор:
Утрехтский университет
Число докладчиков:
20
Веб-сайт:
https://wollic2019.sites.uu.nl/
Добавил в систему:
Кузнецов Степан Львович
Доклады:
2019
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
(Пленарный)
Авторы:
Kanovich Max
,
Kuznetsov Stepan
,
Scedrov Andre
2019
Reflection Algebras for Theories of Iterated Truth Definitions
(Пленарный)
Автор:
Beklemishev L.
2019
The complexity of multiplicative-additive Lambek calculus: 25 years later
(Пленарный)
Авторы:
Kanovich Max
,
Kuznetsov Stepan
,
Scedrov Andre