BibTeX记录期刊/corr/abs-2012-14361
@文章{DBLP:journals/corr/abs-2012-14361, author={Mnacho Echenim和 Radu Iosif和 尼古拉斯·佩尔蒂埃}, title={检查分离逻辑符号堆之间的蕴涵:超越 连接和建立的系统}, 日志={CoRR}, 体积={abs/2012.14361}, 年份={2020年}, url={ https://arxiv.org/abs/2012.14361 }, eprinttype={arXiv}, eprint={2012.14361}, timestamp={2021年1月5日星期二16:02:31+0100}, biburl={ https://dblp.org/rec/journals/corr/abs-2012-14361.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)