Interpolation with Decidable Fixpoint Logics
Interpolation with Decidable Fixpoint Logics
复制标题
使用可判定的定点逻辑进行插值
DOI：
10.1109/lics.2015.43
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Benedikt M
中科院分区：
文献类型：
--
作者：
Benedikt M
登录
查看更多内容
受保护逻辑中的有效插值和保存
DOI：
10.1145/2603088.2603108
发表时间：
2014
期刊：
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Michael Benedikt;B. T. Cate;M. V. Boom
通讯作者：
M. V. Boom
Beth 受保护片段的可定义性
DOI：
--
发表时间：
1999
期刊：
Logic Programming and Automated Reasoning
影响因子：
--
作者：
E. Hoogland;maarten marx;M. Otto
通讯作者：
M. Otto
描述逻辑EL中一致插值和逼近的自动机理论方法
DOI：
--
发表时间：
2012
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
作者：
C. Lutz;Inanç Seylan;F. Wolter
通讯作者：
F. Wolter
表达描述逻辑中的 Beth 可定义性
DOI：
10.5591/978-1-57735-516-8/ijcai11-188
发表时间：
2011
期刊：
Inf. Comput.
影响因子：
--
作者：
B. T. Cate;Enrico Franconi;Inanç Seylan
通讯作者：
Inanç Seylan
DOI：
10.1007/3-540-61604-7_60
发表时间：
1996-08
期刊：
--
影响因子：
--
作者：
David Janin;I. Walukiewicz
通讯作者：
David Janin;I. Walukiewicz