ИСТИНА

• Охват: Международная
• Даты проведения: 11-13 сентября 2017
• Место проведения: Бордо, France
• Организатор:
  Университет Бордо
• Добавил в систему: Кузнецов Степан Львович

Доклады:

• 2017 Undecidability of the Lambek calculus with subexponential and bracket modalities (Пленарный)
• Авторы: Kanovich Max, Scedrov Andre, Kuznetsov Stepan