BibTeX记录conf/fossacs/EchenimIP19
@进行中{DBLP:conf/fossacs/EchenimIP19， author={Mnacho Echenim和 Radu Iosif和 尼古拉斯·佩尔蒂埃}， editor={Mikolaj Bojanczyk和 亚历克斯·辛普森}， title={The Bernays-Sch{\“{o}}-nfinkel-Ramsey分离逻辑类 在任意域}上， booktitle={软件科学和计算结构基础-22 2019年{FOSSACS}国际会议，作为欧洲的一部分举行 2019年软件理论与实践联合会议， 捷克共和国布拉格，2019年4月6日至11日，诉讼程序}， series={计算机科学讲稿}， 体积={11425}， 页数={242--259}， publisher={Springer}， 年份={2019}， url={ https://doi.org/10.1007/978-3-030-17127-8 \_14}, doi={10.1007/978-3-030-17127-8\_14}， 时间戳={2020年1月31日星期五21:32:20+0100}， 比布尔={ https://dblp.org/rec/conf/fossacs/EchenimIP19.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
