提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP：期刊/siamcomp/KieronskiMPT14澳大利亚-基伦斯基，伊曼纽尔澳大利亚-米查利辛，雅库布澳大利亚——Pratt-Hartmann，Ian澳大利亚-Tendra，LidiaTI-具有等价闭包的二变量一阶逻辑。JO-SIAM J.计算。VL-43IS-3标准SP-1012型EP-10632014年上半年//DO-10.1137/1209000095UR-（欧元）https://doi.org/10.1137/120900095急诊室-