编辑配置文件(在新选项卡中打开) 尤恩·维塔·费多罗夫纳 合著者距离 作者ID: 云.veta-f 发布日期: 云,V.F。;云,维塔·费多罗夫纳;Yun,Veta F。 更多。。。较少的 外部链接: 数学网。俄罗斯 已编制索引的文档: 21出版物自2009年起 合著者: 1位合著者具有15联合出版物 64位合作作者 合著者 6 单作者的 15 拉里萨·勒沃夫娜·马克西莫娃 系列 8 西伯利亚数学杂志 8 SibirskieÈlektronnye Matematicheskie Izvestiya公司 4 代数与逻辑 字段 21 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 17出版物有被引用55中的次20文件 引用人▼ 年份▼ 可识别的逻辑。 Zbl 1347.03055号 马克西莫娃,L.L。;云,V.F。 15 2015 具有很强的可判定性和可识别性。 Zbl 1420.03046号 马克西莫娃,L.L。;云,V.F。 8 2017 最小逻辑上的层。 Zbl 1396.03067号 马克西莫娃,L.L。;云,V.F。 5 2016 WIP最小逻辑和插值。 Zbl 1345.03040号 马克西莫娃,L.L。;云,V.F。 4 2015 最小逻辑的扩展和插值问题。 Zbl 1469.03078号 马克西莫娃,L.L。;云,V.F。 三 2018 最小逻辑和Odintsov区间上的插值。 Zbl 1351.03018号 马克西莫娃,L.L。;云,V.F。 三 2015 代数的极小逻辑和不可嵌入性的微积分。 Zbl 1390.03026号 拉里萨·勒沃夫娜·马克西莫娃;云,维塔·费多罗夫纳 三 2016 极小逻辑上的制表问题。 兹比尔1420.03024 马克西莫娃,L.L。;Yun,Veta F。 三 2016 最小逻辑扩展的切片和级别。 Zbl 1420.03047号 马克西莫娃,L.L。;云,V.F。 2 2017 线性时间框架的时间逻辑与归纳公理。 Zbl 1299.03006号 云,V.F。 2 2009 前Heyting逻辑中的感知能力。 Zbl 1443.03016号 马克西莫娃,L.L。;云,V.F。 1 2020 逻辑GL上切片的强可计算性。 Zbl 1397.03048号 拉里萨·勒沃夫娜·马克西莫娃;云,维塔·费多罗夫纳 1 2018 所有WIP最小逻辑的可识别性。 Zbl 1523.03008号 云,V.F。 1 2018 论知识与时间的线性逻辑与不及物时间关系。 Zbl 1328.03016号 云,V.F。 1 2015 归纳线性时间框架类的多模逻辑。 Zbl 1345.03032号 云,V.F。 1 2015 具有线性时间的归纳帧的时间逻辑。 Zbl 1329.03055号 云,V.F。 1 2010 前Heyting和组合良好的逻辑中的可识别性。 Zbl 1432.03018号 拉里萨·勒沃夫娜·马克西莫娃;云,维塔·费多罗夫纳 1 2019 前Heyting逻辑中的感知能力。 Zbl 1443.03016号 马克西莫娃,L.L。;云,V.F。 1 2020 前Heyting和组合良好的逻辑中的可识别性。 Zbl 1432.03018号 拉里萨·马克西莫娃;沃夫纳;云,维塔·费多罗夫纳 1 2019 最小逻辑的扩展和插值问题。 Zbl 1469.03078号 马克西莫娃,L.L。;云,V.F。 三 2018 逻辑GL上切片的强可计算性。 Zbl 1397.03048号 拉里萨·马克西莫娃;伏夫纳;云,维塔·费多罗夫纳 1 2018 所有WIP最小逻辑的可识别性。 Zbl 1523.03008号 云,V.F。 1 2018 具有很强的可判定性和可识别性。 Zbl 1420.03046号 马克西莫娃,L.L。;云,V.F。 8 2017 最小逻辑扩展的切片和级别。 Zbl 1420.03047号 马克西莫娃,L.L。;云,V.F。 2 2017 最小逻辑上的层。 兹比尔1396.03067 马克西莫娃,L.L。;云,V.F。 5 2016 代数的极小逻辑和不可嵌入性的微积分。 Zbl 1390.03026号 Maksimova,Larisa L&rsquo的;伏夫纳;云,维塔·费多罗夫纳 三 2016 最小逻辑上的表格问题。 Zbl 1420.03024号 马克西莫娃,L.L。;Yun,Veta F。 三 2016 可识别的逻辑。 Zbl 1347.03055号 马克西莫娃,L.L。;云,V.F。 15 2015 WIP最小逻辑和插值。 Zbl 1345.03040号 马克西莫娃,L.L。;云,V.F。 4 2015 最小逻辑和Odintsov区间上的插值。 Zbl 1351.03018号 马克西莫娃,L.L。;云,V.F。 三 2015 论知识与时间的线性逻辑与不及物时间关系。 Zbl 1328.03016号 云,V.F。 1 2015 归纳线性时间框架类的多模逻辑。 Zbl 1345.03032号 云,V.F。 1 2015 具有线性时间的归纳帧的时间逻辑。 Zbl 1329.03055号 云,V.F。 1 2010 线性时间框架的时间逻辑与归纳公理。 Zbl 1299.03006号 云,V.F。 2 2009 所有引用出版物 排名前五的出版物 全部的 前5名6位作者引用 15 拉里萨·勒沃夫娜·马克西莫娃 13 尤恩·维塔·费多罗夫纳 1 斯蒂芬·伊戈列维奇·巴什马科夫 1 阿萨多拉·法拉希 1 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 1 Zvereva,Tatyana Yu。 5篇连载文章中引用 7 西伯利亚数学杂志 6 代数与逻辑 三 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 逻辑科公报 1 应用非经典逻辑杂志 在3个字段中引用 20 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 计算机科学(68-XX) 按年份列出的引文