Automata; Complexity theory; Semantics; Cost accounting; Static analysis; Servers; Poles and towers;
机译:确定的定点逻辑中的可定义性表征
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:在可判定的FixPoint逻辑的表现力中提升
机译:婚姻二分法和分步关系可预测继位家庭的凝聚力,表现力,冲突和满意度
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:在可判定定点逻辑中表征可定义性
机译:过程逻辑的可判定性和表达性