停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第四FLoC的PDPAR2006/1年FLoC下的PaUL2006年：美国华盛顿州西雅图

>主页 >会议和研讨会 >PDPAR公司

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/2006
迈克尔·米斯洛夫:
2006年8月于美国华盛顿州西雅图举行的第四届自动推理决策程序语用研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录。理论计算机科学电子笔记174(8),爱思维尔 2007
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Mislove07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Mislove07网站
迈克尔·米斯洛夫:
编者注。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/CookS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CookS07
拜伦·库克,罗伯托·塞巴斯蒂亚尼:
前言和前言。 3-6
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/KrsticJO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/KrsticJO07
萨瓦·克里斯蒂,罗伯特·琼斯,约翰·奥利里:
管道之母。 7-22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BarettST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BarettST07
克拉克·W·巴雷特,伊戈尔·什卡尼安,塞萨尔·蒂内利:
递归数据类型理论中可满足性的抽象决策过程。 23-37
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/JacobsS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/雅各布斯07
瑞典雅各布斯,Viorica Sofronie-Stokkerman公司:
层次推理在复杂系统验证中的应用。 39-54
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BonacinaE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BonacinaE07
玛丽亚·保拉·博纳西纳,Mnacho Echenim公司:
递归数据结构的基于重写的可满足性过程。 55-70
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MitraL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MitraL07
萨扬密特拉,南希·A·林奇:
证明概率I/O自动机的近似实现。 71-93
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Tiberi07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Tiberi07网站
亚历山德罗·提贝里:
概率构型理论。 95-108

服务

管理网站设置

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