Mnacho-Echenim等人：使用归纳定义检查分离逻辑中的蕴涵是2-EXPTIME困难的。(2020) 期刊/corr/abs-2004-07578 2004.07578 带有归纳定义的分离逻辑中的蕴涵检查是2-EXPTIME困难的。 三 Mnacho Echenim公司 1 半径Iosif 2 尼古拉斯·佩尔蒂埃 三 CoRR公司 CoRR公司 abs/2004.07578 2020 dblp记录“journals/corr/abs-2004-07578”的RDF数据的来源信息 2020-04-21T16:51:52+0200