Stepan Kuznetsov
Высшая школа экономики
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Advanced Algebra and Logic
- semigroups and automata theory
- Natural Language Processing Techniques
Чем занимается
Ключевые темы по публикациям: Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; semigroups and automata theory; Natural Language Processing Techniques.
Последние работы
Все 71 в OpenAlex- A Logical Framework with Commutative and Non-commutative Subexponentials2018
The Logic of Action Lattices is Undecidable2019 · аннотациясвернуть
We prove algorithmic undecidability of the (in)equational theory of residuated Kleene lattices (action lattices), thus solving a problem left open by D. Kozen, P. Jipsen, W. Buszkowski.
- Infinitary Action Logic with Multiplexing2022
- The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later2019
- Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives2013
- On Lambek Grammars with Kleene Star2026
Алгоритмическая сложность теорий с итерацией Клини2026 · аннотациясвернуть
Итерация (звeздочка) Клини - это одна из наиболее интересных алгебраических операций, встречающихся в теоретической информатике. Исследования структур с этой операцией - алгебр Клини и их расширений - начинаются с…
- Complexity of Equational Theories for Relational and Language Action Lattices2026
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Stepan Kuznetsov! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «A Logical Framework with Commutative and Non-commutative Subexponentials» (2018) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.