位置：成果数据库 > 会议 > 会议详情页
Recursive queries on trees and data trees
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：The 16th International Conference on Database Theory (ICDT 2013)
  • 时间：2013.3.1
  • 成果类型：会议
  • 相关项目：无穷字母表上的形式模型：逻辑与自动机
作者： Serge Abiteboul|Pierre Bourhis|Anca Muscholl|Zhilin Wu|
同会议论文项目
无穷字母表上的形式模型逻辑与自动机
期刊论文 1 会议论文 3
同项目会议论文
Extending temporal logics with data variable quantifications<br />
Commutative Data Automata