陈一嘉和弗鲁姆:禁止的诱导子图和Łosh-Tarski定理。(2021) conf/lics/ChenF21 10.1109/LICS52264.2021.9470742 禁止的诱导子图和Łosh-Tarski定理。 2 陈一佳(音) 1 Jörg Flum公司 2 1月13日 低收入国家 低收入国家 2021 2021 dblp记录“conf/lics/ChenF21”的RDF数据的来源信息 2021-07-09T14:36:19+0200