A decidable extension of data automata

被引：0

作者：

Wu, Zhilin ^{[1
]}

机构：

[1] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China

来源：

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2011年 / 54卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Automata theory

引用

页码：116 / 130