提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/csl/KieronskiK15澳大利亚-基伦斯基，伊曼纽尔AU-库西斯托，安蒂TI-具有一个等价关系的统一一维片段。BT-第24届EACSL计算机科学逻辑年会，CSL 2015年9月7日至10日，德国柏林SP-597EP-6152015年上半年//DO-10.4230/LIPICS。CSL.2015.597号文件UR-（欧元）https://doi.org/10.4230/LIPIcs.CSL.2015.597急诊室-