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 条

[1] Fine hierarchy of regular omega-languages
Selivanov, V
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 277 - 287
[2] On syntactic congruences for omega-languages
Maler, O
Staiger, L
THEORETICAL COMPUTER SCIENCE, 1997, 183 (01) : 93 - 112
[3] PROJECTION LEMMAS FOR OMEGA-LANGUAGES
STAIGER, L
THEORETICAL COMPUTER SCIENCE, 1984, 32 (03) : 331 - 337
[4] BUCHI LANGUAGES AND LOCAL OMEGA-LANGUAGES
FINKEL, O
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1989, 309 (20): : 991 - 994
[5] SEQUENTIAL MAPPINGS OF OMEGA-LANGUAGES
STAIGER, L
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1987, 21 (02): : 147 - 173
[6] BRZOZOWSKI HIERARCHY OF OMEGA-LANGUAGES
TAKAHASHI, M
THEORETICAL COMPUTER SCIENCE, 1987, 49 (01) : 1 - 12
[7] Literal shuffle on omega-languages
Moriya, T
Yamasaki, H
INFORMATION PROCESSING LETTERS, 1996, 59 (03) : 165 - 168
[8] FINITELY GENERATED OMEGA-LANGUAGES
LATTEUX, M
TIMMERMAN, E
INFORMATION PROCESSING LETTERS, 1986, 23 (04) : 171 - 175
[9] INTERROGATIVE COMPLEXITY OF OMEGA-LANGUAGES RECOGNITION
ALBERTS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 152 - 157
[10] STAR-FREE OMEGA-LANGUAGES AND 1ST ORDER LOGIC
PIN, JE
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 192 : 56 - 67

← 1 2 3 4 5 →