BibTeX记录conf/fossacs/CardelliGG03
@进行中{DBLP:conf/fossacs/CardelliGG03， 作者=｛Luca Cardelli和 菲利普·加德纳和 乔治·盖利（Giorgio Ghelli）， 编辑={安德鲁·戈登}， title={使用隐藏标签操作树}， booktitle={软件科学和计算结构基础，第6版 2003年国际会议作为联合会的一部分举行 欧洲软件理论与实践会议，{ETAPS}2003， 波兰华沙，2003年4月7日至11日，Proceedings}， series={计算机科学讲稿}， 体积＝{2620}， 页数={216--232}， publisher={Springer}， 年份={2003}， url={ https://doi.org/10.1007/3-540-36576-1 \_14}, doi={10.1007/3-540-36576-1\_14}， timestamp={2022年2月14日星期一09:20:26+0100}， 比布尔={ https://dblp.org/rec/conf/fossacs/CardelliGG03.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
