BibTeX记录conf/cade/EchenimIP21
@正在进行{DBLP:conf/cade/EchenimIP21, author={Mnacho Echenim和 Radu Iosif和 尼古拉斯·佩尔蒂埃}, editor={Andr{\'{e}}Platzer和 杰夫·萨特克利夫}, title={用归纳法统一分离逻辑中的可判定蕴涵 定义}, booktitle={自动扣除-{CADE}28-28国际会议 自动扣除,虚拟事件,2021年7月12日至15日,诉讼}, series={计算机科学讲稿}, 体积={12699}, 页数={183--199}, publisher={Springer}, 年份={2021}, 网址={ https://doi.org/10.1007/978-3-030-79876-5 \_11}, doi={10.1007/978-3-030-79876-5\_11}, timestamp={2021年7月29日星期四13:42:16+0200}, biburl={ https://dblp.org/rec/conf/cade/EchenimIP21.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }