Conservative Extensions in Guarded and Two-Variable Fragments
Conservative Extensions in Guarded and Two-Variable Fragments
复制标题
保护片段和二变量片段中的保守扩展
DOI：
10.4230/lipics.icalp.2017.108
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Frank Wolter
中科院分区：
文献类型：
--
作者：
Jean Christoph Jung;Carsten Lutz;Mauricio Martel;Thomas Schneider;Frank Wolter
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
DOI：
10.1007/978-3-642-01907-4_3
发表时间：
2009-05
期刊：
--
影响因子：
--
作者：
B. Konev;C. Lutz;Dirk Walther;F. Wolter
通讯作者：
B. Konev;C. Lutz;Dirk Walther;F. Wolter
DOI：
10.1007/978-3-319-49493-7_2
发表时间：
2016-09
期刊：
--
影响因子：
--
作者：
E. Botoeva;B. Konev;C. Lutz;V. Ryzhikov;F. Wolter;M. Zakharyaschev
通讯作者：
E. Botoeva;B. Konev;C. Lutz;V. Ryzhikov;F. Wolter;M. Zakharyaschev
使用可判定的定点逻辑进行插值
DOI：
10.1109/lics.2015.43
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Benedikt M
通讯作者：
Benedikt M
影响因子：
5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike