计算树逻辑

来自术语
跳转至: 导航搜索

    一种特殊的分支时态逻辑,它通过增加路径算子显式地描述分支时间路径信息。

英文名 computation tree logic



链接

Wikipedia https://en.wikipedia.org/wiki/computation_tree_logic