×
编辑配置文件（在新选项卡中打开）

娜塔莉亚·莫昂

合著者距离
作者ID： 马塔利亚语“莫昂，纳塔利亚”最近发表的zbMATH文章
发布日期： 纳塔利娅Moangă
编入索引的文档： 3出版物自2019年起
合著者： 2合著者具有3联合出版物
27位合作作者

合著者

0 单作者的
三 爱荷华州卢什坦
三 ☑特拉安·弗洛林（Traian Florin）

系列

1 计算机基础理论
1 程序设计中的逻辑和代数方法杂志

领域

三 数学逻辑和基础（03-XX）
三 计算机科学（68至XX）
1 阶、格、有序代数结构（06-XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用3中的次2文件 引用人▼ 年份▼
使用多种混合模态逻辑的操作语义和程序验证。 Zbl 1435.68199号
爱荷华州卢什坦;娜塔莉亚·莫昂;☑特拉安·弗洛林（Traian Florin）
2
2019
一种多分类的多元模态逻辑。 Zbl 1471.03047号
爱荷华州卢什坦;娜塔莉亚·莫昂;☑特拉安·弗洛林（Traian Florin）
1
2020
一种多分类的多元模态逻辑。 Zbl 1471.03047号
爱荷华州卢什坦;娜塔莉亚·莫昂;☑特拉安·弗洛林（Traian Florin）
1
2020
使用多种混合模态逻辑的操作语义和程序验证。 Zbl 1435.68199号
爱荷华州卢什坦;娜塔莉亚·莫昂;☑特拉安·弗洛林（Traian Florin）
2
2019
全部的 前5名

8位作者引用

1 黄，裴
1 爱荷华州卢什坦
1 李润东
1 刘明浩
1 马，菲菲
1 娜塔莉亚·莫昂
1 ☑特拉安·弗洛林（Traian Florin）
1 张健

连载1篇

1 程序设计中的逻辑和代数方法杂志

在2个字段中引用

2 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的引文