BibTeX记录conf/lics/BodirskyB21

下载为.bib文件

@正在进行{DBLP:conf/lics/BodirskyB21,author={曼纽尔·博德斯基和贝塔兰·博多尔},title={Ramsey结构的规范多态性和唯一插值属性},booktitle={第36届年度{ACM/IEEE}计算机科学逻辑研讨会,{LICS}2021年6月29日至2021年7月2日,意大利罗马},页数={1--13},publisher={{IEEE}},年份={2021},url={https://doi.org/10.1109/LICS52264.2021.9470683},doi={10.1109/LICS52264.2021.9470683},timestamp={星期六,2023年9月30日09:52:08+0200},biburl={https://dblp.org/rec/conf/lics/BodirskyB21.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
服务Schloss Dagstuhl-莱布尼茨信息学中心