BibTeX记录日志/corr/abs-1912-08715
@文章{DBLP:journals/corr/abs-1912-08715， author={Lauri Hella和 Miikka Vilander}， title={模态逻辑和{\（\mu\）}-演算的公式大小游戏}， 日志={CoRR}， 体积={abs/1912.08715}， 年份={2019}， url={ http://arxiv.org/abs/1912.08715 }, eprinttype={arXiv}， eprint={1912.08715}， 时间戳={2020年1月3日星期五16:10:45+0100}， biburl={ https://dblp.org/rec/journals/corr/abs-1912-08715.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
