BibTeX记录日志/entcs/RuttenBC13
@inprocesdings{DBLP:期刊/entcs/RuttenBC13， 作者=｛Jan Rutten和 阿道夫球鞋 {-}波林斯 和 恩里克·科斯姆 {-}左旋 {\'{o}}pez}， editor={Dexter Kozen和 迈克尔·米斯洛夫（Michael W.Mislove）， title={语言变体和共变体（扩展抽象）}， booktitle={第二十届数学基础会议记录 《编程语义》，{MFPS}2013，美国洛杉矶新奥尔良，6月 23-25, 2013}, series={理论计算机科学电子笔记}， 体积={298}， 页数={7--28}， publisher={Elsevier}， 年份={2013}， url={ https://doi.org/10.1016/j.entcs.2013.09.005 }， doi={10.1016/J.ENTCS.2013.09.005}， timestamp={2022年8月16日星期二23:07:15+0200}， biburl={ https://dblp.org/rec/journals/entcs/RuttenBC13.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
