Saguy Benaim等人：有限树上二元逻辑的复杂性。(2013) conf/icalp/BenaimBCKLMW13 10.1007/978-3-642-39212-2_10 有限树上二元逻辑的复杂性。 7 萨古·本奈姆 1 本尼迪克特 2 维托尔德·查拉托尼克 三 伊曼纽尔·基伦斯基 4 拉斯蒂斯拉夫·伦哈特 5 菲利普·马佐维耶基 6 詹姆斯·沃雷尔0001 7 74-88 ICALP（二） ICALP（二） 2013 2013 dblp记录“conf/icalp/BenaimBCKLMW13”的RDF数据的来源信息 2019-09-16T15:32:57+0200