编辑配置文件（在新选项卡中打开） 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 合著者距离 作者ID： 库兹涅佐夫-l型 发布日期： 斯捷潘·库兹涅佐夫；库兹涅佐夫（Stepan L.Kuznetsov）。；库兹涅佐夫，S.L。；库兹涅佐夫、斯蒂芬·利沃维奇 更多。。。较少的 主页： https://homepage.mi-ras.ru/~sk个/ 外部链接： MGP公司·逆戟鲸·谷歌学者·ResearchGate研究之门·数学网。俄罗斯·数据库许可证 已编制索引的文档： 46出版物自2009年起，包括3个附加arXiv预打印 1名编辑贡献 合著者： 20位合著者具有25联合出版物 341名Co-Co作者 全部的 前5名合著者 22 单作者的 17 Max Iosifovich，卡诺维奇 17 安德烈·斯切德罗夫 4 Vivek Nigam先生 三 埃本·布莱斯德尔 三 格林·莫里尔（Glyn V.Morrill）。 三 伊莱恩·皮门特尔 2 斯坦尼斯拉夫·斯佩兰斯基。 1 塔贾纳Ban Kirigin 1 谢尔盖·杜达科夫。 1 Fofanova，E.M。 1 约书亚·D·古特曼。 1 B.N.卡洛夫。 1 Loo，Boon Thau先生 1 瓦伦蒂娜·卢戈瓦亚 1 冈田三弘 1 亚历山大·奥霍金 1 新南威尔士州Ryzhkova。 1 阿纳斯塔西亚·里佐娃 1 卡罗琳·塔尔科特。 1 奥利奥尔·瓦伦廷 全部的 前5名系列 2 代数与逻辑 2 逻辑与计算杂志 2 IGPL逻辑杂志 2 Steklov数学研究所学报 1 莫斯科大学数学通报 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 符号逻辑述评 领域 41 数理逻辑与基础（03-XX） 18 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用113中的次41文件 引用人▼ 年份▼ 非交换线性逻辑中的次指数。 Zbl 1456.03099号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；Vivek Nigam先生；安德烈·斯切德罗夫 15 2019 具有相关形式的Lambek演算的不可判定性。 Zbl 1478.03043号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 9 2016 具有交换和非交换子指数的逻辑框架。 Zbl 1508.03092号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；Vivek Nigam先生；安德烈·斯切德罗夫 6 2018 软次指数和多路复用。 Zbl 07614531号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；Vivek Nigam先生；安德烈·斯切德罗夫 5 2020 具有一个除法和一个基元类型的Lambek文法。 兹比尔1259.03034 斯捷潘·库兹涅佐夫 5 2012 兰贝克语法与单位。 Zbl 1370.03037号 斯捷潘·库兹涅佐夫 4 2012 Greibach范式中的连接语法和具有加性连接词的Lambek演算。 Zbl 1390.68368号 斯捷潘·库兹涅佐夫 4 2013 带有界阶括号的Lambek演算的多项式时间算法。 兹比尔1434.03076 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；格林·莫里尔；安德烈·斯切德罗夫 4 2017 乘法加法Lambek演算的复杂性：25年后。 Zbl 1530.03091号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2019 Lambek演算的L模型和R模型富含加法和乘法单位。 Zbl 1530.03160号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2019 指数模态存在时的Lambek限制。 Zbl 1476.03026号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2016 具有次指数型和括号型的Lambek演算的不可判定性。 Zbl 1495.03036号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2017 带迭代的Lambek演算：两种变体。 Zbl 1496.03088号 斯捷潘·库兹涅佐夫 4 2017 *-连续性vs.归纳法：分而治之。 Zbl 1418.03111号 斯捷潘·库兹涅佐夫 4 2018 调和Lambek的限制、削减和指数形式下的替代。 Zbl 1515.03220号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 三 2020 关于将带有一个分支的Lambek语法翻译成无上下文语法。 Zbl 1359.68153号 库兹涅佐夫，S.L。 三 2016 连接范畴文法。 Zbl 1376.03034号 斯捷潘·库兹涅佐夫；亚历山大·奥霍金 三 2017 带指数运算的无限动作逻辑。 Zbl 07458791号 库兹涅佐夫（Stepan L.Kuznetsov）。；斯坦尼斯拉夫·斯佩兰斯基。 三 2022 带括号形式的Lambek演算的括号归纳法。 Zbl 1512.03030号 格林·莫里尔；斯捷潘·库兹涅佐夫；马克斯·卡诺维奇；安德烈·斯切德罗夫 2 2018 通过非充分证据证明具有指数的无限动作逻辑片段的复杂性。 Zbl 07532524号 库兹涅佐夫（Stepan L.Kuznetsov）。 2 2021 关于将无上下文语法翻译成Lambek语法。 Zbl 1333.68171号 库兹涅佐夫，S.L。 2 2015 由含常数的Lambek演算的L模型产生的三价逻辑。 Zbl 1398.03100号 库兹涅佐夫，S.L。 2 2014 带有迭代和交集运算的Lambek演算的受限片段。 Zbl 1485.03053号 库兹涅佐夫，S.L。；雷日科娃，N.S。 2 2020 Craig的技巧和Lambek演算及其片段的非序列系统。 Zbl 1515.03114号 斯捷潘·库兹涅佐夫；卢戈瓦娅，瓦伦蒂娜；阿纳斯塔西亚·里佐娃 2 2019 包括指数在内的计数方差。 兹比尔1376.03033 斯捷潘·库兹涅佐夫；格林·莫里尔；奥利奥尔·瓦伦廷 2 2017 具有次指数和括号形式的乘法加法Lambek演算。 Zbl 1496.03087号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 2 2021 Lambek演算的一些扩展的语言模型。 Zbl 07540282号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 2 2022 具有交集和单位的Lambek演算的关系模型。 Zbl 07670523号 库兹涅佐夫（Stepan L.Kuznetsov）。 2 2021 非关联、非交换的多模态线性逻辑。 Zbl 07628203号 埃本·布莱斯德尔；马克斯·卡诺维奇；库兹涅佐夫（Stepan L.Kuznetsov）。；伊莱恩·皮门特尔；安德烈·斯切德罗夫 1 2022 具有反转操作的Lambek演算的L-完全性。 Zbl 1291.03039号 斯捷潘·库兹涅佐夫 1 2012 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 指数无穷动作逻辑的一个有界片段。 Zbl 07370015号 库兹涅佐夫（Stepan L.Kuznetsov）。 1 2020 无限Lambek演算与Kleene星的复杂性。 Zbl 1517.03042号 斯捷潘·库兹涅佐夫 1 2021 带指数运算的无限动作逻辑。 Zbl 07458791号 库兹涅佐夫（Stepan L.Kuznetsov）。；斯坦尼斯拉夫·斯佩兰斯基。 三 2022 Lambek演算的一些扩展的语言模型。 Zbl 07540282号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 2 2022 非关联、非交换的多模态线性逻辑。 Zbl 07628203号 埃本·布莱斯德尔；马克斯·卡诺维奇；库兹涅佐夫（Stepan L.Kuznetsov）。；伊莱恩·皮门特尔；安德烈·斯切德罗夫 1 2022 通过非充分证据证明具有指数的无限动作逻辑片段的复杂性。 Zbl 07532524号 库兹涅佐夫（Stepan L.Kuznetsov）。 2 2021 具有次指数和括号形式的乘法加法Lambek演算。 Zbl 1496.03087号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 2 2021 具有交集和单位的Lambek微积分的关系模型。 Zbl 07670523号 库兹涅佐夫（Stepan L.Kuznetsov）。 2 2021 无限Lambek演算与Kleene星的复杂性。 兹比尔1517.03042 斯捷潘·库兹涅佐夫 1 2021 软次指数和多路复用。 Zbl 07614531号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；Vivek Nigam先生；安德烈·斯切德罗夫 5 2020 调和Lambek的限制、削减和指数形式下的替代。 Zbl 1515.03220号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 三 2020 带有迭代和交集运算的Lambek演算的限制片段。 Zbl 1485.03053号 库兹涅佐夫，S.L。；新南威尔士州Ryzhkova。 2 2020 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 指数无穷动作逻辑的一个有界片段。 Zbl 07370015号 库兹涅佐夫（Stepan L.Kuznetsov）。 1 2020 非交换线性逻辑中的次指数。 Zbl 1456.03099号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；Vivek Nigam先生；安德烈·斯切德罗夫 15 2019 乘法加法Lambek演算的复杂性：25年后。 Zbl 1530.03091号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2019 Lambek演算的L模型和R模型富含加法和乘法单位。 Zbl 1530.03160号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2019 Craig的技巧和Lambek演算及其片段的非序列系统。 Zbl 1515.03114号 斯捷潘·库兹涅佐夫；瓦伦蒂娜·卢戈瓦亚；阿纳斯塔西亚·里佐娃 2 2019 具有交换和非交换子指数的逻辑框架。 Zbl 1508.03092号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；Vivek Nigam先生；安德烈·斯切德罗夫 6 2018 *-连续性vs.归纳法：分而治之。 Zbl 1418.03111号 斯捷潘·库兹涅佐夫 4 2018 带括号形式的Lambek演算的括号归纳法。 Zbl 1512.03030号 格林·莫里尔；斯捷潘·库兹涅佐夫；马克斯·卡诺维奇；安德烈·斯切德罗夫 2 2018 带有界阶括号的Lambek演算的多项式时间算法。 Zbl 1434.03076号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；格林·莫里尔；安德烈·斯切德罗夫 4 2017 具有次指数型和括号型的Lambek演算的不可判定性。 Zbl 1495.03036号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2017 带迭代的Lambek演算：两种变体。 Zbl 1496.03088号 斯捷潘·库兹涅佐夫 4 2017 连接范畴文法。 Zbl 1376.03034号 斯捷潘·库兹涅佐夫；亚历山大·奥霍金 三 2017 计数不变性，包括指数。 Zbl 1376.03033号 斯捷潘·库兹涅佐夫；格林·莫里尔；奥利奥尔·瓦伦廷 2 2017 具有相关形式的Lambek演算的不可判定性。 Zbl 1478.03043号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 9 2016 指数模态存在时的Lambek限制。 Zbl 1476.03026号 马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；安德烈·斯切德罗夫 4 2016 关于将带有一个分支的Lambek语法翻译成无上下文语法。 Zbl 1359.68153号 库兹涅佐夫，S.L。 三 2016 关于将无上下文语法翻译成Lambek语法。 Zbl 1333.68171号 库兹涅佐夫，S.L。 2 2015 由含常数的Lambek演算的L模型产生的三价逻辑。 Zbl 1398.03100号 库兹涅佐夫，S.L。 2 2014 Greibach范式中的连接文法和带有加法连接词的Lambek演算。 Zbl 1390.68368号 斯捷潘·库兹涅佐夫 4 2013 具有一个除法和一个基元类型的Lambek文法。 Zbl 1259.03034号 斯捷潘·库兹涅佐夫 5 2012 兰贝克语法与单位。 Zbl 1370.03037号 斯捷潘·库兹涅佐夫 4 2012 具有反转操作的Lambek演算的L-完全性。 Zbl 1291.03039号 斯捷潘·库兹涅佐夫 1 2012 所有引用的出版物 前5名被引用出版物 全部的 前5名35位作者引用 21 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 9 Max Iosifovich，卡诺维奇 9 安德烈·斯切德罗夫 4 伊莱恩·皮门特尔 三 格林·莫里尔（Glyn V.Morrill）。 2 埃本·布莱斯德尔 2 沃伊切赫·巴斯科夫斯基 2 拉克伦·麦克菲亚特 2 Vivek Nigam先生 2 卡洛斯·奥拉特 2 蒂昆·普什尼琴 2 斯坦尼斯拉夫·斯佩兰斯基。 2 布鲁诺·泽维尔 1 塞德里克·德拉克鲁瓦 1 谢尔盖·杜达科夫。 1 Fofanova，E.M。 1 Makoto金泽 1 B.N.卡洛夫。 1 F.D.科洛迪洛夫。 1 康斯坦丁诺夫斯基，B.O。 1 理查德·穆特 1 亚历山大·奥霍金 1 丹尼尔·罗戈津 1 米哈伊尔·尼古拉埃维奇·里巴科夫 1 新南威尔士州Ryzhkova。 1 梅赫努什·萨德扎德 1 路易吉·桑托卡纳莱 1 尤里·萨瓦提夫 1 Daniyar S.Shamkanov。 1 史蒂文斯·吉勒、西蒙·乔里 1 瓦林金，M.V。 1 王达芙妮 1 瓦兹尼，哈迪 1 Gijs Jasper，Wijnholds 1 克里斯蒂安·沃尔姆 全部的 前5名14篇连载文章中引用 6 逻辑、语言与信息杂志 三 代数与逻辑 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 Steklov数学研究所学报 2 符号逻辑述评 1 莫斯科大学数学通报 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 应用的分类结构 1 逻辑程序设计理论与实践 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 计算机科学中的逻辑方法 1 Logicheskie Issledovaniya公司 在4个字段中引用 33 数理逻辑与基础（03-XX） 21 计算机科学（68至XX） 2 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 按年份列出的引文