Department of Computer Science,University of Corunna (Spain);
Department of Computer Science,University of Corunna (Spain);
Department of Computer Science,University of Corunna (Spain);
Department of Computer Science,University of Corunna (Spain);
机译:基于循环公式的描述逻辑程序语义
机译:权重约束和聚合逻辑程序的级别映射引发的循环公式
机译:描述逻辑程序的循环公式
机译:可分类时间逻辑程序的循环公式
机译:为基于复杂模式的规范生成线性时间逻辑公式
机译:使用贴纸自动机模型检查时间逻辑公式
机译:可分离时态逻辑程序的循环公式⋆
机译:检验时态逻辑公式的两种方法