提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/DielskiK18澳大利亚——丹尼尔·丹尼尔斯基澳大利亚-基伦斯基，伊曼纽尔具有等价关系的TI-一元否定片断具有有限模型性质。BT-2018年7月9日至12日，英国牛津，2018年LICS，第33届ACM/IEEE计算机科学逻辑研讨会论文集SP-285欧洲药典-2942018年上半年//DO-10.1145/3209108.3209205UR-（欧元）https://doi.org/10.1145/3209108.3209205急诊室-