Real-counter automata and their decision problems (extended abstract)

被引：0

作者：

Dang, Zhe ^{[1
]}

Ibarra, Oscar H. ^{[2
]}

San Pietro, Pierluigi ^{[3
]}

Xie, Gaoyan ^{[1
]}

机构：

[1] School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA 99164, United States

[2] Department of Computer Science, University of California, Santa Barbara, CA 93106, United States

[3] Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004年 / 3328卷

关键词：

★ The research of Zhe Dang and Gaoyan Xie was supported in part by NSF Grant CCF-0430531. The research of Oscar H. Ibarra has been supported in part by by NSF Grants IIS-0101134; CCR-0208595; and CCF-0430945. The research of Pierluigi San Pietro has been supported in part by MIUR grants FIRB RBAU01MCAC; COFIN 2003012437-004. ★★ Corresponding author (zdang@eecs.wsu.edu);

D O I：

10.1007/978-3-540-30538-5_17

中图分类号：

学科分类号：

摘要：

引用

页码：198 / 210