机译:代数代数,区间时间逻辑和区间点
Univ Firenze, Dipartimento Matemat & Informat U Dini, I-50134 Florence, Italy;
Dyck path; Heyting algebra; temporal logic; poset of intervals;
机译:Dyck Pattern Poset中的间隔枚举组合学
机译:从盒代数到区间时间逻辑
机译:从框代数到间隔时间逻辑
机译:Box代数的区间时间逻辑语义
机译:使用时间间隔逻辑指定分布式程序。
机译:通过可变间隔时间表中间隔持续时间的信号进行时间控制
机译:Dyck代数,区间时间逻辑和区间的集合
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术