| 新基于OBDD的Iteration-free CPDL判定算法研究 |
| 邓刚 |
| 关键词：命题 动态逻辑 研究 |
| 主要内容：命题动态逻辑是一种应用模态逻辑，用于程序行为的推理。Iteration—free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理。而且还能够提供合适的形式框架对动作进行刻画和推理，可用其进行web服务组合。 |
| 《湖北农机化》 2011(4).-59-59 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号