机译:时间推理的点代数:算法和复杂性
Department of Technology, Orebro University, S-70182 Orebro, Sweden;
Department of Computer and Information Science, Linkoping University, S-581 83 Linkoping, Sweden;
temporal reasoning; point algebras; constraint satisfaction;
机译:定性时间定性推理:点代数和ORD-Horn类的算法
机译:BKB推理—算法和复杂性
机译:Kleene代数中推理的复杂性
机译:基于定性空间或时间推理的命题线性时间逻辑的计算复杂性
机译:具有约束的基于约束的时间推理算法。
机译:有限域上的代数复杂度和代数曲线
机译:时间推理的点代数:算法和复杂性