BibTeX记录日志/rml/VidalT06
@文章{DBLP:journals/rml/VidalT06， author={Juan Climent Vidal和 Juan Soliveres Tur}， title={关于多元等式逻辑的完备性定理和 霍尔代数与B{\'{e}}-nabou理论}的等价性， journal={Reports Math.Log.}， 体积={40}， 页数={127--158}， 年份={2006}， url={ https://rml.tcs.uj.edu.pl/rml-40/06-climent.pdf }, timestamp={2021年12月8日星期三17:06:01+0100}， biburl={ https://dblp.org/rec/journals/rml/VidalT06.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
