...
机译:具有Presburger约束的线性时间时序逻辑:概述
LSV, CNRS & INRIA Futurs projet SECSI & ENS Cachan 61, av. Pdt. Wilson 94235 Cachan CEDEX (France);
temporal logic; presburger arithmetic; buchi automaton; computational complexity;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:具有Presburger约束的模态逻辑的复杂性
机译:线性时间时序逻辑的计数模型的复杂性
机译:将线性时间时间逻辑嵌入无限逻辑:用于切割消除的多毒者无限性认罪线性时间呈现时间逻辑
机译:在时间逻辑约束下的多主体持续监视。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:具有Presburger约束的线性时间次逻辑:概述★
机译:模型检查是精细化:关于步比测试和线性时间时序逻辑