BibTeX记录日志/corr/abs-2201-13227
@文章{DBLP:journals/corr/abs-2201-13227， author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}， title={具有归纳定义的分离逻辑的证明过程 和理论推理}， 日志={CoRR}， 体积={abs/2201.13227}， 年份={2022}， url={ https://arxiv.org/abs/2201.13227 }, eprinttype={arXiv}， eprint={2201.13227}， timestamp={2022年2月2日星期三15:00:01+0100}， biburl={ https://dblp.org/rec/journals/corr/abs-2201-13227.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
