(6)经由过程将正则形技巧运用于命题线性时序逻辑(PLTL)，获得了今朝最好的打结不变PLTL公式的发生算法。该算法在偏序规约模子检测中有侧重要的运用价值。
基于14个网页-相关网页
propositional linear temporal logic
中文模板 Key words: propositional linear temporal logic; dual model; computational complexity [gap=363]关键词: 命题线性时序逻辑;对偶模型;计算复杂性
基于8个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress