SEQUENTIAL MAPPINGS OF OMEGA-LANGUAGES

被引：12

作者：

STAIGER, L

机构：

来源：

RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1987年 / 21卷 / 02期

关键词：

D O I：

10.1051/ita/1987210201471

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：147 / 173

页数：27

共 50 条

[21] COMPUTATION TREE LOGIC AND REGULAR OMEGA-LANGUAGES
THOMAS, W
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 690 - 713
[22] 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
[23] 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 - +
[24] A NEGATIVE ANSWER TO A QUESTION OF WILKE ON VARIETIES OF OMEGA-LANGUAGES
PIN, JE
INFORMATION PROCESSING LETTERS, 1995, 56 (04) : 197 - 200
[25] CHARACTERIZATIONS OF RATIONAL OMEGA-LANGUAGES BY MEANS OF RIGHT CONGRUENCES
VAN, DL
LESAEC, B
LITOVSKY, I
THEORETICAL COMPUTER SCIENCE, 1995, 143 (01) : 1 - 21
[26] DETERMINISTIC AND NON-AMBIGUOUS RATIONAL OMEGA-LANGUAGES
ARNOLD, A
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 192 : 18 - 27
[27] WHICH FINITE MONOIDS ARE SYNTACTIC MONOIDS OF RATIONAL OMEGA-LANGUAGES
PHAN, TH
LIVOTSKY, I
DO, LV
INFORMATION PROCESSING LETTERS, 1992, 42 (03) : 127 - 132
[28] THE 3 SUBFAMILIES OF RATIONAL OMEGA-LANGUAGES CLOSED UNDER OMEGA-TRANSDUCTION
TIMMERMAN, E
THEORETICAL COMPUTER SCIENCE, 1990, 76 (2-3) : 243 - 250
[29] THEORY OF OMEGA-LANGUAGES .2. STUDY OF VARIOUS MODELS OF OMEGA-TYPE GENERATION AND RECOGNITION
COHEN, RS
GOLD, AY
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 15 (02) : 185 - 208
[30] STAR-FREE OMEGA-LANGUAGES AND 1ST ORDER LOGIC
PIN, JE
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 192 : 56 - 67

← 1 2 3 4 5 →