基于OBDD的Iteration-free CPDL判定算法研究

• 作者: 邓刚
• 来源期刊: 湖北农机化
• 学科: 工学
• 关键词: 命题 动态逻辑 研究
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 开发与研究
• 页码范围: 59-59
• 分类号: TP312
• 字数: 1109字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-1440.2011.04.054

摘要

命题动态逻辑是一种应用模态逻辑，用于程序行为的推理。Iteration—free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理。而且还能够提供合适的形式框架对动作进行刻画和推理，可用其进行web服务组合。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓刚		1	0	0.0	0.0