Querying the Unary Negation Fragment with Regular Path Expressions
Querying the Unary Negation Fragment with Regular Path Expressions
复制标题
使用正则路径表达式查询一元否定片段
DOI：
10.4230/lipics.icdt.2018.15
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Thomas Schneider
中科院分区：
文献类型：
--
作者：
Jean Christoph Jung;Carsten Lutz;Mauricio Martel;Thomas Schneider
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
如何最好地嵌套常规路径查询
DOI：
--
发表时间：
2014
期刊：
Description Logics
影响因子：
--
作者：
P. Bourhis;M. Krötzsch;S. Rudolph
通讯作者：
S. Rudolph
DOI：
10.1007/978-3-319-10587-1_5
发表时间：
2014
期刊：
SIGART Bull.
影响因子：
--
作者：
R. Kontchakov;M. Zakharyaschev
通讯作者：
M. Zakharyaschev
使用传递性和线性有序数据进行查询应答
DOI：
--
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Amarilli A
通讯作者：
Amarilli A
用于分支时间模型检查的 Oracle 电路
DOI：
--
发表时间：
2003
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
P. Schnoebelen
通讯作者：
P. Schnoebelen