Stepan Kuznetsov
Stepan Kuznetsov
Математический институт им. В. А. Стеклова РАН
Подтвержден адрес электронной почты в домене mi.ras.ru - Главная страница
НазваниеПроцитированоГод
Lambek grammars with one division and one primitive type
S Kuznetsov
Logic Journal of the IGPL 20 (1), 207-221, 2012
102012
Undecidability of the Lambek calculus with a relevant modality
M Kanovich, S Kuznetsov, A Scedrov
Formal grammar, 240-256, 2015
92015
Undecidability of the Lambek calculus with subexponential and bracket modalities
M Kanovich, S Kuznetsov, A Scedrov
International Symposium on Fundamentals of Computation Theory, 326-340, 2017
72017
A polynomial time algorithm for the Lambek calculus with brackets of bounded order
M Kanovich, S Kuznetsov, G Morrill, A Scedrov
arXiv preprint arXiv:1705.00694, 2017
62017
Conjunctive grammars in greibach normal form and the lambek calculus with additive connectives
S Kuznetsov
Formal Grammar, 242-249, 2013
62013
Count-invariance including exponentials
S Kuznetsov, G Morrill, O Valentín
Proceedings of the 15th Meeting on the Mathematics of Language, 128-139, 2017
52017
On Lambek’s restriction in the presence of exponential modalities
M Kanovich, S Kuznetsov, A Scedrov
International Symposium on Logical Foundations of Computer Science, 146-158, 2016
52016
Lambek grammars with the unit
S Kuznetsov
Formal Grammar, 262-266, 2010
42010
Subexponentials in non-commutative linear logic
M Kanovich, S Kuznetsov, V Nigam, A Scedrov
Mathematical Structures in Computer Science, 1-33, 2018
32018
Conjunctive categorial grammars
S Kuznetsov, A Okhotin
Proceedings of the 15th Meeting on the Mathematics of Language, 140-151, 2017
32017
On translating Lambek grammars with one division into context-free grammars
SL Kuznetsov
Proceedings of the Steklov Institute of Mathematics 294 (1), 129-138, 2016
32016
L-completeness of the Lambek calculus with the reversal operation
S Kuznetsov
International Conference on Logical Aspects of Computational Linguistics …, 2012
32012
A logical framework with commutative and non-commutative subexponentials
M Kanovich, S Kuznetsov, V Nigam, A Scedrov
International Joint Conference on Automated Reasoning, 228-245, 2018
22018
Recursive Enumerability Doesn’t Always Give a Decidable Axiomatization
S Kuznetsov, V Lugovaya, A Ryzhova
¼ pª| p© Ú N| ª| À# ªÀÆ ÆÊÆ ¼ 1| v 1pª Êp pª© ¹ÊÆpÆ ª Wª Ó ¼À ÆÚ© ÀÆ …, 2017
22017
On translating context-free grammars into Lambek grammars
SL Kuznetsov
Proceedings of the Steklov Institute of Mathematics 290 (1), 63-69, 2015
22015
Lambek calculus with one division and one primitive type permitting empty antecedents
SL Kuznetsov
Moscow University Mathematics Bulletin 64 (2), 76-79, 2009
22009
Bracket induction for Lambek calculus with bracket modalities
G Morrill, S Kuznetsov, M Kanovich, A Scedrov
International Conference on Formal Grammar, 84-101, 2018
12018
The Lambek calculus with iteration: two variants
S Kuznetsov
International Workshop on Logic, Language, Information, and Computation, 182-198, 2017
12017
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
M Kanovich, S Kuznetsov, A Scedrov
arXiv preprint arXiv:1608.02254, 2016
12016
L-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
S Kuznetsov
Categories and Types in Logic, Language, and Physics, 268-278, 2014
12014
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20