Juan Climent Vidal和Enric Cosme-López：基于同余的自由多分类代数可识别性定理的证明。(2018) 日记账/corr/abs-1808-08217 1808.08217 自由多分类代数可识别性定理的基于同余的证明。 2 胡安·克莱门特·维达尔 1 恩里克·科斯梅·洛佩斯 2 CoRR公司 CoRR公司 abs/1808.08217 2018 dblp记录'journals/corr/abs-1808-08217'的RDF数据的来源信息 2018-09-02T15:01:55+0200