Querying the Guarded Fragment
Querying the Guarded Fragment
复制标题
查询受保护的片段
DOI：
10.2168/lmcs-10(2:3)2014
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
M. Otto
中科院分区：
文献类型：
--
作者：
V. Barany;G. Gottlob;M. Otto
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
从带数量限制的二变量保护片段到保护片段的多项式翻译
DOI：
--
发表时间：
2004
期刊：
European Conference on Logics in Artificial Intelligence
影响因子：
--
作者：
Yevgeny Kazakov
通讯作者：
Yevgeny Kazakov
描述逻辑中有限模型推理的复杂性
影响因子：
1
作者：
C. Lutz;U. Sattler;Lidia Tendera
通讯作者：
Lidia Tendera
DOI：
--
发表时间：
1998
期刊：
Description Logics
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
有限共形超图覆盖和有限结构中的盖夫曼团
影响因子：
0.6
作者：
I. Hodkinson;M. Otto
通讯作者：
M. Otto