×

zbMATH — the first resource for mathematics

Kuznetsov, Stepan L’vovich

Compute Distance To:
Author ID: kuznetsov.s-l Recent zbMATH articles by "Kuznetsov, Stepan L'vovich"
Published as: Kuznetsov, S. L.; Kuznetsov, Stepan
Homepage: http://lpcs.math.msu.su/~sk/
External Links: MGP · Math-Net.Ru · Wikidata · ORCID · dblp
Documents Indexed: 25 Publications since 2009, including 1 Book

Publications by Year

Citations contained in zbMATH

15 Publications have been cited 23 times in 11 Documents Cited by Year
Lambek grammars with one division and one primitive type. Zbl 1259.03034
Kuznetsov, Stepan
3
2012
Undecidability of the lambek calculus with subexponential and bracket modalities. Zbl 06810964
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2017
On Lambek’s restriction in the presence of exponential modalities. Zbl 06751236
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2016
On translating Lambek grammars with one division into context-free grammars. Zbl 1359.68153
Kuznetsov, S. L.
2
2016
Undecidability of the Lambek calculus with a relevant modality. Zbl 06658641
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2016
On translating context-free grammars into Lambek grammars. Zbl 1333.68171
Kuznetsov, S. L.
2
2015
Lambek grammars with the unit. Zbl 1370.03037
Kuznetsov, Stepan
2
2012
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
1
2019
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments. Zbl 07067261
Kuznetsov, Stepan; Lugovaya, Valentina; Ryzhova, Anastasiia
1
2019
*-continuity vs. induction: divide and conquer. Zbl 1418.03111
Kuznetsov, Stepan
1
2018
The Lambek calculus with iteration: two variants. Zbl 06820469
Kuznetsov, Stepan
1
2017
Conjunctive categorial grammars. Zbl 1376.03034
Kuznetsov, Stepan; Okhotin, Alexander
1
2017
Count-invariance including exponentials. Zbl 1376.03033
Kuznetsov, Stepan; Morrill, Glyn; Valentín, Oriol
1
2017
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives. Zbl 1390.68368
Kuznetsov, Stepan
1
2013
L-completeness of the Lambek calculus with the reversal operation. Zbl 1291.03039
Kuznetsov, Stepan
1
2012
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
1
2019
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments. Zbl 07067261
Kuznetsov, Stepan; Lugovaya, Valentina; Ryzhova, Anastasiia
1
2019
*-continuity vs. induction: divide and conquer. Zbl 1418.03111
Kuznetsov, Stepan
1
2018
Undecidability of the lambek calculus with subexponential and bracket modalities. Zbl 06810964
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2017
The Lambek calculus with iteration: two variants. Zbl 06820469
Kuznetsov, Stepan
1
2017
Conjunctive categorial grammars. Zbl 1376.03034
Kuznetsov, Stepan; Okhotin, Alexander
1
2017
Count-invariance including exponentials. Zbl 1376.03033
Kuznetsov, Stepan; Morrill, Glyn; Valentín, Oriol
1
2017
On Lambek’s restriction in the presence of exponential modalities. Zbl 06751236
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2016
On translating Lambek grammars with one division into context-free grammars. Zbl 1359.68153
Kuznetsov, S. L.
2
2016
Undecidability of the Lambek calculus with a relevant modality. Zbl 06658641
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2016
On translating context-free grammars into Lambek grammars. Zbl 1333.68171
Kuznetsov, S. L.
2
2015
Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives. Zbl 1390.68368
Kuznetsov, Stepan
1
2013
Lambek grammars with one division and one primitive type. Zbl 1259.03034
Kuznetsov, Stepan
3
2012
Lambek grammars with the unit. Zbl 1370.03037
Kuznetsov, Stepan
2
2012
L-completeness of the Lambek calculus with the reversal operation. Zbl 1291.03039
Kuznetsov, Stepan
1
2012

Citations by Year

Wikidata Timeline