Emanuel Kieronski等人：具有等价闭包的二变量一阶逻辑。(2012) conf/lics/KieronskiMPT12 10.1109/LICS.2012.53 具有等价闭包的二变量一阶逻辑。 4 伊曼纽尔·基隆斯基 1 雅库布·米查利辛 2 伊恩·普拉特·哈特曼 三 丽迪娅·坦德拉 4 431-440 许可证 许可证 2012 2012 dblp记录“conf/lics/KieronskiMPT12”的RDF数据的来源信息 2023-03-24T00:01:50+0100