提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP：期刊/corr/abs-2007-00502非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-具有归纳定义的分离逻辑中的可判定蕴涵：超越已建立的系统。JO-CoRR公司VL-abs/2007.05022020年上半年//UR-（欧元）https://arxiv.org/abs/200700502急诊室-