“Halpern-Shoham逻辑的混合片段及其表达能力。”
普尔泽米斯瓦夫·安德烈·瓦莱加(Przemyslaw Andrzej Walega) :
Halpern-Shoham逻辑的混合片段及其表达能力。 西奥。 计算。 科学。 797 : 102-128 ( 2019 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能尚未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)