编辑配置文件(在新选项卡中打开) 尤里·萨瓦泰耶夫 合著者距离 作者ID: 萨瓦捷耶夫·尤里 发布日期: 尤里·萨瓦泰耶夫 外部链接: MGP公司 已编制索引的文档: 11出版物自2008年起 合著者: 4位合著者具有6联合出版物 61位合作作者 合著者 5 单作者的 三 弗拉迪斯拉夫·里日科夫 三 Daniyar S.Shamkanov。 三 迈克尔·维克托洛维奇(Michael Viktorovich) 2 阿吉·库鲁茨 系列 2 纯逻辑与应用逻辑年鉴 1 人工智能研究杂志 1 计算系统理论 1 符号逻辑述评 领域 9 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物被引用26中的次22文件 引用人▼ 年份▼ 无积Lambek演算是NP-完全的。 Zbl 1211.03041号 尤里·萨瓦泰耶夫 8 2009 带有一个除法的Lambek文法在多项式时间内是可判定的。 Zbl 1142.68415号 尤里·萨瓦泰耶夫 5 2008 多项式时间内的单向Lambek文法。 Zbl 1205.68185号 尤里·萨瓦泰耶夫 4 2010 无积Lambek演算是NP-完全的。 兹比尔1243.03029 尤里·萨瓦泰耶夫 2 2012 Grzegorczyk模态逻辑的非完备性证明。 Zbl 1496.03086号 尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫 2 2021 确定线性时态逻辑中本体论中介查询的FO可写性。 Zbl 07744953号 弗拉迪斯拉夫·里日科夫;尤里·萨瓦泰耶夫;迈克尔·扎克哈里亚舍夫 2 2021 经典逻辑广义Frege系统的证明内化。 Zbl 1325.03021号 尤里·萨瓦泰耶夫 1 2014 通过非充分证据对模态Grzegorczyk逻辑进行简化。 Zbl 1496.03085号 尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫 1 2017 通过非充分证明对弱模态Grzegorczyk逻辑进行截消。 Zbl 1530.03086号 尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫 1 2019 Grzegorczyk模态逻辑的无充分根据的证明。 Zbl 1496.03086号 尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫 2 2021 确定线性时态逻辑中本体论中介查询的FO可写性。 Zbl 07744953号 弗拉迪斯拉夫·里日科夫;尤里·萨瓦泰耶夫;迈克尔·扎克哈里亚舍夫 2 2021 通过非充分证明对弱模态Grzegorczyk逻辑进行截消。 Zbl 1530.03086号 尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫 1 2019 通过非充分证据对模态Grzegorczyk逻辑进行简化。 Zbl 1496.03085号 尤里·萨瓦泰耶夫;达尼亚尔·沙姆卡诺夫 1 2017 经典逻辑广义Frege系统的证明内化。 Zbl 1325.03021号 尤里·萨瓦泰耶夫 1 2014 无积Lambek演算是NP-完全的。 Zbl 1243.03029号 尤里·萨瓦泰耶夫 2 2012 多项式时间内的单向Lambek文法。 Zbl 1205.68185号 尤里·萨瓦泰耶夫 4 2010 无积Lambek演算是NP-完全的。 Zbl 1211.03041号 尤里·萨瓦泰耶夫 8 2009 带有一个除法的Lambek文法在多项式时间内是可判定的。 兹比尔1142.68415 尤里·萨瓦泰耶夫 5 2008 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 8 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 4 Max Iosifovich,卡诺维奇 4 尤里·萨瓦泰耶夫 4 安德烈·斯克洛夫 2 理查德·穆特 2 弗拉迪斯拉夫·里日科夫 2 迈克尔·维克托洛维奇(Michael Viktorovich) 1 阿夫沙里语、巴哈雷语 1 亚历山德罗·阿塔尔 1 塞缪尔·R·巴斯。 1 沃伊切赫·巴斯科夫斯基 1 拉杰夫·普拉巴卡尔·戈尔 1 布莱恩·希尔 1 高雄井上 1 罗马人孔查科夫 1 Alisa Kovtunova 1 阿吉·库鲁茨 1 林哲 1 卡塔兹纳·莫罗兹 1 格林·莫里尔。 1 马蒂·彭特斯 1 弗朗西丝卡·波乔列西 1 雷文莎·拉马纳亚克 1 克里斯蒂安·雷托雷 1 Daniyar S.Shamkanov。 1 伊恩·希利托 1 史蒂文斯·盖尔、西蒙·乔里 1 多米尼克·韦尔 1 弗兰克·沃尔特 全部的 前5名9篇连载文章中引用 三 逻辑、语言与信息杂志 2 纯逻辑与应用逻辑年鉴 2 Steklov数学研究所学报 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 逻辑科公报 1 人工智能研究杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 符号逻辑述评 在2个字段中引用 18 数学逻辑和基础(03-XX) 13 计算机科学(68至XX) 按年份列出的引文