Entry Mostowski:1991:HWA from tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Mostowski:1991:HWA,
author = "A. W. Mostowski",
title = "Hierarchies of weak automata and weak monadic
formulas",
journal = j-THEOR-COMP-SCI,
volume = "83",
number = "2",
pages = "323--335",
day = "28",
month = jun,
year = "1991",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Nov 22 13:24:22 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1990.bib",
acknowledgement = ack-nhfb,
classification = "C4220 (Automata theory); C4240 (Programming and
algorithm theory)",
corpsource = "Inst. of Math., Gdansk Univ., Poland",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "alternating finite automata; complexity; computational
complexity; finite automata; hierarchies; Muller
indices; Rabin indices; trees; weak automata; weak
monadic formulas",
pubcountry = "Netherlands",
treatment = "T Theoretical or Mathematical",
}
Related entries
- alternating,
76(2)323,
81(1)77,
88(2)287,
88(2)297,
96(2)411,
97(2)183,
97(2)233,
99(2)243,
99(2)301,
104(2)185,
106(2)351,
108(2)393,
113(1)55,
125(2)243,
127(1)171,
128(1)127,
132(1)319,
134(2)427
- formula,
72(2)265,
79(1)227,
79(1)241,
80(2)125,
80(2)263,
93(1)159,
96(2)405,
98(1)99,
98(1)z,
99(2)315,
101(1)133,
115(2)191,
115(2)321,
116(2)405,
117(1)113,
117(1)243,
118(2)99,
120(1)157,
122(1)69,
126(1)77,
129(1)193,
133(2)307,
135(1)5,
135(1)139,
136(2)361,
136(2)419
- hierarchy,
73(3)313,
80(2)203,
81(1)77,
83(1)97,
83(2)313,
84(2)199,
85(2)305,
88(2)297,
91(1)71,
95(1)97,
96(2)325,
96(2)345,
97(2)183,
98(2)249,
98(2)289,
100(1)45,
101(2)289,
102(2)215,
104(2)235,
106(2)283,
112(2)339,
112(2)413,
113(1)167,
115(2)225,
115(2)261,
116(1)33,
119(2)293,
120(2)293,
123(2)239,
125(2)355,
127(1)123,
129(2)323,
132(1)1,
134(2)263,
134(2)287
- index,
75(1)157,
76(2)261,
82(1)19,
95(2)279,
116(1)195,
117(1)3,
132(1)387
- monadic,
80(2)153,
84(2)165,
88(1)139,
93(2)227,
97(2)233,
101(1)3,
103(1)143,
109(1)49,
113(1)119,
116(1)151,
126(1)53,
126(1)97,
134(1)175
- Muller,
93(2)227,
96(2)345,
126(2)183
- Rabin,
74(2)239,
134(1)13
- weak,
70(1)127,
79(2)295,
82(2)409,
87(1)203,
87(1)221,
93(2)185,
93(2)227,
94(1)101,
97(2)233,
103(1)143,
112(2)413,
118(2)193,
120(2)197,
133(1)3,
133(1)85