机译:许多排序的一阶线性时间逻辑的可判定和表达片段
DTIS ONERA & Universite federale de Toulouse F-31055 Toulouse France;
DTIS ONERA & Universite federale de Toulouse F-31055 Toulouse France;
DTIS ONERA & Universite federale de Toulouse F-31055 Toulouse France;
First-Order Linear Temporal Logic; Many-Sorted Logic; Bounded Domain Property; Finite Domain Property; Decidability;
机译:一阶线性时序逻辑的表达片段的有界域属性
机译:各种逻辑的可确定片段
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:一阶线性时态逻辑可判定片段的计算复杂度
机译:有限词的一阶逻辑的表达性和简洁性。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:过程逻辑的可判定性和表达性