BibTeX记录日志/corr/abs-1804-03556
@文章{DBLP:journals/corr/abs-1804-03556， author={Mnacho Echenim和 Radu Iosif和 尼古拉斯·佩尔蒂埃}， title={带一个选择器的Prenex分离逻辑的复杂性}， journal＝{CoRR}， 体积={abs/1804.03556}， 年份={2018年}， url={ http://arxiv.org/abs/1804.03556 }, eprinttype={arXiv}， eprint={1804.03556}， timestamp={2018年8月13日星期一16:46:48+0200}， 比布尔={ https://dblp.org/rec/journals/corr/abs-1804-03556.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
