Juan Climent Vidal和Enric Cosme-Llópez：自由多分类代数可识别性定理的基于同余的证明。(2020) 日志/logcom/VidalC20 10.1093/LOGCOM/EXZ032 问题113818620 自由多分类代数可识别性定理的基于同余的证明。 2 胡安·克莱门特·维达尔 1 恩里克·科斯梅·洛佩斯 2 561-633 J.日志。计算。 J.日志。计算。 30 2 2020 dblp记录“journals/logcom/VidalC20”的RDF数据的来源信息 2023-08-28T21:31:09+0200