Index file section C for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
C
-
C, 147(1)87--116, 196(1)71--107
-
c, 189(1)221--228
-
C-complexity, 161(1)123--140
-
C0220, 194(1)242--z--1
-
C0310F, 194(1)242--z--1
-
C1100, 154(2)145--163, 187(1)203--219
-
C1110, 138(1)101--112, 140(1)5--52, 154(1)3--22, 155(1)221--264,
156(1)301--313, 162(2)173--223, 164(1)41--57, 172(1)303--308,
176(1)347--353, 178(1)257--264, 179(1)421--425, 187(1)3--6,
187(1)7--25, 187(1)27--48, 187(1)49--79, 187(1)117--122,
187(1)123--145, 187(1)167--178, 187(1)179--202, 187(1)z--z,
191(1)219--228, 194(1)1--34
-
C1120, 144(1)59--65, 187(1)3--6, 187(1)7--25, 187(1)27--48, 187(1)49--79,
187(1)z--z
-
C1130, 144(1)101--124
-
C1140, 147(1)267--298
-
C1140C, 144(1)277--314, 155(1)141--156, 177(2)487--507, 182(1)145--157,
182(1)203--216
-
C1140E, 137(2)253--268, 141(1)133--150, 142(2)229--255, 143(1)93--112,
143(2)319--333, 148(1)111--119, 156(1)263--280, 157(2)161--183,
157(2)215--225, 158(1)343--359, 159(1)137--142, 163(1)99--116,
164(1)253--276, 172(1)121--134, 174(1)97--121, 174(1)247--249,
175(2)283--292, 180(1)1--15, 182(1)217--232, 191(1)157--171,
197(1)203--234, 197(1)241--z, 197(1)245--z--2
-
C1140G, 154(1)23--39
-
C1140Z, 138(2)315--352, 144(1)125--159, 144(1)221--249, 145(1)391--396,
152(2)171--217, 157(2)161--183, 157(2)277--282, 159(1)65--79,
159(1)81--102, 164(1)107--122, 171(1)147--177, 172(1)43--65,
176(1)1--38, 185(1)15--45, 188(1)1--44, 193(1)53--73
-
C1180, 137(2)253--268, 138(1)3--34, 146(1)69--108, 146(1)269--310,
147(1)181--210, 147(1)267--298, 148(1)33--55, 148(2)325--349,
150(1)1--55, 156(1)217--261, 157(2)215--225, 158(1)117--141,
158(1)279--341, 162(2)225--243, 162(2)323--340, 164(1)1--12,
164(1)59--72, 172(1)265--271, 173(1)3--48, 174(1)23--65,
179(1)251--271, 182(1)217--232, 188(1)129--159, 188(1)221--230,
191(1)193--203, 191(1)229--243, 194(1)207--218, 196(1)365--393,
197(1)245--z--2
-
C1220, 152(2)171--217, 153(1)3--48, 153(1)65--94, 161(1)235--261,
168(2)417--459, 197(1)246--z
-
C1230, 135(1)67--110, 137(1)3--23, 137(1)25--51, 137(1)53--84,
137(1)85--108, 137(1)159--176, 140(2)205--230, 140(2)231--247,
140(2)249--263, 140(2)265--289, 140(2)291--300, 140(2)301--317,
141(1)151--162, 141(1)253--268, 142(2)141--177, 142(2)209--227,
142(2)229--255, 142(2)257--276, 142(2)299--368, 143(1)51--72,
148(1)141--156, 149(1)129--149, 150(1)161--191, 151(1)3--27,
151(1)37--78, 151(2)437--486, 151(2)487--512, 152(1)91--138,
152(2)219--249, 152(2)269--283, 154(2)183--201, 155(1)157--177,
155(2)365--410, 160(1)283--303, 160(1)321--363, 161(1)235--261,
163(1)161--176, 164(1)185--206, 164(1)253--276, 165(1)171--200,
166(1)221--262, 166(1)291--300, 167(1)47--72, 167(1)73--94,
167(1)95--130, 170(1)129--144, 170(1)209--244, 170(1)383--406,
171(1)3--24, 171(1)61--75, 171(1)111--146, 171(1)147--177,
171(1)221--246, 171(1)247--280, 171(1)281--302, 172(1)43--65,
173(2)311--347, 173(2)393--443, 173(2)485--511, 174(1)251--257,
175(1)75--92, 177(1)155--182, 177(1)183--216, 180(1)155--168,
182(1)183--202, 184(1)1--59, 184(1)105--143, 185(1)47--62,
185(1)63--79, 185(1)129--157, 185(1)159--175, 185(1)177--190,
185(1)191--213, 185(2)217--235, 185(2)277--318, 188(1)79--99,
189(1)109--127, 189(1)129--177, 192(1)77--106, 192(1)107--161,
192(2)259--286, 192(2)287--314, 192(2)315--351, 197(1)139--156,
197(1)245--246, 197(1)245--z--1, 197(1)246--z--1, 197(1)247--z--2
-
C1230D, 134(1)51--61, 143(2)251--267, 147(1)181--210, 158(1)279--341,
168(2)405--416, 168(2)461--472, 172(1)91--120, 178(1)77--102,
185(1)15--45
-
C1240, 137(1)53--84, 137(1)85--108, 137(1)145--157, 141(1)151--162,
148(1)141--156, 149(1)129--149, 161(1)235--261, 163(1)161--176,
164(1)13--28, 172(1)43--65, 172(1)91--120, 185(1)47--62,
185(1)63--79, 185(1)129--157, 185(1)159--175, 185(1)177--190,
185(1)191--213, 197(1)139--156
-
C1250, 140(2)319--331, 145(1)329--344, 145(1)357--369, 152(2)171--217,
154(2)165--181, 154(2)183--201, 154(2)203--224, 160(1)217--239,
163(1)117--144, 163(1)303--308, 173(2)349--391, 178(1)129--154,
178(1)225--236, 178(1)275--283, 180(1)115--137, 181(2)379--404
-
C1250B, 197(1)189--201
-
C1260, 181(2)337--345, 182(1)245--256
-
C1290, 161(1)301--306, 181(2)379--404
-
C1290F, 191(1)205--214
-
C1310, 138(1)35--65, 138(1)141--168, 138(1)201--210, 138(1)211--239,
157(1)101--114, 157(1)129--136
-
C1320, 138(1)201--210
-
C1340D, 138(1)201--210, 138(1)211--239, 139(1)163--186, 148(1)67--92
-
C1340K, 138(1)101--112
-
C3120C, 140(2)231--247, 140(2)249--263, 140(2)301--317
-
C3320, 140(2)231--247
-
C3355, 140(2)301--317
-
C3390, 140(2)205--230, 140(2)231--247, 140(2)249--263, 140(2)291--300,
140(2)301--317, 157(1)101--114
-
C4130, 143(1)167--174, 154(1)41--56, 157(1)3--33, 157(1)53--77,
157(1)115--127, 157(1)129--136, 157(2)259--266, 158(1)117--141,
159(2)143--190, 168(1)3--19, 168(1)39--51, 172(1)255--263,
174(1)23--65, 180(1)17--45, 180(1)243--268, 187(1)87--104,
187(1)105--116, 187(1)179--202, 187(1)z--z, 191(1)1--36,
197(1)111--138
-
C4140, 153(1)49--64, 154(1)41--56, 156(1)301--313, 157(1)3--33,
161(1)69--92, 165(2)483--490, 180(1)61--80, 180(1)287--308,
187(1)147--165, 188(1)221--230, 196(1)109--130, 197(1)111--138
-
C4160, 151(1)163--193
-
C4170, 138(1)67--100, 144(1)59--65, 147(1)267--298, 157(1)3--33,
157(1)79--90, 157(1)115--127, 157(1)z--z, 162(2)225--243,
187(1)81--86, 187(1)87--104, 187(1)263--284, 187(1)z--z
-
C4185, 162(2)351--369, 187(1)231--248, 187(1)z--z
-
C4190, 144(1)3--58, 144(1)101--124, 187(1)263--284
-
C4230, 137(1)109--127, 156(1)99--117, 174(1)137--156, 174(1)217--230
-
C4230B, 156(1)263--280, 189(1)221--228
-
C4230D, 174(1)269--274, 178(1)237--255
-
C4230M, 140(2)319--331, 140(2)333--339, 147(1)1--18, 156(1)203--215,
158(1)53--64, 162(2)225--243, 162(2)245--281, 162(2)283--296,
175(2)337--347, 178(1)265--273, 181(2)337--345, 182(1)171--182,
186(1)171--198, 194(1)123--136, 196(1)181--200
-
C4250, 139(1)1--25, 139(1)131--162, 141(1)311--328, 145(1)291--316,
146(1)145--184, 149(1)3--48, 149(1)101--128, 149(1)129--149,
149(2)333--360, 155(1)111--140, 155(1)221--264, 160(1)1--85,
160(1)217--239, 160(1)321--363, 163(1)177--192, 166(1)49--62,
171(1)281--302, 173(1)151--181, 173(1)283--308, 175(1)183--222,
179(1)103--135, 185(2)379--391, 188(1)211--220, 190(2)115--149,
190(2)151--166, 190(2)167--210, 190(2)211--239, 190(2)241--277,
190(2)279--315, 190(2)317--361, 190(2)363--396, 193(1)149--179,
193(1)215--244, 196(1)259--288, 197(1)243--z
-
C4260, 137(1)145--157, 137(2)177--217, 140(2)205--230, 140(2)249--263,
140(2)265--289, 140(2)291--300, 140(2)301--317, 141(1)337--350,
143(1)113--122, 143(1)175--188, 143(2)189--249, 143(2)309--318,
143(2)343--352, 145(1)27--43, 145(1)241--270, 145(1)329--344,
145(1)381--390, 147(1)211--248, 148(1)57--65, 148(1)93--109,
151(1)257--276, 155(2)321--347, 156(1)1--38, 156(1)159--176,
157(1)35--52, 157(1)53--77, 157(1)z--z, 157(2)185--214,
159(1)103--104, 159(1)105--128, 159(1)129--136, 159(1)137--142,
162(2)351--369, 163(1)303--308, 164(1)59--72, 164(1)165--183,
168(1)121--154, 169(2)147--160, 172(1)121--134, 172(1)175--193,
172(1)209--232, 172(1)233--254, 172(1)265--271, 174(1)193--202,
175(2)239--255, 180(1)363--370, 181(1)3--15, 181(1)57--74,
181(1)91--106, 181(1)107--118, 182(1)233--244, 186(1)1--41,
188(1)59--78, 188(1)129--159, 191(1)193--203, 194(1)z--z,
197(1)203--234
-
C4290, 138(1)35--65, 138(1)67--100, 179(1)319--331, 192(2)315--351
-
C5120, 188(1)117--128
-
C5210, 162(1)133--150, 188(1)117--128
-
C5210B, 141(1)283--310
-
C5220, 197(1)57--77
-
C5220P, 140(2)333--339, 162(2)245--281, 162(2)351--369, 178(1)265--273,
181(2)357--378, 182(1)171--182, 186(1)171--198, 196(1)181--200
-
C5230, 151(1)277--294, 156(1)159--176, 159(1)29--42, 162(1)133--150,
162(1)151--170, 176(1)89--110, 191(1)245--248, 196(1)201--214,
197(1)57--77
-
C5260B, 140(2)319--331, 147(1)211--248, 154(2)165--181, 178(1)225--236,
186(1)1--41
-
C5270, 194(1)123--136
-
C5290, 141(1)1--52, 147(1)181--210, 156(1)217--261, 174(1)123--136
-
C5320G, 164(1)107--122, 172(1)1--41
-
C5440, 140(2)319--331, 143(1)73--91, 162(2)245--281, 162(2)283--296,
169(1)39--65, 186(1)171--198, 197(1)171--188
-
C5470, 164(1)107--122, 182(1)159--170, 182(1)203--216, 185(2)259--275,
196(1)319--345, 196(1)347--363, 197(1)171--188
-
C5620, 147(1)69--85, 178(1)103--118, 178(1)119--127, 185(2)347--377,
196(1)31--44, 196(1)45--70
-
C5620L, 145(1)95--109
-
C5640, 145(1)95--109, 145(1)271--290, 149(1)179--199, 149(2)257--298,
157(2)139--159, 157(2)277--282, 162(2)245--281, 177(2)425--458,
177(2)459--486, 178(1)103--118, 186(1)107--134, 186(1)199--230,
196(1)259--288
-
C5670, 196(1)31--44
-
C6110, 138(1)35--65, 149(1)3--48, 152(2)269--283, 160(1)145--184,
160(1)185--216, 167(1)131--170, 177(1)27--58, 178(1)1--36,
185(2)277--318, 187(1)203--219, 194(1)240--z--1, 194(1)241--z--1
-
C6110B, 140(1)139--177, 192(2)315--351, 194(1)243--244
-
C6110F, 138(1)3--34, 138(1)169--199, 138(1)211--239, 139(1)27--67,
139(1)275--314, 140(1)73--94, 140(1)95--138, 140(1)179--199,
142(1)3--26, 150(1)111--159, 150(1)161--191, 152(1)67--89,
152(1)91--138, 152(1)139--169, 152(2)269--283, 156(1)177--201,
159(2)245--270, 165(1)3--55, 166(1)263--290, 167(1)3--45,
167(1)47--72, 167(1)193--233, 169(1)39--65, 170(1)47--81,
170(1)245--276, 173(1)49--87, 173(2)393--443, 173(2)445--484,
173(2)513--554, 176(1)235--282, 177(2)425--458, 177(2)459--486,
177(2)487--507, 179(1)273--299, 179(1)397--419, 180(1)309--324,
181(1)195--225, 183(2)157--185, 183(2)215--228, 183(2)253--279,
184(1)145--193, 185(2)393--410, 186(1)43--81, 186(1)135--156,
189(1)179--219, 189(1)239--248, 190(2)115--149, 192(1)31--54,
193(1)197--214, 194(1)243--244, 194(1)243--z, 194(1)245--z--1
-
C6110J, 140(1)179--199, 151(2)297--352, 165(1)201--232, 184(1)195--236,
192(2)287--314, 194(1)244--z
-
C6110L, 135(1)67--110, 142(1)27--57, 142(1)59--87, 142(1)89--124,
142(1)125--138, 142(2)141--177, 146(1)243--268, 149(2)201--229,
149(2)231--255, 151(1)37--78, 155(1)157--177, 158(1)279--341,
160(1)283--303, 165(1)171--200, 165(1)201--232, 166(1)101--146,
166(1)221--262, 169(1)81--112, 170(1)209--244, 170(1)383--406,
171(1)61--75, 171(1)77--109, 171(1)147--177, 173(1)3--48,
173(1)89--112, 173(1)113--149, 173(1)151--181, 173(1)183--208,
173(1)209--233, 173(1)235--252, 173(1)253--281, 173(1)283--308,
173(2)485--511, 176(1)175--204, 179(1)273--299, 182(1)183--202,
183(2)281--315, 184(1)1--59, 184(1)105--143, 185(1)47--62,
185(1)191--213, 185(2)319--345, 190(2)211--239, 190(2)241--277,
192(1)77--106, 192(1)107--161, 192(2)259--286, 193(1)149--179,
194(1)245--z--2, 197(1)247--248
-
C6110P, 139(1)27--67, 140(1)95--138, 151(1)195--205, 162(1)133--150,
162(2)297--322, 169(1)39--65, 170(1)145--171, 173(1)209--233,
173(1)235--252, 178(1)225--236, 179(1)381--395, 179(1)397--419,
183(2)253--279, 183(2)281--315, 188(1)221--230, 190(2)211--239,
192(2)167--199, 192(2)287--314, 194(1)241--242, 194(1)244--z,
195(2)259--289, 196(1)71--107, 196(1)215--240, 196(1)241--258,
196(1)289--317, 196(1)319--345
-
C6115, 162(2)297--322, 187(1)231--248, 194(1)242--z--1, 196(1)31--44,
196(1)241--258, 196(1)289--317
-
C6120, 139(1)69--113, 140(1)179--199, 140(2)249--263, 144(1)3--58,
144(1)161--197, 144(1)199--220, 144(1)221--249, 144(1)251--275,
146(1)243--268, 148(1)171--180, 149(1)49--66, 149(1)151--178,
149(1)179--199, 152(2)269--283, 154(1)85--106, 154(2)165--181,
155(2)349--363, 156(1)39--70, 156(1)315--325, 158(1)1--33,
159(2)191--244, 160(1)217--239, 163(1)239--243, 164(1)1--12,
164(1)73--106, 164(1)107--122, 165(1)201--232, 165(2)391--405,
166(1)147--172, 167(1)3--45, 168(1)21--38, 168(1)155--212,
169(1)67--80, 169(1)113--121, 172(1)1--41, 172(1)209--232,
173(2)349--391, 173(2)513--554, 175(2)373--392, 177(1)183--216,
178(1)103--118, 178(1)171--203, 181(1)3--15, 181(1)75--90,
182(1)1--143, 182(1)145--157, 182(1)183--202, 183(2)157--185,
188(1)1--44, 192(2)201--231, 196(1)109--130, 197(1)95--109
-
C6130, 137(2)269--278, 141(1)53--67, 144(1)161--197, 145(1)345--355,
147(1)19--30, 147(1)165--180, 157(1)35--52, 157(1)115--127,
163(1)145--160, 163(1)239--243, 163(1)259--267, 164(1)73--106,
165(2)311--323, 178(1)129--154, 180(1)203--215, 181(1)159--179,
187(1)105--116, 187(1)117--122, 187(1)123--145, 187(1)147--165,
187(1)203--219, 187(1)221--230, 187(1)231--248, 187(1)249--262,
187(1)263--284, 187(1)z--z, 188(1)231--240, 188(1)241--247,
190(2)115--149
-
C6130B, 137(2)177--217, 145(1)159--187, 147(1)211--248, 156(1)1--38,
156(1)159--176, 159(1)105--128, 175(2)293--308, 186(1)1--41,
196(1)215--240
-
C6130D, 172(1)67--89
-
C6130S, 154(2)283--306, 165(2)407--440, 181(2)317--335, 191(1)173--183
-
C6140, 142(1)3--26, 151(1)207--256, 162(1)79--115
-
C6140D, 135(1)67--110, 140(1)179--199, 142(1)59--87, 146(1)109--143,
146(1)145--184, 149(1)3--48, 149(1)67--99, 149(1)101--128,
152(1)67--89, 155(1)111--140, 160(1)217--239, 160(1)321--363,
165(1)201--232, 167(1)131--170, 168(1)155--212, 169(1)81--112,
170(1)145--171, 173(1)3--48, 173(1)151--181, 175(1)183--222,
176(1)283--328, 176(1)337--345, 179(1)273--299, 181(1)195--225,
183(2)157--185, 183(2)281--315, 185(2)319--345, 187(1)147--165,
190(2)211--239, 190(2)279--315, 190(2)317--361, 192(2)201--231,
193(1)149--179, 193(1)215--244, 194(1)246--z--1, 197(1)241--z,
197(1)247--248
-
C6150C, 141(1)1--52, 146(1)69--108, 146(1)109--143, 179(1)381--395,
190(2)211--239, 196(1)347--363
-
C6150E, 187(1)221--230
-
C6150G, 139(1)275--314, 142(2)257--276, 150(1)161--191, 167(1)131--170,
167(1)193--233, 173(1)113--149, 173(1)209--233, 173(1)235--252,
177(1)183--216, 177(2)407--423, 180(1)309--324, 183(2)215--228,
183(2)229--251, 183(2)253--279, 186(1)135--156, 195(2)259--289,
196(1)241--258
-
C6150J, 149(1)151--178, 162(2)283--296, 162(2)341--349, 178(1)119--127,
185(2)259--275
-
C6150N, 149(2)299--332, 151(1)195--205, 162(2)297--322, 162(2)323--340,
162(2)341--349, 172(1)1--41, 173(1)49--87, 173(1)209--233,
178(1)119--127, 178(1)265--273, 181(2)357--378, 182(1)159--170,
195(2)291--324, 196(1)45--70
-
C6160, 173(1)113--149, 190(2)151--166, 193(1)215--244
-
C6160B, 149(1)151--178, 185(2)259--275, 190(2)363--396, 196(1)259--288
-
C6160D, 144(1)125--159, 145(1)291--316, 149(1)3--48, 149(1)67--99,
149(1)129--149, 149(2)333--360, 159(2)245--270, 171(1)25--60,
171(1)179--219, 171(1)281--302, 173(1)151--181, 176(1)283--328,
185(2)379--391, 190(2)279--315
-
C6160J, 149(1)49--66, 149(1)179--199, 160(1)217--239, 176(1)283--328,
184(1)195--236
-
C6160K, 142(1)125--138, 146(1)145--184, 160(1)321--363, 190(2)211--239
-
C6170, 142(1)125--138, 177(1)155--182, 182(1)183--202, 192(2)315--351
-
C6170K, 141(1)151--162, 142(2)141--177, 143(1)51--72, 151(1)37--78,
163(1)161--176, 167(1)95--130, 171(1)111--146, 171(1)147--177,
171(1)221--246, 171(1)247--280, 172(1)91--120, 173(1)253--281,
173(1)283--308, 173(2)485--511, 177(1)183--216, 185(1)15--45,
185(1)63--79, 185(1)129--157, 189(1)129--177
-
C6180, 145(1)159--187, 192(2)315--351
-
C6180N, 145(1)189--228, 161(1)205--233, 183(1)33--44
-
C6185, 173(1)3--48
-
C7150, 187(1)263--284
-
C7250, 171(1)179--219
-
C7310, 157(1)115--127, 181(1)181--194, 187(1)81--86, 187(1)87--104,
187(1)105--116, 187(1)117--122, 187(1)123--145, 187(1)147--165,
187(1)221--230, 187(1)231--248, 187(1)249--262, 187(1)263--284,
187(1)z--z, 191(1)1--36
-
C7320, 187(1)249--262
-
C7330, 180(1)115--137
-
C7420, 138(1)211--239
-
C7440, 187(1)231--248, 187(1)263--284
-
Cachera, David, 189(1)71--107
-
Cachera, David, see Bougé, Luc
-
CAD, 141(1)283--310
-
Cadoli, Marco, 182(1)183--202, 193(1)215--244
-
Cadoli:1997:CRP, 182(1)183--202
-
Cadoli:1998:CDE, 193(1)215--244
-
Caenorhabditis, 217(1)157--172
-
Ça{\v{g}}man, Naim, 198(1)239--247
-
Cagman:1998:CWR, 198(1)239--247
-
Cai, Jiazhen, 145(1)189--228
-
Cai, Jin-Yi, 207(1)105--116
-
Cai, Liming, 148(1)33--55
-
Cai:1995:IRM, 148(1)33--55
-
Cai:1995:UMD, 145(1)189--228
-
Cai:1998:RPD, 207(1)105--116
-
cake, 217(2)255--278
-
calcul, 161(1)69--92, 187(1)123--145, 187(1)263--284
-
calculation, 224(1)3--11
-
calculational, 179(1)103--135
-
calculators, 188(1)45--57
-
calculi, 141(1)195--252, 155(1)39--83, 159(2)343--354, 167(1)235--274,
169(1)67--80, 169(1)81--112, 169(2)201--220, 170(1)83--128,
170(1)173--207, 178(1)237--255, 183(2)215--228, 194(1)246--247,
195(2)205--226, 197(1)244--z--2, 197(1)246--z, 197(1)248--z,
198(1)201--209, 212(1)141--155, 212(1)247--260, 212(1)261--303,
228(1)77--103, 266(1)997--998
-
calculi, lambda-, 194(1)244--z--3
-
calculi;, lambda-, 170(1)83--128
-
calculi;, sequent-, 194(1)244--z--3
-
calculus, -, 216(1)271--310, 224(1)237--265
-
calculus, lambda-, 142(2)277--297, 192(2)201--231,
197(1)242--z, 198(1)239--247
-
calculus;, lambda-, 151(2)297--352, 151(2)353--383,
155(1)85--109, 170(1)407--444, 192(2)201--231, 193(1)181--195,
194(1)245--z--2, 197(1)242--z--2
-
calculus, mu-, 195(2)133--153, 221(1)251--270
-
calculus;, mu-, 148(1)121--132, 151(1)3--27, 151(1)z--z,
175(1)15--27, 190(1)41--60, 195(2)133--153
-
calculus, pi-, 153(1)65--94, 183(2)215--228, 195(2)291--324,
211(1)311--337
-
calculus;, pi-, 153(1)65--94, 155(1)39--83, 168(1)53--103,
183(2)215--228, 194(1)244--z--3, 195(2)205--226, 195(2)259--289,
195(2)291--324, 198(1)159--176
-
calculus, v-, 151(2)437--486
-
calculus;, wp-, 159(2)245--270
-
calculus-based, 192(2)287--314
-
calculus-based, process-, 192(2)287--314
-
Call, 196(1)319--345
-
call-by-name, 228(1)175--210, 234(1)309--321
-
call-by-need, 228(1)175--210
-
call-by-value, 163(1)269--276, 177(1)27--58, 206(1)301--315,
221(1)393--456, 228(1)175--210
-
calls, 156(1)177--201
-
Calmet, Jacques, 187(1)1--1, 187(1)221--230
-
Calmet:1997:F, 187(1)1--1
-
Calmet:1997:TMS, 187(1)221--230
-
Calude, Cristian, 154(2)307--327
-
Calude:1996:ECM, 154(2)307--327
-
Canfield, Rodney E., 174(1)275--279
-
Canfield, Rodney E., see Zhang, Guo-Qiang
-
canonical, 150(1)77--109, 154(2)379--385, 155(1)85--109, 156(1)159--176,
172(1)175--193, 180(1)17--45, 193(1)181--195, 194(1)240--z
-
Canter, 167(1)73--94
-
Cao, Feng, 222(1)113--131
-
Cao:1999:OTS, 222(1)113--131
-
capability, 138(1)67--100, 155(1)141--156, 168(2)417--459,
170(1)83--128, 187(1)231--248
-
capacity, 161(1)205--233, 165(2)463--474, 178(1)103--118,
182(1)145--157
-
Caractérisation, 215(1)31--49
-
cardinal, 179(1)137--202
-
cardinality, 147(1)87--116, 150(1)57--75, 154(1)85--106, 159(1)43--63,
160(1)305--320, 163(1)283--289, 174(1)157--170
-
cardinality-bounded, 149(1)49--66
-
cares, 178(1)129--154
-
Carlo, 154(1)23--39
-
Carlsson, Svante, 164(1)1--12
-
Carlsson:1996:HB, 164(1)1--12
-
Carpi, Arturo, 218(1)61--81
-
Carpi:1999:ASS, 218(1)61--81
-
Carrere, F., 161(1)23--68
-
Carrere:1996:KRA, 161(1)23--68
-
carrier, 166(1)263--290
-
carrier, empty-, 152(1)91--138
-
Carrière, Alain, 187(1)1--1, 187(1)263--284,
see Calmet, Jacques
-
Carriere:1997:ADC, 187(1)263--284
-
carry, 191(1)245--248
-
Cartan, 187(1)117--122
-
cartesian, 155(1)1--38, 155(1)221--264, 166(1)203--219, 186(1)135--156
-
Carton, Olivier, 161(1)191--203
-
Carton:1996:CA, 161(1)191--203
-
Cartwright, Robert, 170(1)383--406
-
Cartwright, Robert, see You, Jia-Huai
-
case, 137(1)159--176, 141(1)195--252, 145(1)189--228, 147(1)267--298,
164(1)59--72, 165(2)311--323, 166(1)221--262, 176(1)39--65,
176(1)67--87, 180(1)181--201, 181(1)3--15, 183(2)157--185,
191(1)245--248, 201(1)171--187, 210(2)341--374
-
case, average-, 144(1)3--58, 190(2)151--166
-
case;, average-, 181(2)289--306
-
Case, John, 164(1)13--28
-
case, Worst-, 164(1)59--72, 221(1)3--18
-
case, worst-, 148(1)141--156, 172(1)281--291, 178(1)119--127,
180(1)243--268, 181(2)289--306, 190(2)151--166, 223(1)1--72
-
case-based, 137(1)25--51, 171(1)221--246, 185(1)15--45
-
case-performance, worst-, 196(1)347--363
-
Case:1996:ALH, 164(1)13--28
-
cash, 226(1)173--184
-
Cassaigne, Julien, 204(1)29--34, 218(1)3--12
-
Cassaigne:1998:EUP, 204(1)29--34
-
Cassaigne:1999:LVR, 218(1)3--12
-
Cassez, Franck, 146(1)109--143
-
Cassez:1995:CER, 146(1)109--143
-
Castagna, Giuseppe, 151(2)297--352, 176(1)337--345
-
Castagna:1995:MLT, 151(2)297--352
-
Castagna:1997:UOA, 176(1)337--345
-
Castellani, 156(1)289--299
-
Castellani, I., 195(2)291--324
-
Castellani, I., see Amadio, R. M.
-
Castellani, Ilaria, 156(1)289--299, 179(1)203--215
-
Castellani, Ilaria, see Arnold, André
-
Castellani:1997:PPE, 179(1)203--215
-
Castelli, M. Gabriella, 218(1)83--94
-
Castelli:1999:FWT, 218(1)83--94
-
catamorphism, 169(1)113--121
-
catch, 175(1)75--92
-
catch/throw, 197(1)244--z--1
-
categorial, 150(1)111--159, 164(1)207--221, 199(1)5--24
-
categorical, 139(1)69--113, 146(1)5--23, 151(1)37--78, 153(1)211--244,
160(1)217--239, 170(1)407--444, 175(1)29--74, 177(1)27--58,
184(1)61--104, 186(1)43--81, 194(1)241--z--3, 194(1)247--z
-
categorical, enriched-, 170(1)349--381, 193(1)1--51
-
categories, -, 184(1)61--104
-
categories;, Omega-, 184(1)61--104
-
category, 139(1)115--130, 146(1)5--23, 146(1)311--320, 147(1)137--147,
149(1)3--48, 150(1)57--75, 150(1)111--159, 151(1)3--27,
153(1)171--210, 153(1)211--244, 154(2)307--327, 155(1)1--38,
155(1)221--264, 159(2)355--356, 160(1)217--239, 164(1)207--221,
166(1)203--219, 170(1)277--296, 170(1)297--348, 170(1)349--381,
170(1)407--444, 175(1)29--74, 176(1)347--353, 177(1)3--25,
177(1)27--58, 177(1)73--109, 177(1)111--138, 179(1)203--215,
179(1)421--425, 184(1)61--104, 190(1)87--112, 193(1)1--51,
193(1)113--127, 194(1)241--z--3, 194(1)246--z, 194(1)247--z,
195(1)61--89, 197(1)139--156, 198(1)49--98, 227(1)153--184
-
category-theoretic, 177(1)3--25
-
catenation, 180(1)341--352
-
Cattaneo, G., 145(1)1--26, 178(1)77--102, 217(1)31--51
-
Cattaneo, G., see Braga, G.
-
Cattaneo, Gianpiero, 201(1)171--187
-
Cattaneo:1997:MRS, 178(1)77--102
-
Cattaneo:1998:GSS, 201(1)171--187
-
Cattaneo:1999:DBC, 217(1)31--51
-
Cauchy, 162(2)173--223, 170(1)349--381, 184(1)61--104, 193(1)1--51,
193(1)113--127
-
causality, 153(1)245--270, 220(2)489--513
-
cautious, 160(1)321--363, 177(1)155--182
-
Cayley, 204(1)233--248, 225(1)81--111
-
ccc, 146(1)5--23
-
{CCC}'s., 155(1)1--38
-
CCE, 192(2)287--314
-
CCS, 139(1)315--354, 141(1)195--252, 146(1)25--68, 146(1)341--349,
152(2)251--268, 155(1)39--83, 167(1)235--274, 177(2)329--349,
179(1)217--250, 179(1)301--317, 183(2)215--228, 192(2)167--199,
192(2)287--314, 195(2)155--182, 195(2)205--226, 198(1)225--237
-
CCS-like, 194(1)241--z, 195(2)155--182
-
CD-complexity, 161(1)123--140
-
CE, 192(2)287--314
-
Cech, 151(1)257--276
-
Cedeño, Walter, 229(1)177--197
-
Cedeno:1999:ASN, 229(1)177--197
-
Cederbaum, Mila E., Majster-, 170(1)145--171
-
Cegielski, Patrick, 222(1)55--75
-
Cegielski:1999:AFO, 222(1)55--75
-
cell, 143(1)167--174, 147(1)211--248
-
cellular, 134(1)51--61, 141(1)1--52, 141(1)331--335, 143(1)23--49,
145(1)1--26, 147(1)165--180, 148(1)19--32, 148(1)157--163,
154(2)349--366, 156(1)281--287, 163(1)291--302, 165(2)475--482,
168(2)337--366, 168(2)367--404, 169(2)123--145, 174(1)157--170,
178(1)77--102, 180(1)229--241, 188(1)45--57, 188(1)195--209,
201(1)171--187, 205(1)135--144, 215(1)239--261, 217(1)3--30,
217(1)31--51, 217(1)53--80, 217(1)81--98, 217(1)99--113,
217(1)131--156, 218(2)325--346, 218(2)347--417, 221(1)157--177,
225(1)81--111
-
center, 155(1)141--156, 207(1)181--192
-
center, -, 207(1)181--192
-
centers, method-of-, 138(1)201--210
-
central, 144(1)221--249
-
centralized, 215(1)383--398
-
Cenzer, Douglas, 219(1)111--150
-
Cenzer:1999:ISC, 219(1)111--150
-
Ceola, Corine, 194(1)219--223
-
Ceola:1998:CMD, 194(1)219--223
-
Cerioli, Maura, 152(1)91--138, 173(2)311--347
-
Cerioli, Maura, see Astesiano, Egidio
-
Cerioli:1997:MBY, 173(2)311--347
-
{\v{C}}ern{\'y}, Anton, 188(1)161--174
-
Cerny, Eduard, 173(1)253--281
-
Cerny, Eduard, see Girodias, Pierre
-
Cerny:1997:SRI, 188(1)161--174
-
Cerone, Antonio, 216(1)1--53
-
Cerone:1999:TBE, 216(1)1--53
-
certain, 180(1)287--308
-
certificates, 203(2)253--269
-
CGOOD, 160(1)217--239
-
Chaboud, Thomas, 159(1)137--142
-
Chaboud:1996:DTP, 159(1)137--142
-
Chadzelek, Thomas, 219(1)151--167
-
Chadzelek:1999:AM, 219(1)151--167
-
chain, 145(1)391--396, 147(1)267--298, 161(1)191--203, 161(1)289--300,
163(1)291--302, 164(1)185--206, 175(2)283--292, 193(1)1--51,
205(1)85--98, 206(1)163--180
-
Chakrabarti, Soumen, 162(2)341--349
-
Chakrabarti:1996:RAJ, 162(2)341--349
-
Champarnaud, Jean-Marc, 215(1)69--87
-
Champarnaud, Jean-Marc, see Ziadi, Djelloul
-
Chandrasekharan, N., 140(2)291--300
-
Chandrasekharan, N., see Sridhar, R.
-
Chang, Chia-Hsiang, 178(1)1--36
-
Chang:1997:RED, 178(1)1--36
-
change, 138(2)425--454, 220(2)323--343
-
changeable, 154(2)203--224
-
channel, 174(1)217--230, 192(2)201--231, 194(1)246--247, 207(1)193--201
-
channel, {FIFO}-, 221(1)211--250
-
Chaochen, Zhou, 138(1)113--139
-
Chaochen, Zhou, see Hansen, Michael R.
-
chaos, 159(2)245--270, 174(1)157--170
-
chaotic, 145(1)1--26, 168(2)461--472, 174(1)157--170, 187(1)87--104,
201(1)171--187, 217(1)31--51
-
character, 163(1)117--144, 197(1)189--201
-
character, one-, 141(1)53--67
-
characteristic, 141(1)133--150, 145(1)1--26, 164(1)13--28,
178(1)77--102, 181(1)17--43, 187(1)105--116, 187(1)117--122,
187(1)231--248, 205(1)337--344
-
characterization, 138(2)391--423, 140(1)5--52, 142(1)89--124,
143(1)1--21, 146(1)5--23, 147(1)55--67, 148(1)33--55, 150(1)77--109,
154(1)67--84, 154(1)85--106, 154(2)247--282, 154(2)379--385,
156(1)289--299, 160(1)321--363, 162(1)5--21, 162(1)45--77,
163(1)245--258, 163(1)303--308, 164(1)287--298, 168(1)53--103,
169(2)185--200, 172(1)281--291, 175(2)239--255, 177(1)183--216,
179(1)301--317, 184(1)195--236, 186(1)1--41, 187(1)49--79,
189(1)1--69, 191(1)79--95, 191(1)117--129, 193(1)113--127,
195(2)227--258, 197(1)246--z--1, 205(1)135--144, 205(1)195--205,
209(1)123--140, 215(1)31--49, 218(2)297--323, 219(1)319--329,
226(1)37--43
-
characterization;, path-, 142(2)277--297
-
characterized, 228(1)151--174
-
charity, 139(1)69--113
-
Chatalic, Philippe, 171(1)247--280
-
Chatalic:1997:GHT, 171(1)247--280
-
Chaudhuri, Shiva, 181(1)45--56, 203(2)205--223
-
Chaudhuri, Soma, 220(1)211--245
-
Chaudhuri:1997:PRR, 181(1)45--56
-
Chaudhuri:1998:SPD, 203(2)205--223
-
Chaudhuri:1999:WFI, 220(1)211--245
-
Chebotarev, Anatoli N., 194(1)183--205
-
Chebotarev:1998:RBA, 194(1)183--205
-
Chebyshev, 197(1)111--138
-
checker, 212(1)157--181
-
checker;, type-, 151(2)297--352
-
checking, 139(1)131--162, 179(1)333--351, 183(2)229--251,
194(1)245--246, 195(2)183--203, 221(1)251--270
-
checking, Model-, 194(1)246--z--2
-
checking, model-, 138(1)3--34
-
checking;, model-, 148(2)303--324
-
chemical, 192(2)233--258
-
chemistry, 187(1)249--262
-
Chen, Gen-Huey, 147(1)249--265, 205(1)85--98
-
Chen, Gen-Huey, see Yu, Chang-Wu
-
Chen, Jianer, 148(1)33--55, 181(2)247--266
-
Chen, Jianer, see Cai, Liming
-
Chen, Jingsen, 164(1)1--12
-
Chen, Jingsen, see Carlsson, Svante
-
Chen, Shihua, 226(1)143--172
-
Chen, Shihua, see Tao, Renji
-
Chen, Wei, 220(1)3--30
-
Chen, Wei, see Aguilera, Marcos Kawazoe
-
Chen, Zhi-Zhong, 143(2)309--318, 161(1)1--21, 215(1)89--98
-
Chen, Zhi-Zhong, see Uehara, Ryuhei
-
Chen, Zhixiang, 180(1)155--168
-
Chen:1995:MDS, 143(2)309--318
-
Chen:1996:PCM, 161(1)1--21
-
Chen:1997:AGE, 181(2)247--266
-
Chen:1997:LCF, 180(1)155--168
-
Cheng, Allan, 147(1)117--136, 183(2)229--251, 190(1)87--112
-
Cheng, Shan-Hwei, Nienhuys-, 195(1)3--32
-
Cheng:1995:CRS, 147(1)117--136
-
Cheng:1997:PNT, 183(2)229--251
-
Cheng:1998:OMB, 190(1)87--112
-
Chervonenkis, Vapnik-, 137(1)129--144, 172(1)43--65,
188(1)79--99
-
chessboard-like, 159(1)105--128
-
Chiaravalli, S., 172(1)91--120
-
Chiaravalli, S., see Apolloni, B.
-
Chiola, G., 176(1)39--65
-
Chiola:1997:SRG, 176(1)39--65
-
chip, 191(1)157--171
-
chip-firing, 172(1)121--134
-
Cho, Cheng-Hong, 196(1)259--288
-
Cho:1998:TGP, 196(1)259--288
-
Choffrut, 215(1)329--335
-
Choffrut, C., 183(1)83--92
-
Choffrut, Christian, 204(1)35--54
-
Choffrut:1997:NDQ, 183(1)83--92
-
Choffrut:1998:CFI, 204(1)35--54
-
choice, 138(2)315--352, 153(1)271--300, 160(1)1--85, 173(1)209--233,
183(2)281--315, 192(2)259--286
-
choice, free-, 147(1)117--136, 153(1)245--270, 198(1)211--224
-
choice, local-, 183(2)281--315
-
Cholesky, 196(1)319--345
-
Chomsky, 192(2)315--351
-
Chopard, Bastien, 217(1)115--130
-
Chopard:1999:LBC, 217(1)115--130
-
Chor, Beimel-, 200(1)313--334
-
chord, 145(1)111--145, 204(1)55--73
-
chordal, 140(2)291--300, 147(1)69--85, 172(1)209--232
-
chordal, K-, 140(2)291--300
-
chordless, 145(1)329--344
-
Choueka, 156(1)119--144
-
Christoffel, 178(1)171--203
-
chromatic, 181(1)91--106
-
chromosome, 145(1)357--369
-
chrono-topology, 153(1)3--48
-
Chu, 197(1)247--z--1
-
Chua, Seng Kiat, 226(1)19--27
-
Chua:1999:ART, 226(1)19--27
-
Chuan, Wai-Fong, 225(1)129--148
-
Chuan, Wai-fong, 205(1)337--344
-
Chuan:1998:UFC, 205(1)337--344
-
Chuan:1999:SMW, 225(1)129--148
-
Chung, Kuo-Liang, 201(1)275--279
-
Chung:1998:IAS, 201(1)275--279
-
Church--Rosser, 155(1)85--109
-
Chwa, Kyung-Yong, 215(1)209--223
-
Chwa, Kyung-Yong, see Kwon, Oh-Heum
-
Ciancaglini, Mariangiola, Dezani-, 170(1)83--128, 212(1)29--75
-
Cicerone, Serafino, 189(1)239--248, 203(1)69--90
-
Cicerone:1997:CSM, 189(1)239--248
-
Cicerone:1998:UAS, 203(1)69--90
-
Cichon, E. A., 201(1)63--84
-
Cichon:1998:ORB, 201(1)63--84
-
CIRC/, 193(1)215--244
-
circle, 145(1)159--187, 218(2)347--417
-
circuit, 137(1)109--127, 137(2)279--282, 141(1)283--310, 143(2)335--342,
148(1)33--55, 154(1)23--39, 156(1)99--117, 157(1)91--99,
158(1)193--219, 161(1)141--156, 162(1)133--150, 163(1)283--289,
174(1)137--156, 180(1)325--339, 182(1)171--182, 188(1)117--128,
191(1)97--115, 191(1)215--218, 197(1)57--77, 197(1)171--188,
209(1)47--86, 209(1)389--398
-
circuit-size, 180(1)243--268
-
circular, 154(2)225--245, 177(2)459--486, 197(1)245--246
-
Circumscribing, 193(1)215--244
-
circumscription, 155(1)157--177, 182(1)183--202, 193(1)215--244
-
Civil, 187(1)231--248, 187(1)263--284
-
clan, 154(2)247--282
-
Clark, 192(1)77--106
-
Clark, D., 194(1)241--z--2
-
Clark:1998:SPN, 194(1)241--z--2
-
Clarke, E. M., 178(1)237--255
-
Clarke, E. M., see Browne, A.
-
class, 139(1)187--205, 140(1)179--199, 140(2)291--300, 141(1)175--193,
143(1)149--158, 144(1)251--275, 145(1)111--145, 148(2)207--225,
149(2)201--229, 149(2)299--332, 150(1)1--55, 151(2)385--435,
152(1)67--89, 152(2)251--268, 153(1)49--64, 154(1)23--39,
154(2)145--163, 154(2)307--327, 154(2)367--377, 155(1)111--140,
155(1)141--156, 155(2)447--457, 157(2)227--258, 158(1)193--219,
158(1)221--231, 158(1)361--370, 160(1)305--320, 161(1)263--287,
161(1)301--306, 161(1)307--314, 162(1)5--21, 163(1)245--258,
163(1)283--289, 164(1)287--298, 165(2)355--390, 167(1)171--192,
170(1)407--444, 172(1)43--65, 172(1)91--120, 174(1)67--96,
174(1)231--246, 174(1)269--274, 176(1)39--65, 176(1)205--234,
177(1)59--71, 177(1)139--153, 178(1)37--76, 179(1)217--250,
180(1)139--154, 180(1)155--168, 180(1)217--228, 180(1)325--339,
183(1)93--112, 185(1)159--175, 185(1)177--190, 186(1)231--248,
188(1)79--99, 188(1)101--116, 190(1)87--112, 191(1)215--218,
194(1)137--161, 194(1)246--247, 195(1)33--60, 195(2)113--131,
195(2)183--203, 195(2)205--226, 197(1)247--z, 198(1)225--237,
203(1)123--141, 207(1)217--244, 209(1)225--235, 211(1)253--273,
226(1)29--36, 234(1)323--323
-
class, first-, 192(2)201--231
-
class-dependent, 155(1)141--156
-
classical, 139(1)243--273, 148(2)303--324, 153(1)49--64, 162(1)23--44,
168(2)267--301, 175(1)75--92, 176(1)159--173, 178(1)155--169,
179(1)427--436, 180(1)269--286, 188(1)211--220, 197(1)157--169,
197(1)241--z, 197(1)242--z, 197(1)247--z, 198(1)239--247,
227(1)43--78
-
classification, 156(1)217--261, 158(1)161--176, 170(1)297--348,
221(1)157--177
-
classifiers, 147(1)181--210
-
Classifying, 210(2)305--325
-
clause, 142(1)27--57, 143(1)51--72, 152(1)67--89, 155(1)111--140,
155(1)157--177, 155(1)277--288, 165(1)133--169, 171(1)3--24,
173(2)485--511, 177(1)217--283, 179(1)273--299, 185(1)177--190,
193(1)215--244
-
clause, Horn-, 179(1)273--299
-
CLEAN, 194(1)246--z--1
-
Clean, 194(1)240--z--1, 194(1)246--z--1
-
Cleaveland, R., 195(2)227--258
-
Cleaveland:1998:PAD, 195(2)227--258
-
Clementi, A., 205(1)261--282
-
Clementi, A., see Andreev, A. E.
-
Clementi, Andrea E. F., 161(1)307--314, 180(1)243--268, 221(1)3--18,
225(1)113--128
-
Clementi, Andrea E. F., see Andreev, Alexander E.
-
Clementi:1999:INA, 225(1)113--128
-
Clerbout, Mireille, 215(1)99--121
-
Clerbout:1999:SL, 215(1)99--121
-
Clergerie, Eric Villemonte de la, 199(1)167--198
-
climbing, 210(1)21--71
-
clique, 148(1)93--109, 174(1)23--65, 181(1)91--106, 181(2)337--345,
197(1)243--z--1
-
clock, 138(1)67--100, 191(1)245--248, 220(2)377--408
-
clock, Event-, 211(1)253--273
-
clock-bounded, global-, 198(1)225--237
-
Clos, 182(1)171--182
-
closed, 138(1)67--100, 138(1)141--168, 141(1)133--150, 143(2)189--249,
154(2)379--385, 155(1)1--38, 155(1)221--264, 155(1)265--266,
158(1)371--378, 160(1)145--184, 166(1)203--219, 172(1)209--232,
175(1)159--181, 177(2)287--328, 184(1)145--193, 194(1)219--223,
219(1)65--93, 228(1)77--103
-
closed;, cross-, 157(2)215--225
-
closed;, del-, 183(1)3--19
-
closed;, ins-, 183(1)3--19
-
closed, intersection-, 185(1)159--175
-
closed, stuttering-, 186(1)135--156
-
closed, transitively-, 143(1)73--91
-
Closed-form, 210(1)217--223
-
closed-world, 182(1)183--202
-
Closing, 203(1)31--49
-
closure, 127(2)287--312, 137(2)237--251, 139(1)27--67, 142(2)179--207,
144(1)59--65, 145(1)291--316, 148(2)261--279, 151(1)257--276,
151(1)z--z, 156(1)145--158, 160(1)217--239, 163(1)259--267,
165(2)391--405, 166(1)49--62, 167(1)47--72, 169(2)185--200,
178(1)205--224, 180(1)325--339, 183(1)3--19, 183(1)21--32,
185(2)393--410, 191(1)79--95, 193(1)197--214, 195(2)183--203,
226(1)185--206
-
closure;, left-, 183(1)45--82
-
closure, upward-, 151(1)37--78
-
Clote, P., 178(1)37--76
-
Clote:1997:NSR, 178(1)37--76
-
CLP, 166(1)101--146, 173(1)113--149, 173(1)183--208, 173(1)253--281
-
cluster, 151(1)29--36, 207(1)193--201
-
clustered, 170(1)47--81
-
clustering, 145(1)329--344, 181(2)379--404
-
CM200, 172(1)255--263
-
CM(k), 168(2)303--320
-
CML, 155(1)179--219, 216(1)55--107
-
CNF, 185(1)177--190, 215(1)1--30
-
Co-NP, 154(2)145--163
-
co-NP, 147(1)55--67, 148(2)207--225
-
co-RNP-completeness, 148(1)19--32
-
coalgebra;, Sigma-, 150(1)57--75
-
coalgebraic, 221(1)271--293
-
coarser-grained, 140(1)95--138
-
coarsest, 192(2)167--199, 198(1)225--237
-
Cockett, J. R. B., 177(1)73--109
-
Cockett, J. Robin B., 139(1)69--113
-
Cockett:1995:SCD, 139(1)69--113
-
Cockett:1997:CPC, 177(1)73--109
-
cocomparability, 175(2)309--335
-
code, 141(1)1--52, 144(1)161--197, 145(1)345--355, 147(1)165--180,
148(2)227--260, 148(2)325--349, 154(2)283--306, 155(2)425--438,
159(1)103--104, 160(1)145--184, 162(2)297--322, 163(1)145--160,
163(1)259--267, 164(1)223--252, 165(2)407--440, 172(1)309--321,
176(1)337--345, 181(2)337--345, 182(1)245--256, 183(1)3--19,
187(1)231--248, 188(1)231--240, 191(1)117--129, 192(2)201--231,
196(1)347--363, 196(1)365--393, 197(1)246--z, 204(1)11--28,
215(1)345--348, 218(1)107--121
-
code;, d-, 182(1)245--256
-
coded, 155(2)425--438
-
Codenotti, B., 165(2)483--490
-
Codenotti, B., see Brimkov, V.
-
Codenotti, Bruno, 180(1)287--308
-
Codenotti:1997:PAC, 180(1)287--308
-
codicity, 147(1)165--180
-
coding, 148(2)227--260, 155(1)267--276, 159(1)103--104, 161(1)141--156,
163(1)177--192, 164(1)165--183, 168(2)267--301, 175(2)293--308,
187(1)203--219
-
Codish, Michael, 165(1)57--74
-
Codish:1996:PIA, 165(1)57--74
-
coefficient, 161(1)69--92, 172(1)255--263, 188(1)45--57, 191(1)229--243,
218(1)143--160
-
coexponents, 150(1)111--159
-
Coffman, Jr., Edward G., 162(2)225--243
-
Coffman, Jr., Edward G., see Baker, Brenda S.
-
cognitive, 163(1)161--176
-
cographs, 145(1)329--344, 154(2)247--282, 160(1)87--143
-
Cohen, David M., 154(1)57--65
-
Cohen--Grossberg, 158(1)279--341
-
Cohen:1996:PFS, 154(1)57--65
-
Coherence, 227(1)153--184
-
coherent, 179(1)203--215, 192(2)259--286, 197(1)244--z, 227(1)275--297
-
cohomology, 187(1)123--145
-
coin, 154(1)23--39, 181(2)347--356
-
coin-sliding, 164(1)253--276
-
coincide, 146(1)341--349
-
Colbourn, Charles J., 209(1)331--345
-
Colbourn:1998:LTA, 209(1)331--345
-
colimits, 194(1)241--z--3
-
collage, 145(1)159--187
-
collapsed, 194(1)245--z--2
-
collection, 149(1)3--48, 154(1)57--65, 196(1)241--258
-
Collette, Pierre, 183(2)253--279
-
Collette:1997:FMR, 183(2)253--279
-
Colombet, L., 196(1)31--44
-
Colombet:1998:SEL, 196(1)31--44
-
color, 147(1)211--248
-
Colorability;, 3-, 145(1)111--145
-
colored, 157(2)161--183
-
colored, edge-, 161(1)289--300
-
coloring, 147(1)211--248, 157(2)161--183, 174(1)23--65
-
coloring;, edge-, 175(2)337--347
-
colour, 147(1)211--248, 161(1)289--300
-
colour, edge-, 161(1)289--300
-
colour, four-, 154(1)3--22
-
colourable, 154(1)3--22
-
coloured, 159(1)105--128, 176(1)39--65, 200(1)135--183, 225(1)171--176
-
colouring, 154(1)3--22, 161(1)289--300, 175(2)337--347, 176(1)39--65,
181(1)91--106, 203(2)225--251
-
colouring, edge-, 181(1)91--106
-
colouring;, edge-, 181(1)91--106
-
colouring, four-, 154(1)3--22
-
Colson, Loïc, 206(1)301--315, 222(1)181--186
-
Colson:1998:SCV, 206(1)301--315
-
Colson:1999:DFP, 222(1)181--186
-
column, 159(1)65--79
-
column-convex, 159(1)129--136
-
Colussi, Livio, 163(1)117--144
-
Colussi:1996:HCC, 163(1)117--144
-
combination, 137(1)159--176, 142(2)229--255, 151(2)487--512,
176(1)235--282, 192(1)107--161, 209(1)261--285
-
combinational, 143(2)335--342, 156(1)263--280, 189(1)221--228
-
Combinatoire, 209(1)261--285
-
combinatoires, 164(1)165--183
-
combinator, 139(1)69--113, 152(2)171--217, 168(1)53--103, 169(1)3--21,
173(2)513--554
-
combinatoric, 144(1)101--124, 156(1)159--176, 169(2)185--200,
183(1)45--82, 218(1)13--39
-
combinatory, 139(1)207--242, 140(1)5--52, 169(1)3--21, 189(1)221--228,
198(1)239--247
-
combined, 190(2)167--210
-
Combining, 169(2)201--220, 171(1)61--75
-
combustion, 187(1)249--262
-
Comini, Marco, 211(1)275--309
-
Comini:1999:CPS, 211(1)275--309
-
command, 168(2)337--366
-
commits, 152(1)67--89
-
committed, 195(2)155--182
-
COMMON, 172(1)1--41, 188(1)221--230
-
common, 143(1)113--122, 143(2)353--362, 144(1)3--58, 145(1)317--327,
147(1)31--54, 147(1)267--298, 154(2)225--245, 155(1)265--266,
157(1)3--33, 162(2)173--223, 164(1)277--285, 177(1)111--138,
191(1)205--214, 194(1)241--z--3, 207(2)319--328
-
common-sense, 182(1)183--202, 189(1)129--177
-
communicating, 138(2)243--271, 138(2)273--314, 138(2)315--352,
139(1)315--354, 140(1)73--94, 141(1)195--252, 146(1)25--68,
146(1)341--349, 152(2)171--217, 152(2)219--249, 152(2)251--268,
153(1)65--94, 165(2)463--474, 167(1)235--274, 168(1)53--103,
170(1)445--464, 174(1)217--230, 174(1)231--246, 176(1)205--234,
177(2)287--328, 177(2)329--349, 179(1)217--250, 179(1)301--317,
189(1)179--219, 192(2)287--314, 195(2)155--182, 195(2)205--226,
198(1)99--130, 198(1)131--158, 198(1)225--237, 215(1)349--358
-
communication, 140(2)319--331, 144(1)3--58, 147(1)69--85,
149(2)257--298, 155(1)179--219, 156(1)99--117, 157(2)139--159,
168(1)39--51, 170(1)445--464, 177(2)329--349, 177(2)425--458,
177(2)487--507, 178(1)103--118, 178(1)119--127, 185(2)259--275,
185(2)347--377, 188(1)117--128, 192(2)167--199, 194(1)123--136,
196(1)153--180, 196(1)181--200, 198(1)99--130, 209(1)195--211,
209(1)195--z, 215(1)137--168, 220(1)3--30, 220(1)185--210
-
communication-time, unit-, 162(2)323--340
-
communicational, 188(1)117--128
-
communications, 138(2)315--352, 145(1)95--109, 147(1)1--18,
147(1)69--85, 154(1)57--65, 177(2)425--458, 178(1)103--118,
196(1)31--44, 196(1)45--70
-
communities, 180(1)287--308
-
commutation, 177(2)407--423, 224(1)215--235
-
commutative, 160(1)87--143, 161(1)157--190, 163(1)1--54, 172(1)273--279,
177(1)217--283, 184(1)61--104, 197(1)245--z, 197(1)246--z--1,
197(1)248--z--1
-
commutative, Non-, 209(1)47--86
-
commutative, non-, 197(1)245--z
-
commutativity, 197(1)247--z--2, 204(1)35--54
-
commuting, non-, 172(1)255--263
-
commuting, shift-, 174(1)203--216
-
Comon, Hubert, 176(1)67--87
-
Comon:1997:FOT, 176(1)67--87
-
compact, 138(1)141--168, 141(1)133--150, 146(1)311--320, 151(1)163--193,
166(1)221--262, 175(2)239--255, 177(1)111--138, 179(1)319--331,
181(2)379--404, 182(1)183--202, 193(1)1--51, 193(1)53--73,
193(1)113--127, 193(1)181--195, 219(1)19--48, 219(1)65--93
-
compacting, 175(2)293--308
-
compactness, 168(1)105--119, 183(1)83--92
-
companion, 180(1)61--80
-
comparability, 145(1)147--157
-
Comparing, 166(1)83--99
-
comparison, 144(1)199--220, 158(1)177--192, 163(1)117--144,
168(1)39--51, 180(1)115--137, 182(1)217--232, 202(1)231--244
-
compatibility, 155(1)85--109, 187(1)147--165, 192(2)201--231,
194(1)183--205, 194(1)241--z--2
-
compatible, AC-, 142(2)209--227
-
competitive, 181(1)75--90, 181(2)347--356, 194(1)163--182,
197(1)95--109, 209(1)365--375
-
competitiveness, 197(1)95--109
-
compilation, 141(1)1--52, 146(1)109--143, 153(1)3--48, 173(1)3--48
-
compile-time, 193(1)149--179, 196(1)71--107
-
compiled, 187(1)231--248
-
compiler, 141(1)1--52, 145(1)189--228, 146(1)69--108, 146(1)109--143,
155(2)439--446, 160(1)145--184, 160(1)185--216, 179(1)381--395,
182(1)1--143, 190(2)211--239, 196(1)347--363, 199(1)25--56,
217(2)175--214
-
complement, 161(1)191--203, 179(1)251--271
-
complementation, 148(1)121--132, 169(2)123--145
-
completable, 182(1)245--256
-
complete, 138(2)273--314, 138(2)391--423, 141(1)337--350,
142(2)209--227, 143(1)51--72, 145(1)147--157, 146(1)243--268,
146(1)321--329, 147(1)1--18, 147(1)69--85, 147(1)137--147,
152(2)251--268, 154(1)107--143, 154(2)247--282, 154(2)283--306,
160(1)185--216, 160(1)241--270, 161(1)307--314, 164(1)141--163,
164(1)287--298, 166(1)203--219, 168(1)53--103, 168(1)155--212,
170(1)145--171, 170(1)245--276, 172(1)195--207, 176(1)89--110,
179(1)421--425, 183(2)229--251, 184(1)61--104, 184(1)237--245,
189(1)239--248, 190(2)279--315, 192(2)259--286, 192(2)315--351,
193(1)53--73, 195(1)61--89, 197(1)244--z--2, 206(1)331--339,
211(1)339--374, 220(2)363--376, 221(1)157--177
-
complete, APX-, 147(1)181--210
-
complete, bounded-, 175(1)3--13
-
complete;, coNP-, 175(2)257--270
-
complete, directed-, 175(1)3--13
-
complete;, EXPTIME-, 143(1)93--112
-
complete, NP-, 147(1)137--147, 148(1)19--32, 155(2)321--347,
161(1)289--300, 186(1)157--169
-
complete, {NP}-, 186(1)107--134, 198(1)211--224,
201(1)137--150
-
complete;, NP-, 137(1)129--144, 143(2)353--362, 147(1)117--136,
148(1)93--109, 163(1)161--176, 164(1)287--298, 165(2)233--246,
175(2)309--335, 178(1)265--273, 180(1)269--286, 181(1)159--179,
181(2)267--287, 186(1)107--134, 191(1)205--214, 197(1)245--z--2,
198(1)211--224
-
complete, NP-, 148(1)19--32
-
complete;, P-, 141(1)337--350
-
complete, p-m-, 147(1)137--147
-
complete;, PSACE-, 197(1)245--z--2
-
complete, PSPACE-, 139(1)1--25
-
complete, {PSPACE}-, 224(1)267--289
-
complete;, PSPACE-, 147(1)117--136
-
completely, almost-, 145(1)371--380
-
completeness, 138(2)273--314, 139(1)27--67, 141(1)109--131,
143(1)149--158, 145(1)111--145, 146(1)243--268, 150(1)161--191,
151(1)3--27, 151(2)487--512, 152(1)139--169, 155(1)1--38,
160(1)241--270, 163(1)99--116, 164(1)141--163, 167(1)95--130,
170(1)173--207, 173(1)183--208, 175(1)29--74, 177(1)217--283,
183(2)187--214, 183(2)253--279, 185(2)393--410, 190(1)41--60,
195(1)61--89, 197(1)242--z--1, 197(1)243--z--1, 197(1)245--z--1,
197(1)246--z--2, 215(1)349--358, 227(1)249--273
-
completeness;, co-RNP-, 148(1)19--32
-
completeness;, EXPTIME-, 143(1)93--112
-
completeness, NP-, 165(2)483--490
-
completeness, {NP}-, 145(1)111--145, 225(1)65--79
-
completeness;, NP-, 147(1)69--85, 165(2)483--490, 168(1)3--19,
175(2)349--372, 188(1)129--159
-
completeness;, PSPACE-, 143(1)93--112
-
completion, 139(1)187--205, 142(2)141--177, 145(1)345--355,
146(1)199--242, 150(1)57--75, 151(1)z--z, 154(2)379--385,
159(2)143--190, 159(2)355--356, 165(1)171--200, 170(1)145--171,
176(1)67--87, 179(1)319--331, 182(1)245--256, 192(1)77--106,
193(1)1--51, 227(1)153--184
-
complets., {NP}-, 201(1)137--150
-
complex, 149(1)3--48, 149(1)49--66, 167(1)235--274, 175(2)225--238,
176(1)283--328, 178(1)103--118, 179(1)273--299, 210(1)159--171,
217(1)131--156
-
complex-object, 176(1)283--328
-
complexité, 215(1)31--49
-
complexity;, C-, 161(1)123--140
-
complexity;, CD-, 161(1)123--140
-
complexity;, NP-, 154(2)145--163
-
complexity;, P-, 154(2)145--163
-
complexityC1230, 171(1)77--109
-
complexityC4250, 173(1)113--149
-
complexityC6140D, 176(1)175--204
-
complicated, 172(1)43--65, 177(1)217--283
-
component, 138(1)211--239, 140(2)205--230, 147(1)267--298,
152(2)171--217, 163(1)303--308, 186(1)1--41, 186(1)135--156,
187(1)123--145, 192(2)287--314, 194(1)241--z--3, 194(1)242--z--1
-
component, two-, 189(1)71--107
-
composed, 163(1)145--160, 194(1)241--z--3
-
composed, p-s-, 163(1)145--160
-
composition, 137(2)237--251, 149(2)201--229, 155(1)39--83, 156(1)71--97,
160(1)1--85, 173(2)485--511, 176(1)1--38, 177(1)3--25,
177(2)381--405, 183(2)253--279, 186(1)135--156, 186(1)171--198,
192(2)233--258, 192(2)259--286, 192(2)287--314, 194(1)57--85,
197(1)1--56
-
compositional, 138(2)243--271, 140(1)95--138, 149(2)201--229,
165(1)133--169, 183(2)253--279, 183(2)281--315, 192(2)259--286,
194(1)241--z--3, 216(1)271--310
-
compositional, AND-, 165(1)133--169
-
compositionality, 173(2)485--511, 211(1)275--309
-
compound, 171(1)281--302
-
comprehension, 156(1)203--215
-
compressed, 178(1)1--36
-
compression, 144(1)161--197, 154(2)307--327, 155(2)321--347,
161(1)1--21
-
COMPUGRAPH, 194(1)241--242, 194(1)242--243, 194(1)245--z--1
-
COMPUGRAPHash, 194(1)z--z
-
Comput., 182(1)257--257, 184(1)247--247, 206(1)353--354, 234(1)323--323,
254(1)691--694, 266(1)997--998, 547-z-122
-
computability, 137(1)129--144, 139(1)243--273, 142(1)27--57,
145(1)111--145, 147(1)31--54, 153(1)49--64, 154(2)145--163,
155(1)277--288, 157(1)79--90, 157(1)91--99, 157(2)267--271,
160(1)365--380, 161(1)109--122, 161(1)289--300, 162(1)5--21,
162(1)23--44, 162(1)45--77, 162(1)117--132, 163(1)177--192,
165(1)133--169, 166(1)147--172, 168(2)241--255, 168(2)461--472,
171(1)3--24, 172(1)233--254, 174(1)137--156, 175(1)183--222,
175(2)349--372, 181(1)195--225, 184(1)195--236, 190(2)279--315,
191(1)145--156, 191(1)229--243, 192(2)315--351, 193(1)149--179,
194(1)219--223, 194(1)247--z--1, 195(2)183--203, 210(1)73--98,
219(1)65--93, 219(1)185--223, 219(1)287--299, 219(1)421--437,
219(1)467--486, 219(1)487--510, 224(1)173--213
-
computable, 139(1)243--273, 143(1)113--122, 145(1)241--270,
161(1)235--261, 162(1)45--77, 162(1)117--132, 169(1)67--80,
172(1)233--254, 175(1)183--222, 188(1)175--194, 192(2)315--351,
194(1)247--z--1, 197(1)79--94, 210(1)3--20, 219(1)95--109,
219(1)111--150, 219(1)169--184, 219(1)319--329, 221(1)157--177,
224(1)13--33
-
computational-tuple, 145(1)291--316
-
compute, 194(1)241--z, 196(1)319--345
-
computer, 134(1)51--61, 138(1)35--65, 138(1)67--100, 140(2)249--263,
140(2)319--331, 145(1)95--109, 145(1)159--187, 147(1)1--18,
147(1)69--85, 147(1)211--248, 152(2)321--z, 154(1)57--65,
154(2)165--181, 156(1)1--38, 156(1)159--176, 156(1)203--215,
157(1)115--127, 157(1)z--z, 159(1)105--128, 170(1)245--276,
170(1)407--444, 175(1)z--z, 175(2)225--238, 175(2)293--308,
177(2)425--458, 178(1)103--118, 178(1)119--127, 178(1)225--236,
179(1)319--331, 181(1)75--90, 185(2)347--377, 186(1)1--41,
187(1)123--145, 187(1)147--165, 187(1)263--284, 187(1)z--z,
191(1)1--36, 191(1)173--183, 191(1)245--248, 192(2)315--351,
194(1)242--z--1, 196(1)31--44, 196(1)45--70, 196(1)215--240,
197(1)57--77, 197(1)139--156, 201(1)99--136, 211(1)233--252
-
computer-aided, 141(1)283--310, 155(2)321--347
-
computing, 137(1)129--144, 138(1)211--239, 139(1)69--113, 141(1)1--52,
141(1)175--193, 147(1)181--210, 149(1)101--128, 155(1)157--177,
156(1)99--117, 156(1)217--261, 157(1)115--127, 161(1)69--92,
163(1)269--276, 164(1)107--122, 164(1)299--310, 168(2)321--336,
169(1)67--80, 174(1)123--136, 180(1)115--137, 180(1)287--308,
181(1)159--179, 181(1)181--194, 181(1)195--225, 182(1)159--170,
185(2)259--275, 187(1)81--86, 187(1)87--104, 187(1)105--116,
187(1)117--122, 187(1)123--145, 187(1)147--165, 187(1)221--230,
187(1)231--248, 187(1)249--262, 187(1)263--284, 187(1)z--z,
190(1)61--85, 191(1)1--36, 192(2)315--351, 194(1)123--136,
194(1)225--237, 194(1)241--242, 194(1)242--z--1, 194(1)z--z,
195(1)3--32, 196(1)109--130, 196(1)153--180, 196(1)319--345,
197(1)79--94, 197(1)157--169, 197(1)171--188, 199(1)145--166,
209(1)331--345, 209(1)389--398
-
concatenable, 170(1)277--296
-
concatenation, 127(2)287--312, 145(1)71--93, 155(2)291--319,
164(1)299--310, 170(1)277--296, 186(1)83--105
-
conceived, 192(2)287--314
-
concept, 172(1)43--65, 172(1)91--120, 185(1)159--175, 188(1)79--99,
192(2)315--351, 194(1)248--z--1
-
concerning, 157(2)259--266, 174(1)269--274, 207(1)43--72
-
conclusion, multiple-, 165(1)201--232
-
concrete, 179(1)319--331, 219(1)347--378
-
concurrency, 138(2)425--454, 149(1)151--178, 150(1)77--109,
151(1)195--205, 151(2)353--383, 153(1)211--244, 154(1)107--143,
155(1)39--83, 156(1)203--215, 165(1)201--232, 169(2)161--184,
170(1)145--171, 170(1)297--348, 170(1)445--464, 174(1)67--96,
177(1)73--109, 177(2)329--349, 179(1)61--102, 179(1)333--351,
180(1)341--352, 185(2)259--275, 190(2)363--396, 194(1)242--243,
194(1)z--z, 195(2)183--203, 197(1)1--56
-
concurrency, true-, 206(1)219--256
-
concurrent, 138(2)391--423, 139(1)243--273, 140(1)95--138,
140(2)319--331, 141(1)195--252, 153(1)245--270, 155(1)179--219,
166(1)1--47, 170(1)1--46, 172(1)309--321, 173(1)49--87,
173(1)209--233, 173(1)235--252, 174(1)67--96, 174(1)193--202,
177(1)111--138, 177(2)425--458, 179(1)61--102, 179(1)333--351,
179(1)353--380, 179(1)397--419, 183(2)187--214, 183(2)229--251,
183(2)253--279, 183(2)281--315, 189(1)109--127, 189(1)229--237,
190(1)61--85, 192(2)259--286, 193(1)113--127, 193(1)197--214,
194(1)241--242, 194(1)245--z, 194(1)246--z--1, 195(2)259--289,
196(1)319--345, 202(1)1--54, 227(1)185--220, 254(1)691--694
-
concurrent-object, 195(2)259--289
-
concurrent-read, 141(1)163--173
-
concurrent-write, 141(1)163--173
-
concurrently, 161(1)109--122, 194(1)248--z--1
-
condition, 138(1)201--210, 139(1)27--67, 140(2)231--247, 140(2)249--263,
141(1)311--328, 144(1)251--275, 145(1)1--26, 146(1)331--339,
151(2)487--512, 152(1)91--138, 152(1)139--169, 154(2)349--366,
155(2)321--347, 156(1)217--261, 159(2)355--356, 161(1)191--203,
163(1)259--267, 164(1)287--298, 165(1)97--131, 165(2)475--482,
165(2)483--490, 166(1)49--62, 166(1)101--146, 166(1)147--172,
167(1)193--233, 173(2)513--554, 174(1)97--121, 174(1)157--170,
177(1)155--182, 180(1)61--80, 182(1)183--202, 183(1)93--112,
183(2)253--279, 187(1)3--6, 191(1)219--228, 197(1)111--138,
197(1)203--234, 202(1)231--244, 220(1)67--91
-
condition;, stack-, 197(1)246--z--1
-
conditional, 152(1)91--138, 152(2)219--249, 165(1)97--131, 177(1)3--25,
192(2)259--286, 194(1)243--z--2, 194(1)244--z--3
-
configuration, 148(1)157--163, 172(1)121--134, 188(1)129--159,
194(1)123--136, 221(1)211--250
-
conflict, 138(2)425--454, 149(1)179--199, 153(1)271--300,
170(1)209--244, 194(1)241--z--2
-
Conflict-Free, 207(1)193--201
-
confluence, 142(2)299--368, 151(2)353--383, 151(2)487--512,
152(2)269--283, 154(2)329--348, 165(1)97--131, 169(2)201--220,
170(1)47--81, 170(1)407--444, 173(1)209--233, 175(1)159--181,
183(2)281--315, 192(1)3--29, 192(1)55--75, 195(2)259--289,
200(1)205--224, 206(1)127--162
-
confluent, 146(1)199--242, 151(2)487--512, 152(2)269--283,
167(1)95--130, 173(1)209--233, 175(1)159--181
-
conformisms, 194(1)246--z
-
confusion, 153(1)245--270
-
congestion, 155(2)349--363
-
congruence, 139(1)315--354, 143(1)1--21, 146(1)25--68, 150(1)77--109,
155(1)39--83, 165(1)3--55, 179(1)273--299, 183(1)93--112,
190(1)87--112, 192(2)167--199, 195(2)155--182, 195(2)227--258,
198(1)159--176, 198(1)225--237, 208(1)3--31, 211(1)311--337,
217(2)279--289, 217(2)291--300
-
congruent, 153(1)65--94, 174(1)247--249
-
conjecture, 146(1)199--242, 154(1)3--22, 154(2)379--385, 157(2)277--282,
201(1)151--170, 204(1)75--86
-
conjugation, 195(1)91--109
-
conjunctive, 137(1)129--144, 190(2)167--210
-
conjunctive-disjunctive, 170(1)83--128
-
connected, 147(1)211--248, 155(2)321--347, 170(1)445--464,
172(1)175--193, 180(1)169--180, 186(1)1--41, 224(1)35--58
-
connected, 4-, 172(1)175--193
-
connected, 6-, 163(1)303--308
-
connected-cycles, cube-, 162(2)283--296
-
connection, 150(1)161--191, 166(1)291--300, 172(1)255--263,
174(1)123--136, 179(1)103--135
-
connective, 145(1)371--380, 176(1)159--173, 197(1)245--z--1,
197(1)248--z--1
-
connectivity, 164(1)287--298, 169(2)147--160, 173(1)151--181,
203(2)253--269
-
connectivity;, 26-, 186(1)1--41
-
connex, 4-, 147(1)165--180
-
coNP-complete, 175(2)257--270
-
conquer, 162(2)283--296
-
conquer, Divide-and-, 162(2)283--296
-
conquer, divide-and-, 162(2)283--296, 181(2)357--378
-
consecutive, 164(1)73--106
-
consensus, 145(1)271--290, 147(1)31--54, 180(1)115--137, 185(2)259--275,
220(1)3--30
-
consequence, 149(2)201--229
-
conservative, 141(1)151--162, 177(2)351--380
-
consideration, 183(1)21--32
-
consistency, 141(1)151--162, 150(1)161--191, 170(1)129--144,
173(1)89--112, 173(1)253--281, 173(1)283--308, 194(1)243--z--2
-
consistent, 141(1)151--162, 143(1)113--122, 145(1)317--327,
149(2)361--374, 165(2)233--246, 194(1)225--237, 194(1)243--z--2
-
consistent;, r-, 149(2)361--374
-
consistently, 192(2)259--286
-
Consortium, 196(1)289--317
-
constant, 138(1)35--65, 142(2)229--255, 154(2)283--306, 164(1)107--122,
167(1)131--170, 175(2)373--392, 177(1)27--58, 181(1)181--194,
181(2)379--404, 193(1)215--244, 194(1)1--34, 207(1)159--170
-
constant, copy-, 167(1)131--170
-
constant, linear-, 167(1)131--170
-
constant, piecewise-, 138(1)35--65
-
constant-degree, 143(2)335--342
-
constant-depth, 161(1)141--156, 191(1)97--115
-
constant-height, 154(2)165--181
-
constant-only, 197(1)245--246
-
constant-space, 147(1)19--30, 158(1)177--192, 218(1)197--203
-
constant-time, 197(1)57--77
-
constituent, 156(1)217--261
-
constrained, 142(2)141--177, 173(1)113--149, 192(1)77--106
-
constraint, 138(1)211--239, 141(1)151--162, 142(1)27--57,
142(2)141--177, 151(1)37--78, 151(1)z--z, 156(1)217--261,
158(1)279--341, 160(1)365--380, 166(1)101--146, 167(1)73--94,
171(1)25--60, 172(1)233--254, 173(1)3--48, 173(1)89--112,
173(1)113--149, 173(1)151--181, 173(1)183--208, 173(1)209--233,
173(1)235--252, 173(1)253--281, 173(1)283--308, 175(2)349--372,
179(1)273--299, 183(2)281--315, 184(1)195--236, 185(1)81--128,
187(1)49--79, 190(2)115--149, 190(2)151--166, 192(1)77--106,
192(1)107--161, 192(2)259--286, 192(2)315--351, 193(1)149--179,
197(1)1--56, 206(1)81--125, 206(1)257--281, 221(1)179--210,
225(1)113--128
-
constraint, variable-, 158(1)279--341
-
constraint-based, 146(1)243--268
-
constraint-solving, 173(1)3--48
-
construct, 139(1)243--273, 140(1)139--177, 140(1)179--199,
150(1)111--159, 157(2)227--258, 159(2)191--244, 160(1)217--239,
167(1)235--274, 175(1)75--92, 177(1)111--138, 190(2)167--210
-
constructed, 156(1)39--70
-
constructible, 144(1)59--65, 164(1)29--40
-
constructing, 154(2)225--245, 161(1)307--314, 177(1)73--109,
180(1)309--324, 187(1)3--6, 194(1)244--z--1
-
construction, 135(1)67--110, 143(1)73--91, 143(2)189--249,
143(2)251--267, 144(1)67--99, 153(1)3--48, 153(1)171--210,
155(2)291--319, 155(2)439--446, 156(1)203--215, 156(1)263--280,
161(1)1--21, 166(1)263--290, 169(1)67--80, 169(2)123--145,
173(2)349--391, 173(2)485--511, 174(1)193--202, 176(1)39--65,
183(2)253--279, 192(2)233--258, 194(1)240--z, 194(1)247--z,
199(1)25--56, 204(1)205--231, 212(1)261--303, 217(2)175--214,
266(1)997--998
-
constructive, 156(1)217--261, 159(2)319--341, 175(1)29--74,
183(1)21--32, 194(1)243--z--2, 219(1)95--109, 219(1)267--285
-
constructivism, 211(1)233--252
-
constructor, 139(1)69--113, 151(2)487--512, 152(1)139--169,
166(1)83--99, 166(1)173--202, 177(1)3--25
-
constructor-sharing, 165(1)97--131
-
contact, 153(1)245--270
-
containing, 197(1)235--240
-
contaminated, 217(1)131--156
-
Contejean, Evelyne, 173(1)183--208
-
Contejean, Evelyne, see Ajili, Farid
-
content, 158(1)193--219, 158(1)361--370
-
Contents, 158(1)379--z, 164(1)311--z, 171(1)303--z, 182(1)259--z,
182(1)263--z
-
context, 141(1)329--330, 141(1)331--335, 145(1)357--369, 164(1)29--40,
164(1)123--140, 165(2)355--390, 192(2)201--231, 197(1)189--201
-
context;, graphs-in-, 194(1)240--z
-
context-filling, 192(2)201--231
-
context-free, 127(2)287--312, 137(2)177--217, 141(1)331--335,
142(1)3--26, 143(2)343--352, 147(1)87--116, 158(1)143--159,
158(1)161--176, 161(1)23--68, 161(1)141--156, 161(1)205--233,
163(1)1--54, 164(1)207--221, 165(2)275--293, 165(2)463--474,
167(1)171--192, 168(2)241--255, 168(2)321--336, 180(1)353--361,
181(1)141--157, 183(1)21--32, 184(1)195--236, 185(1)15--45,
194(1)35--55, 197(1)189--201, 202(1)231--244, 215(1)349--358
-
context-free, coupled-, 161(1)205--233
-
context-sensitive, 137(1)53--84, 141(1)329--330, 143(2)269--284,
164(1)29--40, 164(1)123--140, 165(2)355--390, 171(1)147--177,
194(1)244--z--3
-
context-specific, 149(1)179--199
-
contextual, 183(1)33--44, 205(1)61--83
-
continuation, 197(1)242--z
-
continued, 194(1)1--34, 204(1)75--86, 226(1)93--104
-
continuity, 153(1)3--48, 162(2)351--369, 177(1)111--138, 219(1)439--450
-
continuity, V-, 177(1)111--138
-
continuous, 138(1)67--100, 138(1)101--112, 138(1)141--168,
138(1)169--199, 138(1)201--210, 138(1)211--239, 144(1)251--275,
151(1)277--294, 153(1)3--48, 155(1)221--264, 158(1)279--341,
159(2)355--356, 162(1)79--115, 165(2)295--309, 168(1)155--212,
176(1)89--110, 177(1)59--71, 179(1)319--331, 179(1)421--425,
193(1)53--73, 193(1)197--214, 197(1)244--z, 203(1)151--162,
227(1)275--297
-
continuous, omega-, 193(1)53--73
-
continuous, Scott-, 177(1)59--71
-
continuous-state, 138(1)201--210
-
continuous-time, 162(1)23--44
-
continuously, 154(2)379--385
-
contour, 144(1)101--124
-
contraction, 146(1)199--242, 151(1)3--27, 169(2)201--220, 203(1)3--29
-
contractivity, 146(1)311--320
-
contractum, 152(2)305--320
-
contradictory, 166(1)147--172
-
Contributions, 149(2)231--255, 183(1)1--z, 207(1)13--23
-
control, 138(1)35--65, 138(1)101--112, 138(1)141--168, 138(1)201--210,
138(1)211--239, 138(2)391--423, 139(1)163--186, 140(2)231--247,
140(2)249--263, 140(2)301--317, 148(1)67--92, 149(1)151--178,
151(1)195--205, 153(1)3--48, 157(1)101--114, 157(1)129--136,
159(2)191--244, 165(2)355--390, 169(2)123--145, 179(1)61--102,
179(1)381--395, 183(2)215--228, 185(2)259--275, 189(1)109--127,
190(2)363--396, 196(1)241--258, 196(1)259--288, 217(1)3--30,
221(1)369--392, 228(1)211--252
-
controlC4240C, 140(2)301--317
-
controllability, 157(1)101--114, 157(1)129--136
-
controllable, 139(1)163--186
-
controlled, 179(1)61--102
-
controlled, event-, 138(1)211--239
-
controller, 138(1)201--210, 138(1)211--239
-
convergence, 151(2)437--486, 159(1)65--79, 164(1)185--206,
184(1)61--104, 220(1)247--265, 229(1)11--22, 229(1)23--39
-
convergent, 139(1)207--242
-
converging, 152(2)285--303
-
conversion, 137(2)237--251, 176(1)235--282, 187(1)179--202,
212(1)247--260
-
convert, 215(1)69--87
-
convex, 138(1)3--34, 140(2)205--230, 141(1)337--350, 155(2)321--347,
157(2)185--214, 159(1)65--79, 174(1)193--202, 188(1)59--78,
193(1)1--51, 196(1)395--415, 197(1)203--234, 218(2)273--283
-
convex, column-, 159(1)129--136
-
convex, row-, 155(2)321--347, 159(1)129--136
-
convex-bipartite, 147(1)249--265
-
convexity, 155(2)321--347
-
Conway, 155(1)1--38, 177(1)217--283
-
Cook, 164(1)141--163
-
cool, 146(1)25--68
-
cooperating, 187(1)221--230
-
cooperation, 180(1)353--361, 183(2)253--279, 187(1)221--230
-
cooperative, 192(2)259--286, 192(2)287--314
-
coordinated, 191(1)205--214, 192(2)287--314
-
coordinating, 192(2)287--314
-
coordination, 192(2)167--199, 192(2)201--231, 192(2)233--258,
192(2)259--286, 192(2)287--314, 192(2)315--351, 220(1)31--65
-
coordinator, 192(2)287--314
-
copies, 185(1)3--13
-
coprimes, 183(1)45--82
-
coprocessors, 148(1)1--17
-
copy-constant, 167(1)131--170
-
copying, 223(1)87--120
-
copyright, 226(1)117--142
-
corecurrent, 187(1)203--219
-
Cori, Robert, 204(1)55--73
-
Cori:1998:CNI, 204(1)55--73
-
corner, 156(1)263--280, 191(1)193--203
-
Corradini, A., 194(1)241--242, 194(1)241--z--3
-
Corradini, Flavio, 198(1)225--237
-
Corradini:1998:CAS, 194(1)241--z--3
-
Corradini:1998:CCP, 194(1)241--242
-
Corradini:1998:CCW, 198(1)225--237
-
correct, 149(1)129--149, 160(1)1--85, 172(1)91--120, 188(1)79--99
-
corrected, 185(2)379--391
-
correcting, error-, 148(2)325--349
-
correction, 148(2)325--349, 201(1)275--279
-
correctness, 139(1)275--314, 140(1)139--177, 151(1)195--205,
152(2)219--249, 156(1)177--201, 159(2)245--270, 166(1)1--47,
166(1)101--146, 167(1)193--233, 169(1)81--112, 173(1)235--252,
177(1)183--216, 180(1)309--324, 195(2)259--289, 197(1)245--z--1,
199(1)25--56, 199(1)87--103, 224(1)115--134
-
correctness, proof-of-, 177(1)183--216
-
correlation-immune, 226(1)37--43
-
correspondence, 161(1)93--108, 183(1)45--82
-
corrigendum, 135(1)67--110, 176(1)235--282, 184(1)247--247, 202(1)1--54,
206(1)353--354, 212(1)261--303, 218(1)95--106, 254(1)691--694,
266(1)997--998, 547-z-122
-
Cortesi, Agostino, 202(1)163--192
-
Cortesi:1998:QAI, 202(1)163--192
-
coset, 180(1)17--45
-
Cosmo, Roberto, Di, 169(2)201--220
-
Cosnard, Michel, 168(2)417--459
-
Cosnard, Michel, see Bournez, Olivier
-
cost, 144(1)199--220, 156(1)301--313, 156(1)315--325, 164(1)185--206,
165(2)441--461, 168(1)21--38, 173(1)113--149, 181(1)75--90,
182(1)203--216, 182(1)233--244, 191(1)229--243, 194(1)207--218,
196(1)241--258, 219(1)301--318
-
cost, zero-, 188(1)129--159
-
Costa, Gerardo, 173(2)513--554
-
Costa:1997:SAD, 173(2)513--554
-
Costantini, Stefania, 149(2)231--255
-
Costantini:1995:CSM, 149(2)231--255
-
costed, 156(1)145--158
-
count, 193(1)149--179
-
countable, 166(1)203--219, 180(1)17--45
-
counter, 149(1)67--99, 168(2)303--320
-
counter, two-, 168(2)303--320
-
counterexample, 185(1)47--62
-
counterfeit, 181(2)347--356
-
counterparts, 197(1)139--156
-
counting, 149(1)67--99, 159(1)103--104, 160(1)321--363, 163(1)245--258,
180(1)155--168, 201(1)281--290, 204(1)55--73, 220(1)67--91
-
counting, Intuitionism-, 197(1)242--z--3
-
Coupled, 217(1)157--172
-
coupled-context-free, 161(1)205--233
-
couplers, 194(1)123--136
-
Courcelle, B., 194(1)242--z
-
Courcelle, Bruno, 151(1)125--162, 160(1)87--143, 163(1)1--54,
224(1)35--58
-
Courcelle:1995:MSO, 151(1)125--162
-
Courcelle:1996:BNU, 163(1)1--54
-
Courcelle:1996:MSO, 160(1)87--143
-
Courcelle:1998:LG, 194(1)242--z
-
Courcelle:1999:MSO, 224(1)35--58
-
Courcoubetis, C., 138(1)3--34
-
Courcoubetis, C., see Alur, R.
-
covariance, 144(1)125--159
-
covariant, 185(2)237--258
-
Coven, 163(1)291--302
-
cover, 142(2)299--368, 145(1)111--145, 147(1)267--298, 149(1)129--149,
158(1)117--141, 164(1)299--310, 166(1)221--262, 174(1)23--65,
187(1)167--178, 205(1)85--98, 225(1)113--128, 225(1)163--169
-
cover-preserving, 175(2)337--347
-
coverage, 154(1)57--65
-
covering, 175(2)337--347, 218(1)205--216
-
covers, all-, 164(1)299--310
-
CPO, 150(1)57--75
-
cpo, 154(2)379--385
-
CPS, 234(1)309--321
-
CPU, 191(1)245--248
-
CRCW, 143(2)309--318, 147(1)249--265, 154(2)225--245, 155(2)411--424,
164(1)1--12, 164(1)299--310, 174(1)193--202, 175(2)393--406,
188(1)221--230, 205(1)231--242
-
CRCW-PRAM, 137(2)269--278
-
creation, 149(1)49--66
-
Creignou, Nadia, 145(1)111--145
-
Creignou:1995:CPL, 145(1)111--145
-
Crescenzi, P., 150(1)1--55, 203(1)51--67, 205(1)261--282
-
Crescenzi, P., see Andreev, A. E.,
see Ausiello, G.
-
Crescenzi, Pierluigi, 143(1)159--165, 225(1)65--79
-
Crescenzi:1995:RSS, 143(1)159--165
-
Crescenzi:1998:SUD, 203(1)51--67
-
Crescenzi:1999:MNC, 225(1)65--79
-
Cresti, Antonella, 165(2)407--440, 209(1)87--105
-
Cresti, Antonella, see Blundo, Carlo,
see Béguin, Philippe
-
CREW, 147(1)249--265, 164(1)1--12, 168(1)121--154, 169(1)67--80,
180(1)169--180, 181(2)267--287
-
CREW-PRAM, 140(2)291--300
-
criteria, 142(2)141--177, 161(1)235--261
-
criterion, 197(1)245--z--1, 224(1)115--134
-
critical, 141(1)311--328, 142(2)141--177, 154(2)329--348,
159(2)143--190, 175(1)159--181, 175(2)271--282, 192(1)3--29
-
Crochemore, Maxime, 218(1)197--203
-
Crochemore-Perrin, 158(1)177--192
-
Crochemore:1999:CSS, 218(1)197--203
-
cross-closed, 157(2)215--225
-
crossbar, 162(2)245--281, 196(1)181--200
-
crossed, 183(1)33--44
-
Crossley, John N., 185(2)217--235
-
Crossley, John N., see Albrecht, David
-
crowding, 229(1)177--197
-
crowns, 175(2)337--347
-
Crutchfield, James P., 229(1)41--102
-
Crutchfield, James P., see Nimwegen, Erik van
-
cryptographic, 181(2)317--335, 226(1)117--142
-
cryptography, 154(2)283--306, 165(2)407--440, 181(2)317--335
-
cryptosystem, 226(1)19--27, 226(1)143--172
-
CSL, 184(1)195--236
-
CSL/sup, 184(1)195--236
-
CSP, 138(2)243--271, 138(2)273--314, 138(2)315--352, 177(2)329--349,
179(1)333--351, 211(1)85--127
-
C+SQL, 149(1)101--128
-
Csuhaj-Varjú, Erzsébet, 209(1)213--224, 215(1)349--358
-
Csuhaj-Varju:1998:TBE, 209(1)213--224
-
Csuhaj-Varju:1999:CCC, 215(1)349--358
-
c/t/, 175(1)75--92
-
CTL, 183(2)229--251, 194(1)246--z--2
-
ctPX, 197(1)244--z--1
-
cube, 152(2)305--320, 173(2)349--391, 196(1)109--130, 225(1)171--176
-
cube-connected-cycles, 162(2)283--296
-
cubic, 145(1)111--145, 145(1)147--157, 148(1)111--119, 226(1)19--27
-
Cucker, Felipe, 161(1)301--306
-
Cucker:1996:GKP, 161(1)301--306
-
cumulative, 150(2)339--z, 177(1)155--182, 213(1)529--659
-
cumulativity, 155(2)365--410
-
Curry, 194(1)240--z--1
-
Curry--Howard, 177(1)27--58, 185(2)217--235, 197(1)242--z--3
-
Curry-style, 155(1)265--266, 192(2)201--231
-
currying, 196(1)71--107
-
curve, 143(2)189--249, 145(1)241--270, 157(1)115--127, 165(2)325--354,
178(1)225--236, 181(1)3--15, 226(1)7--18, 226(1)19--27
-
Cusick, Thomas W., 226(1)29--36
-
Cusick:1999:ARC, 226(1)29--36
-
customer, 155(1)141--156
-
cut, 157(2)215--225, 160(1)241--270, 176(1)235--282, 177(1)155--182,
181(2)267--287
-
cut-elimination, 197(1)246--z--2, 197(1)248--z, 227(1)333--396
-
cut-free, 170(1)129--144
-
cuts;, T-, 157(2)215--225
-
cycle, 143(1)1--21, 143(2)189--249, 168(1)121--154, 172(1)121--134,
174(1)217--230, 191(1)245--248, 194(1)241--z--1, 204(1)233--248
-
cycle, single-, 196(1)201--214
-
cycle-free, 175(2)337--347
-
cycles, cube-connected-, 162(2)283--296
-
cyclic, 164(1)223--252, 175(1)93--125, 194(1)244--z--2, 197(1)242--z--1,
197(1)245--246, 197(1)245--z, 197(1)246--z--1, 201(1)275--279
-
cyclic, left-, 146(1)69--108
-
cylinders, 154(2)349--366
-
cylindrical, 164(1)29--40
-
CyLL, 197(1)242--z--1
-
Czech, Zbigniew J., 182(1)1--143
-
Czech:1997:PH, 182(1)1--143
-
Czumaj, Artur, 154(1)3--22
-
Czumaj:1996:GPN, 154(1)3--22