BibTeX记录日志/entcs/Statman16
@在过程中{DBLP:journals/entcs/Statman16， author={Rick Statman}， editor={Lars Birkedal}， title＝{关于Lambda中半群和其他同余的表示 微积分}， booktitle={第三十二届程序设计数学基础会议 语义，{MFPS}2016，卡内基梅隆大学，匹兹堡，宾夕法尼亚州， 美国，2016年5月23日至26日}， series={理论计算机科学中的电子笔记}， 体积={325}， 页数={299--304}， publisher＝{爱思唯尔}， 年份={2016年}， 网址={ https://doi.org/10.1016/j.entcs.2016.09.044 }, doi={10.1016/J.ENTCS.2016.09.044}， timestamp={2022年8月16日星期二23:07:07+0200}， biburl={ https://dblp.org/rec/journals/entcs/Statman16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
