×
作者ID: 尼诺夫·亚沃“Nenov,Yavor”最近发表的zbMATH文章
发布日期: 亚沃·内诺夫
已编制索引的文档: 6出版物自2008年起
合著者: 10位合著者具有6联合出版物
177位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用26中的次25文件 引用人 年份
重新审查数据日志实体化的维护。 Zbl 1478.68076号
鲍里斯·莫提克亚沃·内诺夫罗伯特·皮罗伊恩·霍洛克斯
6
2019
表面逻辑关系的模态逻辑。 Zbl 1244.03069号
亚沃·内诺夫迪米特·瓦卡雷洛夫
5
2008
析取数据日志程序和非Horn本体的数据日志可重写性。 Zbl 1357.68228号
马克·卡明斯基亚沃·内诺夫伯纳多·昆卡·格劳
5
2016
欧氏空间上具有连通性的拓扑逻辑。 Zbl 1353.68267号
罗马人孔查科夫亚沃·内诺夫伊恩·普拉特·哈特曼迈克尔·扎克哈里亚舍夫
5
2013
PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号
周玉娇伯纳多·坎卡·格劳亚沃·内诺夫马克·卡明斯基伊恩·霍洛克斯
2015
基于区域的欧几里德逻辑的可计算性。 Zbl 1287.03063号
亚沃·内诺夫伊恩·普拉特·哈特曼
2
2010
重新审查数据日志实体化的维护。 Zbl 1478.68076号
鲍里斯·莫提克亚沃·内诺夫罗伯特·皮罗伊恩·霍洛克斯
6
2019
析取数据日志程序和非Horn本体的数据日志可重写性。 Zbl 1357.68228号
马克·卡明斯基亚沃·内诺夫伯纳多·昆卡·格劳
5
2016
PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号
周玉娇伯纳多·坎卡·格劳亚沃·内诺夫马克·卡明斯基伊恩·霍洛克斯
2015
欧氏空间上具有连通性的拓扑逻辑。 Zbl 1353.68267号
罗马人孔查科夫亚沃·内诺夫伊恩·普拉特·哈特曼迈克尔·扎克哈里亚舍夫
5
2013
关于基于区域的欧几里得逻辑的可计算性。 Zbl 1287.03063号
亚沃·内诺夫伊恩·普拉特·哈特曼
2
2010
单拓扑关系的模态逻辑。 Zbl 1244.03069号
亚沃·内诺夫迪米特·瓦卡雷洛夫
5
2008

按年份列出的引文