引用人
巴尔塔格A 贝扎尼什维利N 费尔南德斯·杜克D (2023) 拓扑Mu-Calculus:完备性和可判定性 美国医学会杂志 10.1145/3623268 70 :5 (1-38) 在线发布日期:2023年10月11日 巴尔塔格A 贝扎尼什维利N 费尔南德斯·杜克D 戈拉·D (2021) 拓扑微积分 第36届ACM/IEEE计算机科学逻辑年会论文集 10.1109/LICS52264.2021.9470560 (1-13) 在线发布日期:2021年6月29日 Enqvist S公司 汉森·H 库普克C Marti J(马蒂·J) 威尼斯Y 布耶P (2019) 游戏逻辑的完整性 第34届ACM/IEEE计算机科学逻辑年会论文集 10.5555/3470152.3470174 (1-13) 在线发布日期:2019年6月24日