Philippe Balbiani等人：具有有限模型性质的S4的一些构造性变体。(2021) conf/lics/BalbianiDF21 10.1109/LICS52264.2021.9470643 具有有限模型特性的S4的一些构造变体。 三 菲利普·巴尔比亚尼 1 马丁·迪盖兹 2 大卫·费尔南德斯·杜克 三 1-13 低收入国家 低收入国家 2021 2021 dblp记录“conf/lics/BalbianiDF21”的RDF数据的来源信息 2024-02-05T20:31:46+0100