BibTeX记录日志/corr/cs-PL-0102025
@文章{DBLP:journals/corr/cs-PL-0102025， author={Marco Bozzano和 乔治·德尔扎诺和 Maurizio Martelli}， title={线性逻辑程序的有效定点语义}， 日志={CoRR}， 体积={cs.PL/0102025}， 年份＝{2001}， url={ https://arxiv.org/abs/cs/0102025 }, 时间戳={2020年1月10日星期五12:59:15+0100}， biburl={ https://dblp.org/rec/journals/corr/cs-PL-0102025.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
