Mnacho-Echenim等人：使用归纳定义检查分离逻辑中的蕴涵是2-EXPTIME困难的。(2020) conf/lpar/EchenimIP20 10.29007/F5白色 带有归纳定义的分离逻辑中的蕴涵检查是2-EXPTIME困难的。 三 Mnacho Echenim公司 1 半径Iosif 2 尼古拉斯·佩尔蒂埃 三 191-211 LPAR公司 LPAR公司 2020 2020 dblp记录“conf/lpar/EchenimIP20”的RDF数据的来源信息 2021-08-15T00:16:53+0200