temporal logic; theorem proving; formal verification; clausal resolution method; extended computation tree logic; limit closure property; temporal resolution method; CTL; ECTL;
机译:扩展计算树逻辑ECTL的分类解决方法
机译:分支时间逻辑ECTL〜+的子句解析方法
机译:分支时间逻辑ECTL#及其树式单通大妙域的Tableau:扩展Ectl +的公平性表达
机译:扩展计算树逻辑Ectl的氏子宫分辨率方法
机译:归纳逻辑编程方法中基于随机选择的底句的广度优先搜索方法的实现。
机译:符号逻辑中的数字计算方法以生物化学为例
机译:扩展计算树逻辑ECTL的分类解决方法
机译:用关系和不确定性扩展计算树逻辑