Entry Muller:1985:TEP from tcs1985.bib
Last update: Thu Sep 27 02:46:57 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{Muller:1985:TEP,
author = "D. E. Muller and P. E. Schupp",
title = "The theory of ends, pushdown automata, and
second-order logic",
journal = j-THEOR-COMP-SCI,
volume = "37",
number = "1",
pages = "51--75",
month = may,
year = "1985",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Nov 22 13:29:49 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1985.bib",
acknowledgement = ack-nhfb,
classification = "C1160 (Combinatorial mathematics); C4210 (Formal
logic); C4220 (Automata theory)",
corpsource = "Dept. of Math., Comput. Sci. Illinois Univ., Urbana,
IL, USA",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "automata theory; Cayley graphs; cellular automata;
context free groups; edge-labeled graphs; ends theory;
formal logic; graph theory; infinite binary tree;
monadic second-order theory; pushdown automata; Rabin's
theorem; second-order logic theory; tiling systems;
trees (mathematics); two dimensional grid",
pubcountry = "Netherlands A03",
treatment = "T Theoretical or Mathematical",
}
Related entries
- binary,
35(2)129,
36(2)319,
43(1)31,
44(2)209,
49(2)121,
52(1)1,
54(2)325,
58(1)143,
59(3)297,
63(3)253,
64(2)191,
65(2)149,
66(0)117,
66(2)181
- Cayley,
53(2)307
- cellular,
38(2)167,
41(2)231,
57(1)47,
57(2)225
- context,
37(2)151,
37(3)357,
41(1)1,
48(2)201,
49(2)185,
49(2)z,
52(3)177,
52(3)341,
57(1)147,
58(1)69,
62(3)267,
67(1)75
- dimensional,
46(2)107
- free,
35(1)71,
35(2)179,
37(3)269,
37(3)357,
39(1)3,
41(1)121,
41(2)215,
43(1)117,
43(2)293,
44(2)229,
46(2)159,
46(2)319,
47(2)191,
48(2)183,
48(2)201,
48(2)329,
49(2)z,
51(3)301,
52(1)59,
52(3)177,
53(1)125,
54(2)165,
55(2)183,
57(1)147,
57(2)239,
58(1)69,
58(1)81,
58(1)201,
58(1)361,
60(2)177,
62(1)105,
62(1)221,
62(3)267,
63(3)253,
63(3)275,
65(2)171,
66(2)117,
67(1)75,
69(3)319
- grid,
61(2)175
- group,
36(2)265,
41(1)81,
41(1)121,
44(2)199,
44(3)333,
47(1)99,
47(2)191,
48(1)127,
48(2)183,
48(2)329,
51(3)331,
52(1)59,
54(2)165,
56(2)211,
56(3)253,
63(3)333,
65(2)249,
66(1)55,
66(2)117,
67(1)55,
67(2)143,
68(3)347,
69(3)319
- infinite,
35(2)227,
36(1)1,
38(1)137,
39(2)281,
43(1)59,
43(1)99,
43(2)277,
43(2)315,
44(1)107,
44(2)175,
46(2)141,
47(1)15,
48(1)9,
49(2)87,
49(2)113,
49(2)z,
52(1)165,
54(2)139,
54(2)267,
54(2)277,
58(1)231,
59(1)115,
61(1)1,
61(1)25,
61(2)259,
65(2)143,
65(2)221,
65(2)z,
67(1)5,
67(2)303
- monadic,
37(2)123,
46(1)91,
55(2)141,
68(3)319
- Muller, D. E.,
54(2)267
- order, second-,
39(2)135,
44(1)51,
46(1)91,
55(2)141
- pushdown,
37(2)123,
39(2)89,
39(2)267,
40(2)163,
41(2)223,
42(3)251,
44(1)111,
48(2)153,
58(1)69,
61(2)149,
64(1)39,
67(1)75
- Rabin,
44(3)259
- Schupp, P. E.,
54(2)267
- second-order,
39(2)135,
44(1)51,
46(1)91,
55(2)141
- theorem,
35(2)129,
37(1)77,
37(2)183,
38(1)123,
38(1)137,
38(2)143,
39(2)135,
39(2)155,
43(1)91,
43(1)99,
43(2)315,
44(2)127,
44(3)333,
46(2)305,
47(1)1,
48(1)1,
48(2)183,
48(2)201,
49(1)1,
49(2)283,
51(1)117,
52(1)1,
52(1)145,
52(3)205,
52(3)239,
53(1)125,
53(2)169,
54(1)3,
54(1)29,
54(2)249,
56(3)277,
57(2)161,
57(2)239,
59(1)133,
59(3)287,
61(1)17,
61(2)279,
64(1)1,
64(1)15,
64(3)331,
65(2)149,
65(3)271,
67(2)173,
67(2)203,
68(1)89,
68(3)277,
69(3)243
- two,
38(2)167,
40(2)319,
46(1)101,
47(2)191,
47(3)237,
49(1)81,
58(1)17,
58(1)361,
61(1)67,
62(3)235,
63(1)1,
63(2)141,
63(2)157,
64(1)39,
66(3)233