位置：成果数据库 > 会议 > 会议详情页
Commutative Data Automata
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：the 21st EACSL Annual Conferences on Computer Science Logic (CSL)
  • 时间：2012.9.3
  • 成果类型：会议
  • 相关项目：无穷字母表上的形式模型：逻辑与自动机
作者： Zhilin Wu|
同会议论文项目
无穷字母表上的形式模型逻辑与自动机
期刊论文 1 会议论文 3
同项目会议论文
Extending temporal logics with data variable quantifications<br />
Recursive queries on trees and data trees