×

尤恩·维塔·费多罗夫纳

作者ID: 云.veta-f最近由“Yun,Veta Fédorovna”撰写的zbMATH文章
发布日期: 云,V.F。;云,维塔·费多罗夫纳;Yun,Veta F。
外部链接: 数学网。俄罗斯
已编制索引的文档: 21出版物自2009年起
合著者: 1位合著者具有15联合出版物
64位合作作者

按年份列出的出版物

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

按年份列出的引文