Entry Henzinger:1995:CSF from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@InProceedings{Henzinger:1995:CSF,
author = "M. R. Henzinger and T. A. Henzinger and P. W. Kopke",
title = "Computing simulations on finite and infinite graphs",
crossref = "IEEE:1995:ASF",
pages = "453--462",
year = "1995",
bibdate = "Thu Apr 5 06:13:51 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- computing,
0(0)108,
0(0)111,
0(0)162,
0(0)264,
0(0)412,
0(0)462,
0(0)486,
0(0)502,
0(0)573,
0(0)650,
0(0)670,
0(0)682,
0(0)703,
0(0)802,
1(0)285,
1(0)346,
2(0)740
- finite,
0(0)66,
0(0)96,
0(0)120,
0(0)137,
0(0)144,
0(0)202,
0(0)269,
0(0)284,
0(0)332,
0(0)379,
0(0)384,
0(0)458,
0(0)616,
0(0)733,
2(0)857
- graph,
0(0)2,
0(0)14,
0(0)21,
0(0)24,
0(0)50,
0(0)52,
0(0)60,
0(0)70,
0(0)75,
0(0)84,
0(0)86,
0(0)94,
0(0)96,
0(0)101,
0(0)118,
0(0)120,
0(0)194,
0(0)204,
0(0)210,
0(0)218,
0(0)259,
0(0)288,
0(0)296,
0(0)319,
0(0)330,
0(0)396,
0(0)398,
0(0)399,
0(0)463,
0(0)480,
0(0)496,
0(0)511,
0(0)538,
0(0)577,
0(0)583,
0(0)605,
0(0)614,
0(0)640,
0(0)656,
0(0)674,
0(0)680,
0(0)693,
0(0)723,
0(0)744,
0(0)780,
0(0)793,
1(0)86,
1(0)355,
1(0)429,
1(0)439,
2(0)464,
2(0)470,
2(0)689,
2(0)708
- Henzinger, M. R.,
0(0)6,
0(0)596,
0(0)664,
0(0)744
- Henzinger, T. A.,
0(0)100,
0(0)177,
0(0)564
- infinite,
0(0)137
- simulation,
0(0)46,
0(0)147,
0(0)224,
0(0)264