BibTeX记录日志/corr/abs-1901-06407
@文章{DBLP:journals/corr/abs-1901-06407， author={Mikhail N.Rybakov和 德米特里·什卡托夫}， title={有限命题动态逻辑的复杂性和表达性 多变量}， 日志={CoRR}， 体积={abs/1901.06407}， 年份={2019}， url={ http://arxiv.org/abs/1901.06407 }， eprinttype={arXiv}， eprint={1901.06407}， timestamp={2024年5月7日星期二20:16:11+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1901-06407.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
