. . . . . “Mnacho-Echenim等人：用归纳定义检查分离逻辑中的蕴涵是2-EXPTIME困难的。（2020）”。 . _：ID_0060e868604c3bcc121c1d474b1c210b。_：ID_0060e868604c3bcc1121c1d474b1c210b ._：ID_0060e868604c3bcc121c1d474b1c210b ._：ID_0060e868604c3bcc1121c1d474b1c210b ._：ID_0060e868604c3bcc121c1d474b1c210b“conf/lpar/EchenimIP20”。 _：ID_17fc00ad73579d8ffb086008fdaa759f。_：ID_17fc00ad73579d8ffb086008fdaa759f ._：ID_17fc00ad73579d8ffb086008fdaa759f ._：ID_17fc00ad73579d8ffb086008fdaa759f ._：ID_17fc00ad73579d8ffb086008fdaa759f“10.29007/F5WH”。 “带归纳定义的分离逻辑中的蕴涵检查是2-EXPTIME困难的。”。 . . . . . . . "3"^^. _：9195e988f8aa188e7c65cec7_1的签名。_：9195e988f8aa188e7c65cec7_1的签名 ._：9195e988f8aa188e7c65cec7_1的签名 ._：9195e988f8aa188e7c65cec7_1的签名“Mnacho Echenim”。_：9195e988f8aa188e7c65cec7_1的签名 ._：9195e988f8aa188e7c65cec7_1的签名"1"^^._：9195e988f8aa188e7c65cec7_1的签名 . _：9195e988f8aa188e7c65cec7_2的签名。_：9195e988f8aa188e7c65cec7_2的签名 ._：9195e988f8aa188e7c65cec7_2的签名 ._：9195e988f8aa188e7c65cec7_2的签名“Radu Iosif”。_：9195e988f8aa188e7c65cec7_2的签名 ._：9195e988f8aa188e7c65cec7_2的签名"2"^^._：9195e988f8aa188e7c65cec7_2的签名 . _：9195e988f8aa188e7c65cec7_3的签名。_：9195e988f8aa188e7c65cec7_3的签名 ._：9195e988f8aa188e7c65cec7_3的签名 ._：9195e988f8aa188e7c65cec7_3的签名“尼古拉斯·佩尔蒂埃”。_：9195e988f8aa188e7c65cec7_3的签名 ._：9195e988f8aa188e7c65cec7_3的签名"3"^^._：9195e988f8aa188e7c65cec7_3的签名 . . . . . "191-211" . “LPAR”。 “LPAR”。 "2020"^^. "2020"^^. . “dblp记录'conf/lpar/EchenimIP20'的RDF数据的起源信息”。 . . . “2021-08-15T00:16:53+0200”。