COMPUTATION TREE LOGIC AND REGULAR OMEGA-LANGUAGES

被引：12
|
作者：
THOMAS, W
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 354卷
关键词：
D O I：
10.1007/BFb0013041
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：690 / 713
页数：24
相关论文
共 50 条
  • [21] On Syntactic Congruences for Omega-Languages and the Minimization of Omega-Automata
    Maler, O.
    Staiger, L.
    Bulletin of the European Association for Theoretical Computer Science, 1994, (53):
  • [22] ON OMEGA-LANGUAGES WHOSE SYNTACTIC MONOID IS TRIVIAL
    JURGENSEN, H
    THIERRIN, G
    INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1983, 12 (05): : 359 - 365
  • [23] THEORY OF OMEGA-LANGUAGES .1. CHARACTERIZATIONS OF OMEGA-CONTEXT-FREE LANGUAGES
    COHEN, RS
    GOLD, AY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 15 (02) : 169 - 184
  • [24] On Omega-Languages Defined by Mean-Payoff Conditions
    Alur, Rajeev
    Degorre, Aldric
    Maler, Oded
    Weiss, Gera
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 333 - +
  • [25] A NEGATIVE ANSWER TO A QUESTION OF WILKE ON VARIETIES OF OMEGA-LANGUAGES
    PIN, JE
    INFORMATION PROCESSING LETTERS, 1995, 56 (04) : 197 - 200
  • [26] CHARACTERIZATIONS OF RATIONAL OMEGA-LANGUAGES BY MEANS OF RIGHT CONGRUENCES
    VAN, DL
    LESAEC, B
    LITOVSKY, I
    THEORETICAL COMPUTER SCIENCE, 1995, 143 (01) : 1 - 21
  • [27] DETERMINISTIC AND NON-AMBIGUOUS RATIONAL OMEGA-LANGUAGES
    ARNOLD, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 192 : 18 - 27
  • [28] Computation Tree Regular Logic for Genetic Regulatory Networks
    Mateescu, Radu
    Monteiro, Pedro T.
    Dumas, Estelle
    de Jong, Hidde
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 48 - 63
  • [29] WHICH FINITE MONOIDS ARE SYNTACTIC MONOIDS OF RATIONAL OMEGA-LANGUAGES
    PHAN, TH
    LIVOTSKY, I
    DO, LV
    INFORMATION PROCESSING LETTERS, 1992, 42 (03) : 127 - 132
  • [30] THE 3 SUBFAMILIES OF RATIONAL OMEGA-LANGUAGES CLOSED UNDER OMEGA-TRANSDUCTION
    TIMMERMAN, E
    THEORETICAL COMPUTER SCIENCE, 1990, 76 (2-3) : 243 - 250
12345