第四 飞行温度下的PDPAR 2006/1年 FLoC下的PaUL 2006年:美国华盛顿州西雅图
迈克尔·米斯洛夫 :
2006年8月于美国华盛顿州西雅图举行的第四届自动推理决策程序语用研讨会(PDPAR 2006)和第一届概率自动机和逻辑国际研讨会(PaUL 2006)的联合会议记录。 理论计算机科学电子笔记 174(8), 爱思维尔 2007 迈克尔·米斯洛夫 :
编者注。 1 拜伦·库克 , 罗伯托·塞巴斯蒂亚尼 :
前言和前言。 3-6 萨瓦·克里斯蒂 , 罗伯特·琼斯 , 约翰·奥利里 :
管道之母。 7-22 克拉克·W·巴雷特 , 伊戈尔·什卡尼安 , 塞萨尔·蒂内利 :
递归数据类型理论中可满足性的抽象决策过程。 23-37 瑞典雅各布斯 , Viorica Sofronie-Stokkerman公司 :
层次推理在复杂系统验证中的应用。 39-54 玛丽亚·保拉·博纳西纳 , Mnacho Echenim公司 :
递归数据结构的基于重写的可满足性过程。 55-70 萨扬密特拉 , 南希·A·林奇 :
证明概率I/O自动机的近似实现。 71-93 亚历山德罗·提贝里 :
概率构型理论。 95-108