BibTeX记录conf/lics/MardarePP21
@在过程中{DBLP:conf/lics/MardarePP21, author={Radu Mardare和 普拉卡什·帕南加登和 戈登·普洛金(Gordon D.Plotkin), title={定量等式逻辑的固定点}, booktitle={第36届年度{ACM/IEEE}计算机科学逻辑研讨会,{LICS} 2021年6月29日至2021年7月2日,意大利罗马}, 页数={1--13}, publisher={{IEEE}}, 年份={2021}, url={ https://doi.org/10.1109/LICS52264.2021.9470662 }, doi={10.1109/LICS52264.2021.9470662}, timestamp={2021年7月9日星期五14:36:19+0200}, biburl={ https://dblp.org/rec/conf/lics/MardarePP21.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }