编辑配置文件(在新选项卡中打开) 新南威尔士州Ryzhkova。 合著者距离 作者ID: ryzhkova.n-s公司 发布日期: 新南威尔士州Ryzhkova。 已编制索引的文档: 1出版物自2020年起 合著者: 1位合著者具有1联合出版物 19位合作作者 合著者 0 单作者的 1 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 系列 1 代数与逻辑 领域 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 带有迭代和交集运算的Lambek演算的限制片段。 Zbl 1485.03053号 库兹涅佐夫,S.L。;新南威尔士州Ryzhkova。 2 2020 带有迭代和交集运算的Lambek演算的限制片段。 Zbl 1485.03053号 库兹涅佐夫,S.L。;新南威尔士州Ryzhkova。 2 2020 1位作者引用 2 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 连载1篇 1 计算机科学中的逻辑方法 在2个字段中引用 2 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文