Juan Climent Vidal和Juan Soliveres Tur:关于多重等式逻辑的完备性定理以及Hall代数和Bénabou理论之间的等价性。(2006) 日记账/rml/视频T06 关于多元等式逻辑的完备性定理及霍尔代数与贝纳布理论的等价性。 2 胡安·克莱门特·维达尔 1 Juan Soliveres Tur公司 2 127-158 数学报告。日志。 数学报告。日志。 40 2006 dblp记录“journals/rml/VidalT06”的RDF数据的来源信息 2021-12-08T17:06:01+0100