|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Undecidability of the Lambek calculus with subexponential and bracket modalitiesдоклад на конференции
- Авторы: Kanovich Max, Scedrov Andre, Kuznetsov Stepan
- Международная Конференция : Fundamentals of Computation Theory (FCT 2017)
- Даты проведения конференции: 11-13 сентября 2017
- Дата доклада: 12 сентября 2017
- Тип доклада: Пленарный
- Докладчик: Kuznetsov Stepan
- Место проведения: Бордо, France
- Добавил в систему: Кузнецов Степан Львович