BibTeX记录日志/corr/abs-1801-05994
@文章{DBLP:journals/corr/abs-1801-05994， author={Ga{\“{e}}lle Fontaine和 Yde Venema}， title={模态{\（\mu\）}-演算的一些模型理论：句法特征 语义属性}， 日志={CoRR}， 体积={abs/1801.05994}， 年份={2018年}， url={ http://arxiv.org/abs/1801.05994 }, eprinttype={arXiv}， eprint={1801.05994}， timestamp={2018年8月13日星期一16:47:52+0200}， 比布尔={ https://dblp.org/rec/journals/corr/abs-1801-05994.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
