Mnacho-Echenim等人：分离逻辑中的可判定蕴涵与归纳定义：超越建立。(2021) conf/csl/EchenimIP21 10.4230/LIPICS公司。加拿大标准普尔2021.20 带归纳定义的分离逻辑中的可判定蕴涵：超越建立。 三 Mnacho Echenim公司 1 半径Iosif 2 尼古拉斯·佩尔蒂埃 三 20:1-20:18 CSL公司 CSL公司 2021 2021 dblp记录“conf/csl/EchenimIP21”的RDF数据的来源信息 2021-01-13T17:30:05+0100