提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2305-08419非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯具有归纳定义谓词的分离逻辑中的TI-可追踪和不可解蕴涵问题。JO-CoRR公司VL-abs/2305.084192023年上半年//DO-10.48550/ARXIV.2305.08419UR-（欧元）https://doi.org/10.48550/arXiv.2305.08419急诊室-