提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-2004-07578AU-埃切宁，姆纳乔AU-Iosif，Radu公司AU-尼古拉斯·佩尔蒂埃TI-归纳定义分离逻辑中的蕴涵检查是2-EXPTIME困难的。JO-CoRR公司VL-abs/2004.075782020年上半年//UR-（欧元）https://arxiv.org/abs/2004.07578急诊室-