...
机译:一阶线性时序逻辑的表达片段的有界域属性
First-Order Linear Temporal LogicBounded Domain PropertyFinite Domain PropertyDecidability;
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:基于BDD相对于SAT的有界模型检验知识的线性时态逻辑存在性片段:算法及其性能
机译:一阶线性时态逻辑可判定片段的计算复杂度
机译:有限词的一阶逻辑的表达性和简洁性。
机译:胰岛素与分离的肝细胞结合的调节:结合激素片段的校正使Scatchard图线性化。
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:具有公平约束的petri网线性时态逻辑性质模型检验。