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

坦马·霍丹卡尔

合著者距离
作者ID： 霍尔丹卡尔.坦梅最近由“Haldankar，Tanmay”撰写的zbMATH文章
发布日期： 坦马·霍丹卡尔
已编制索引的文档： 1出版物自2017年起
合著者： 6位合著者具有1联合出版物
68位合作作者
全部的 前5名

合著者

0 单作者的
1 查克拉波蒂，苏普拉特克
1 查塔尼·迪内什
1 拉杰库马尔·加贾维利
1 苏拉布·O·卡西达什维利。
1 拉凯什·米斯特里
1 Carl-Johan H.塞格。

系列

1 系统设计中的形式化方法

领域

1 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

1出版物有被引用2中的次2文件 引用人▼ 年份▼
单词级验证的符号轨迹评估：理论与实现。 Zbl 1360.68582号
查克拉波蒂，苏普拉特克；苏拉布·卡西达什维利；Carl-Johan H.塞格。；拉杰库马尔·加贾维利；坦马·霍丹卡尔；查塔尼·迪内什；拉凯什·米斯特里
2
2017
单词级验证的符号轨迹评估：理论与实现。 Zbl 1360.68582号
查克拉波蒂，苏普拉特克；苏拉布·卡西达什维利；Carl-Johan H.塞格。；拉杰库马尔·加贾维利；坦马·霍丹卡尔；查塔尼·迪内什；拉凯什·米斯特里
2
2017
全部的 前5名

9位作者引用

2 查克拉波蒂，苏普拉特克
1 查塔尼·迪内什
1 拉杰库马尔·加贾维利
1 阿什图什·古普塔
1 坦马·霍丹卡尔
1 拉胡尔·贾恩
1 苏拉布·O·卡西达什维利。
1 拉凯什·米斯特里
1 Carl-Johan H.塞格。

连载1篇

1 系统设计中的形式化方法

在1个字段中引用

2 计算机科学（68至XX）

按年份列出的引文