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
中图分类号：
学科分类号：
摘要：
28
引用
收藏
页码：198 / 210
相关论文
共 50 条
  • [1] Real-counter automata and their decision problems
    Dang, Z
    Ibarra, OH
    San Pietro, P
    Xie, GY
    FSTTCS 2004: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2004, 3328 : 198 - 210
  • [2] Hybrid acceleration using real vector automata (Extended abstract)
    Boigelot, B
    Herbreteau, R
    Jodogne, S
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 193 - 205
  • [3] Graphs and Automata Extended abstract
    Melichar, Borivoj
    PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 2013, : 1 - 6
  • [4] A calculus for timed automata (extended abstract)
    DArgenio, PR
    Brinksma, E
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 110 - 129
  • [5] ON FINITE AUTOMATA WITH LIMITED NONDETERMINISM (EXTENDED ABSTRACT)
    LEUNG, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 355 - 363
  • [6] Operations on Unambiguous Finite Automata (Extended Abstract)
    Jiraskova, G.
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, 2022, 13439 : XV - XXV
  • [7] ON DECISION PROBLEMS FOR TIMED AUTOMATA
    Finkel, Olivier
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2005, (87): : 185 - 190
  • [8] Various Aspects of Finite Quantum Automata (Extended Abstract)
    Hirvensalo, Mika
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 21 - 33
  • [9] Nee automata and term rewrite systems (Extended abstract)
    Tison, S
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 27 - 30
  • [10] FINITE AUTOMATA AND THEIR DECISION PROBLEMS
    RABIN, MO
    SCOTT, D
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1959, 3 (02) : 114 - 125
12345