Queries with Guarded Negation
Queries with Guarded Negation
复制标题
带有保护否定的查询
DOI：
10.14778/2350229.2350250
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
M. Otto
中科院分区：
文献类型：
--
作者：
V. Bárány;B. ten Cate;M. Otto
登录
查看更多内容
DOI：
10.1145/504077.504079
发表时间：
2002
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
G. Gottlob;E. Grädel;H. Veith
通讯作者：
G. Gottlob;E. Grädel;H. Veith
有界问题的可判定性结果
DOI：
10.2168/lmcs-10(3:2)2014
发表时间：
2011
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Achim Blumensath;Martin Otto;Mark Weyer
通讯作者：
Mark Weyer
DOI：
10.1007/s10849-005-5789-8
发表时间：
2004
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
Dirk Leinders;M. Marx;Jerzy Tyszkiewicz;J. V. D. Bussche
通讯作者：
J. V. D. Bussche
受保护的定点逻辑的有限可满足性
DOI：
10.1016/j.ipl.2012.02.005
发表时间：
2011
期刊：
ArXiv
影响因子：
--
作者：
V. Bárány;Mikolaj Bojanczyk
通讯作者：
Mikolaj Bojanczyk
数据交换：关于回答不等式查询的复杂性
DOI：
10.1016/j.ipl.2005.03.001
发表时间：
2005
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
A. Madry
通讯作者：
A. Madry