提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/csl/EchenimIP21AU-埃切宁，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-带归纳定义的分离逻辑中的可判定蕴涵：超越建立。BT-第29届EACSL计算机科学逻辑年会，CSL 2021年1月25-28日，斯洛文尼亚卢布尔雅那（虚拟会议）。SP-20:1欧洲药典-20:182021年上半年//DO-10.4230/LIPICS。加拿大标准普尔2021.20UR-（欧元）https://doi.org/10.4230/LIPIcs.CSL.2021.20急诊室-