RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Кузнецов Степан Львович

Публикаций: 16
Научных статей: 16
в MathSciNet: 8
в zbMATH: 4
в Web of Science: 4
в Scopus: 12
Цитированных статей: 7
Ссылок в Math-Net.Ru: 1
Ссылок в MathSciNet: 3
Ссылок в Web of Science: 2
Ссылок в Scopus: 10
Лекций и докладов: 27

Статистика просмотров:
Эта страница:1847
Страницы публикаций:85
Списки литературы:23
Кузнецов Степан Львович
кандидат физико-математических наук (2012)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 30.06.1988
Сайт: http://www.mi.ras.ru/~sk

http://www.mathnet.ru/rus/person72238
http://scholar.google.com/citations?user=DGNxp2EAAAAJ&hl=ru
http://zbmath.org/authors/?q=ai:kuznetsov.stepan
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=877457
http://www.researcherid.com/rid/P-2607-2016
http://www.scopus.com/authid/detail.url?authorId=54914981600
https://www.researchgate.net/profile/Stepan_Kuznetsov

Полный список публикаций:
| по годам | по типам | научные публикации | общий список |



   2016
1. M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Logical Foundations of Computer Science 2016, Lecture Notes in Comput. Sci., 9537, Springer, 2016, 146–158  mathnet  crossref  isi  elib  scopus (cited: 1)
2. M. Kanovich, S. Kuznetsov, A. Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Formal Grammar, 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings, Lecture Notes in Comput. Sci., 9804, eds. A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla, Springer, 2016, 240–256 , arXiv: 1601.06303  mathnet  crossref  elib  scopus (cited: 1)
3. С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Тр. МИАН, 294, МАИК, М., 2016, 141–151  mathnet  crossref  mathscinet  elib; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  crossref  mathscinet  isi  elib  scopus

   2015
4. С. Л. Кузнецов, “О преобразовании контекстно-свободных грамматик в грамматики Ламбека”, Современные проблемы математики, механики и математической физики, Сборник статей, Тр. МИАН, 290, МАИК, М., 2015, 72–79  mathnet (цит.: 1)  crossref  elib (цит.: 1); S. L. Kuznetsov, “On Translating Context-Free Grammars into Lambek Grammars”, Proc. Steklov Inst. Math., 290 (2015), 63–69  crossref  isi (cited: 1)  elib (cited: 1)  scopus (cited: 1)
5. С. Л. Кузнецов, Н. С. Рыжкова, “Фрагмент исчисления Ламбека с итерацией”, Мальцевские чтения 2015 (Новосибирск, 3–7 мая 2015 г.), Институт математики им. С.Л. Соболева СО РАН; Новосибирский гос. университет, Новосибирск, 2015, 213 http://www.math.nsc.ru/conference/malmeet/15/malmeet15.pdf

   2014
6. S. Kuznetsov, “$L$-completeness of the Lambek calculus with the reversal operation allowing empty antecedents”, Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday, Lecture Notes in Comput. Sci., 8222, eds. C. Casadio, B. Coecke, M. Moortgat, P. Scott, Springer, Berlin, Heidelberg, 2014, 268–278  crossref  mathscinet  zmath  scopus
7. S. L. Kuznetsov, “Trivalent logics arising from L-models for the Lambek calculus with constants”, J. Appl. Non-Class. Log., 14:1-2 (2014), 132–137  crossref  mathscinet  scopus
8. S. Kuznetsov, “On translating context-free grammars into Lambek categorial grammars”, Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014), Affliated to RTA-TLCA, VSL 2014 (Vienna, July 17–18, 2014), eds. V. de Paiva, W. Neuper, P. Quaresma, C. Retoré, L. S. Moss, J. Saludes, Center for Informatics and Systems of the University of Coimbra, Coimbra, Portugal, 2014, 137–142 https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2014-02.pdf

   2013
9. S. Kuznetsov, “Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives”, Formal grammar. 17th and 18th international conferences, FG 2012, Opole, Poland, August 2012, revised selected papers, FG 2013, Düsseldorf, Germany, August 2013, Proceedings, Lecture Notes in Comput. Sci., 8036, Springer, Berlin, 2013, 242–249, ISBN: 978-3-642-39997-8/pbk  crossref  mathscinet  zmath  elib  scopus

   2012
