On Syntactic Congruences for Omega-Languages and the Minimization of Omega-Automata

被引：0

作者：

Maler, O.

Staiger, L.

机构：

来源：

Bulletin of the European Association for Theoretical Computer Science | 1994年 / 53期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] ON ULTIMATELY PERIODIC WORDS OF RATIONAL OMEGA-LANGUAGES
CALBRIX, H
NIVAT, M
PODELSKI, A
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1994, 318 (05): : 493 - 497
[32] Refined Bounds on Kolmogorov Complexity for omega-Languages
Mielke, Joeran
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 221 (181-189) : 181 - 189
[33] COMPUTATION TREE LOGIC AND REGULAR OMEGA-LANGUAGES
THOMAS, W
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 690 - 713
[34] Language containment of non-deterministic omega-automata
Tasiran, S
Hojati, R
Brayton, RK
CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 261 - 277
[35] THE 3 SUBFAMILIES OF RATIONAL OMEGA-LANGUAGES CLOSED UNDER OMEGA-TRANSDUCTION
TIMMERMAN, E
THEORETICAL COMPUTER SCIENCE, 1990, 76 (2-3) : 243 - 250
[36] TESTING LANGUAGE CONTAINMENT FOR OMEGA-AUTOMATA USING BDDS
TOUATI, HJ
BRAYTON, RK
INFORMATION AND COMPUTATION, 1995, 118 (01) : 101 - 109
[37] 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 - +
[38] A NEGATIVE ANSWER TO A QUESTION OF WILKE ON VARIETIES OF OMEGA-LANGUAGES
PIN, JE
INFORMATION PROCESSING LETTERS, 1995, 56 (04) : 197 - 200
[39] DETERMINISTIC AND NON-AMBIGUOUS RATIONAL OMEGA-LANGUAGES
ARNOLD, A
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 192 : 18 - 27
[40] 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

← 1 2 3 4 5 →