–
Доклады на научных конференциях
-
- 2023 Explorations in subexponential non-associative non-commutative linear logic (Устный)
- Авторы: Blaisdell Eben, Kanovich Max, Kuznetsov Stepan L., Pimentel Elaine, Scedrov Andre
- Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Любляна, Словения, 7-8 августа 2023
-
- 2022 Non-associative, non-commutative multi-modal linear logic (Устный)
- Авторы: Blaisdell Eben, Kanovich Max, Kuznetsov Stepan, Pimentel Elaine, Scedrov Andre
- 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Хайфа, Израиль, 8-10 августа 2022