Hugo Moeneclaey：参数论和半立体派类型。(2021) conf/lics/Moeneclaey公司21 10.1109/LICS52264.2021.9470728 参数性和半立方类型。 1 雨果·莫恩克莱 1 1-11 许可证 许可证 2021 2021 dblp记录“conf/lics/Moeneclaey21”的RDF数据的来源信息 2021-07-09T14:36:19+0200