停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

德鲁夫·内瓦提亚

>主页 >珀森斯

人员信息

附属： 瑞士苏黎世ETH

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/内华达23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/NevatiaM23网址
德鲁夫·内瓦提亚,本杰明·蒙梅格:
加权一阶逻辑的自动机理论表征。 ATVA（1） 2023:115-133
[i2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-14707
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-14707
德鲁夫·内瓦提亚,本杰明·蒙梅格:
加权一阶逻辑的自动机理论表征。 CoRR公司腹肌/230714707(2023)
2021
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Manuel公司21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ManuelN21
阿马尔德夫·曼纽尔,德鲁夫·内瓦提亚:
具有邻域的一阶逻辑的代数特征。低收入国家 2021:1-13
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-09368
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-09368
阿马尔德夫·曼纽尔,德鲁夫·内瓦提亚:
具有邻域的一阶逻辑的代数特征。 CoRR公司 abs/2105.09368(2021)

合著者索引

请参阅常见问题解答

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。