提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/tocl/EchenimIP20非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯带有未解释谓词的分离逻辑的Bernays-Schönfinkel-Ramsey类。JO-ACM事务处理。计算。日志。VL-21IS-3标准标准普尔-19:1EP-19:462020年上半年//DO-10.1145/3380809UR-（欧元）https://doi.org/10.1145/3380809急诊室-