Stepan Kuznetsov
Publications
- Complexity of the Infinitary Lambek Calculus With Kleene Star. Stepan Kuznetsov. 2020.
- Language Models for Some Extensions of the Lambek Calculus. Max Kanovich, Stepan Kuznetsov, Andre Scedrov. 2020.
- The Multiplicative-Additive Lambek Calculus With Subexponential and Bracket Modalities. Max Kanovich, Stepan Kuznetsov, Andre Scedrov. 2020.
- Action Logic Is Undecidable. Stepan Kuznetsov. 2019.
- A Polynomial Time Algorithm for the Lambek Calculus With Brackets of Bounded Order. Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov. 2017.
- Subexponentials in Non-Commutative Linear Logic. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov. 2017.
- Eliminating the Unit Constant in the Lambek Calculus With Brackets. Stepan Kuznetsov. 2017.