Graphs and Automata Extended abstract

被引：0
作者：
Melichar, Borivoj [1 ]
机构：
[1] Czech Tech Univ, Fac Informat Technol, Dept Theoret Comp Sci, Thakurova 9, CR-16000 Prague 6, Czech Republic
来源：
PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013 | 2013年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 6
页数：6
相关论文
共 50 条
  • [1] A calculus for timed automata (extended abstract)
    DArgenio, PR
    Brinksma, E
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 110 - 129
  • [2] Extended abstract dependency graphs
    Søren Enevoldsen
    Kim Guldstrand Larsen
    Jiří Srba
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 49 - 65
  • [3] Extended abstract dependency graphs
    Enevoldsen, Soren
    Larsen, Kim Guldstrand
    Srba, Jiri
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (01) : 49 - 65
  • [4] Operations on Unambiguous Finite Automata (Extended Abstract)
    Jiraskova, G.
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, 2022, 13439 : XV - XXV
  • [5] ON FINITE AUTOMATA WITH LIMITED NONDETERMINISM (EXTENDED ABSTRACT)
    LEUNG, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 355 - 363
  • [6] Distance labeling in graphs (extended abstract)
    Gavoille, C
    Peleg, D
    Pérennes, S
    Raz, R
    PROCEEDINGS OF THE TWELFTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2001, : 210 - 219
  • [7] Coordination Games on Graphs (Extended Abstract)
    Apt, Krzysztof R.
    Rahn, Mona
    Schaefer, Guido
    Simon, Sunil
    WEB AND INTERNET ECONOMICS, 2014, 8877 : 441 - 446
  • [8] Rankings of directed graphs (extended abstract)
    Kratochvíl, J
    Tuza, Z
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 1998, 1517 : 114 - 123
  • [9] Various Aspects of Finite Quantum Automata (Extended Abstract)
    Hirvensalo, Mika
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 21 - 33
  • [10] Nee automata and term rewrite systems (Extended abstract)
    Tison, S
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 27 - 30
12345