库克，B。（编辑）;R·塞巴斯蒂亚尼。（编辑） 第四次自动推理中决策程序的语用学研讨会（PDPAR 2006）和第一次概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。 （英语） Zbl 1273.68022号 理论计算机科学电子笔记174，第8号。阿姆斯特丹：爱思唯尔。108页。，仅电子版（2007年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关前面的PDPAR研讨会，请参阅[Zbl 1272.68005号].索引文章：科斯蒂奇，萨瓦；罗伯特·琼斯（Robert B.Jones）。；约翰·奥利里管道之母，7-22[Zbl 1277.68137号]克拉克·巴雷特；伊戈尔·什卡尼安；塞萨尔·蒂内利，递归数据类型理论中可满足性的抽象决策过程，23-37[Zbl 1277.68132号]瑞典雅各布斯；维奥里卡Sofrone-Stokkerman，层次推理在复杂系统验证中的应用，39-54[Zbl 1277.68135号]博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；穆纳乔·埃切宁，递归数据结构的基于重写的可满足性程序，55-70[Zbl 1277.68239号]Mitra，萨扬；南希·林奇，证明概率I/O自动机的近似实现，71-93[Zbl 1277.68111号]亚历山德罗·泰贝里，概率构型理论，95-108[Zbl 1277.68209号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 03B35型 证明和逻辑操作的机械化 60年第68季度 规范和验证（程序逻辑、模型检查等） 68吨15 定理证明（演绎、解析等）（MSC2010） 00B25型 杂项特定利益的会议记录 引文：Zbl 1272.68005号 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}（编辑）和textit{R.Sebastiani}（编），第四届自动推理中决策过程语用学研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68022） 全文： 链接