Query Answering with Transitive and Linear-Ordered Data
Query Answering with Transitive and Linear-Ordered Data
复制标题
使用传递性和线性有序数据进行查询应答
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Amarilli A
中科院分区：
文献类型：
--
作者：
Amarilli A
登录
查看更多内容
无限树上的自动机
DOI：
10.4171/automata-1/8
发表时间：
2021
期刊：
[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science
影响因子：
--
作者：
Christof Löding
通讯作者：
Christof Löding
关于具有等价或传递保护的保护片段的有限可满足性
DOI：
--
发表时间：
2007
期刊：
Logic Programming and Automated Reasoning
影响因子：
--
作者：
Emanuel Kieronski;Lidia Tendera
通讯作者：
Lidia Tendera
可判定定点逻辑的表达能力得到提升
DOI：
10.1145/2933575.2933592
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Benedikt M
通讯作者：
Benedikt M
受保护的定点逻辑的有限可满足性
DOI：
10.1016/j.ipl.2012.02.005
发表时间：
2011
期刊：
ArXiv
影响因子：
--
作者：
V. Bárány;Mikolaj Bojanczyk
通讯作者：
Mikolaj Bojanczyk
受保护的定点逻辑和可数树的一元理论
DOI：
10.1016/s0304-3975(01)00151-7
发表时间：
2002
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel