On Deductive Interpolation for the Weak Nilpotent Minimum logic
On Deductive Interpolation for the Weak Nilpotent Minimum logic
复制标题
弱幂极小值逻辑的演绎插值
DOI：
10.1016/j.fss.2015.12.016
复制
发表时间：
2016
影响因子：
3.9
通讯作者：
Marchioni E
中科院分区：
文献类型：
--
作者：
Marchioni E
登录
查看更多内容
DOI：
--
发表时间：
1971
期刊：
影响因子：
--
作者：
D. Pigozzi
通讯作者：
D. Pigozzi
负函数[0,1]。
DOI：
--
发表时间：
1980
期刊：
影响因子：
--
作者：
Francesc Esteva;X. Domingo
通讯作者：
X. Domingo
有限 PCFG 的否定消除（书籍章节）
DOI：
--
发表时间：
2005
期刊：
Logic-based Program Synthesis and Transformation, Springer LNCS 3573
影响因子：
--
作者：
Sato;T.;Kameya;Y
通讯作者：
Y
子结构逻辑的插值属性、Beth 可定义性属性和合并属性
影响因子：
0.7
作者：
H. Kihara;H. Ono
通讯作者：
H. Ono
BL 代数的量词消除和其他模型理论性质
DOI：
--
发表时间：
2011
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
Tommaso Cortonesi;Enrico Marchioni;F. Montagna
通讯作者：
F. Montagna