BibTeX记录conf/lics/BartoBBKZ21
@正在进行{DBLP:conf/lics/BartoBBKZ21， author={Libor Barto和 查拉图斯特拉·布雷迪和 安德烈·布拉托夫和 Marcin Kozik和 德米特里·朱克}， title={极小泰勒代数作为三代数的通用框架 {CSP}}的方法， booktitle={第36届年度{ACM/IEEE}计算机科学逻辑研讨会，{LICS} 2021年6月29日至2021年7月2日，意大利罗马}， 页数={1--13}， publisher={{IEEE}}， 年份={2021}， url={ https://doi.org/10.109/LICS52264.2021.9470557 }, doi={10.1109/LICS52264.2021.9470557}， timestamp={2022年12月7日星期三23:12:33+0100}， biburl={ https://dblp.org/rec/conf/lics/BartoBBKZ21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
