BibTeX记录日志/corr/abs-2112-13746
@会议记录{DBLP:journals/corr/abs-212-13746， 编辑器＝{Ana Sokolova}， title={第37届程序设计数学基础会议论文集 语义，{MFPS}2021，混合：奥地利萨尔茨堡和在线，第30期 2021年8月至9月2日}， 系列={{EPTCS}}， 体积={351}， 年份={2021}， url={ https://doi.org/10.4204/EPTCS.351 }, doi={10.4204/EPTCS.351}， 时间戳={2022年3月17日星期四13:40:33+0100}， biburl={ https://dblp.org/rec/journals/corr/abs-212-13746.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