10. S. Kuznetsov, “L-completeness of the Lambek calculus with the reversal operation”, Logical aspects of computational linguistics, Lecture Notes in Comput. Sci., 7351, Springer, Heidelberg, 2012, 151–160  crossref  mathscinet (cited: 2)  scopus (cited: 1)
11. S. Kuznetsov, “Lambek grammars with the unit”, Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers, Lecture Notes in Comput. Sci., 7395, Springer, Berlin, 2012, 262–266, ISBN: 978-3-642-32023-1/pbk  crossref  zmath  scopus (cited: 1)
12. S. Kuznetsov, “Lambek grammars with one division and one primitive type”, Log. J. IGPL, 20:1 (2012), 207–221  crossref  mathscinet (cited: 1)  zmath  isi (cited: 1)  scopus (cited: 4)
13. С. Л. Кузнецов, Категориальные грамматики, основанные на вариантах исчисления Ламбека, Дисс. … канд. физ.-матем. наук, МГУ имени М. В. Ломоносова, М., 2012 , 70 с. полный текст (PDF), автореферат (PDF), English translation (PDF), English summary (PDF)

   2011
14. С. Л. Кузнецов, “Об исчислении Ламбека с единицей и одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2011, № 4, 55–57  mathscinet  elib; S. L. Kuznetsov, “On the Lambek calculus with a unit and one division”, Moscow University Math. Bull., 66:4 (2011), 173–175  crossref  mathscinet  elib  scopus

   2009
15. С. Л. Кузнецов, “Об исчислении Ламбека с одним делением и одним примитивным типом, допускающим пустые антецеденты”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2009, № 2, 62–65  mathscinet  elib; S. L. Kuznetsov, “On the Lambek calculus with one division and one primitive type that allows empty antecedents”, Moscow University Math. Bull., 64:2 (2009), 76–79  crossref  mathscinet  elib (cited: 1)  scopus (cited: 1)
16. S. Kuznetsov, “On the Lambek calculus with one division and one primitive type”, Structures and Deduction 2009, ESSLLI '09 Workshop (Bordeaux, July 20–24, 2009), eds. Michel Parigot and Lutz Straßburger, 2009, 2–11 http://esslli2009.labri.fr/documents/structures_deduction.pdf

Доклады и лекции в базе данных Math-Net.Ru
1. Исчисления Ламбека с обогащением сигнатуры операцией итерации
С. Л. Кузнецов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
16 мая 2017 г. 18:30
2. Расширения контекстно-свободных и категориальных грамматик
С. Л. Кузнецов
Матсборник-150: алгебра, геометрия, анализ
7 ноября 2016 г. 12:40   
3. Межфакультетский курс «Категориальные грамматики». Лекция 13
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
11 мая 2016 г. 17:00   
4. Межфакультетский курс «Категориальные грамматики». Лекция 9
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
13 апреля 2016 г. 17:00   
5. Межфакультетский курс «Категориальные грамматики». Лекция 8
М. Р. Пентус, С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
6 апреля 2016 г. 17:00   
6. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
С. Л. Кузнецов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
5 апреля 2016 г. 18:30
7. Межфакультетский курс «Категориальные грамматики». Лекция 6
С. Л. Кузнецов, М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
23 марта 2016 г. 17:00   
8. Межфакультетский курс «Категориальные грамматики». Лекция 4
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
9 марта 2016 г. 17:00   
9. Межфакультетский курс «Категориальные грамматики». Лекция 3
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
2 марта 2016 г. 17:00   
10. Межфакультетский курс «Категориальные грамматики». Лекция 2
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
24 февраля 2016 г. 17:00
11. Межфакультетский курс «Категориальные грамматики». Лекция 1
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
17 февраля 2016 г. 17:00
12. О двух модальных расширениях исчисления Ламбека
С. Л. Кузнецов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
20 октября 2015 г. 18:30
13. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
13 мая 2015 г. 18:00   
14. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 11
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
29 апреля 2015 г. 18:05   
15. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
С. Л. Кузнецов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
28 апреля 2015 г. 18:30
16. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 8
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
8 апреля 2015 г. 18:00   
17. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 7
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
1 апреля 2015 г. 18:00   
18. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 6
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
25 марта 2015 г. 18:00   
19. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 5
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
18 марта 2015 г. 18:00   
20. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 4
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
11 марта 2015 г. 18:00   
21. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 3
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
4 марта 2015 г. 18:00   
22. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 2
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
25 февраля 2015 г. 18:00   
23. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 1
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
18 февраля 2015 г. 18:00   
24. Категориальные грамматики Ламбека
Степан Кузнецов
Общеинститутский семинар «Коллоквиум МИАН»
5 июня 2014 г. 16:00   
25. Конъюнктивные грамматики и расширенное операцией пересечения исчисление Ламбека
С. Кузнецов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
8 октября 2013 г. 18:30
26. О моделях двух расширений исчисления Ламбека на подмножествах свободных моноидов
С. Кузнецов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
27 ноября 2012 г. 18:30
27. Grammars based on variants of the Lambek calculus
Stepan Kuznetsov
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 15:30   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017