摘要：第一个完整的无量词分离逻辑的公理化理论
作者：St''ephane Demri, ''Etienne Lozes, Alessio Mansutti
论文ID：2006.05156
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中