pdl表格 swMATH编号： 11994 软件作者： R.A.施密特 描述： pdl-tableau是De Giacomo和Massacci（2000）《将演绎和模型检查结合到表和逆向pdl算法中》（Information and Computation 162，pp.117-137）中pdl表演算变体的原型实现。 主页： http://cgi.csc.liv.ac.uk/~ullrich/pdl表格/ 相关软件： 3APL公司;2APL公司;杰森;MSPASS公司;代理发言;高尔夫;加罗;莫德;贾德克斯 引用于： 1文件 4位作者引用 1 娜塔莎·亚历奇纳 1 梅迪·达斯坦尼（Mehdi M.Dastani）。 1 布赖恩·洛根 1 约翰·朱尔斯·查尔斯·梅耶 连载1篇 1 理论计算机科学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文