保存此搜索
研究论文 2014年7月 保护逻辑中的有效插值和保存 CSL-LICS’14:第二十届EACSL计算机科学逻辑年会(CSL)联席会议和第二十届ACM/IEEE计算机科学逻辑研讨会(LICS)会议记录 2014年7月, 条款编号:13 , 第1-10页 https://doi.org/10.1145/2603088.2603108 逻辑的理想属性包括可判定性,以及继承一阶逻辑属性的模型理论,如插值和保存定理。 众所周知,一阶逻辑的保护碎片(GF)是可判定的,并且。。。 诉讼程序 2014年7月 CSL-LICS’14:第二十届EACSL计算机科学逻辑年会(CSL)联席会议和第二十届ACM/IEEE计算机科学逻辑研讨会(LICS)会议记录 本卷包含第二十届EACSL计算机科学逻辑年会(CSL)联席会议和第二十届ACM/IEEE计算机科学逻辑研讨会(LICS)的会议记录。 CSL是。。。