Index file section C for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
C
-
C, 104(2)299--312
-
c-expressions, 107(2)209--252
-
C-MOS, 90(1)235--251
-
c-systems, 71(3)281--346
-
C1100, 123(1)55--60, 134(2)403--413
-
C1110, 71(3)347--380, 72(2)119--131, 74(3)273--298, 84(2)225--250,
84(2)251--264, 87(1)1--24, 89(2)207--343, 93(2)327--331,
98(1)79--97, 98(1)99--114, 98(1)115--133, 98(1)137--161, 98(1)z--z,
108(1)3--16, 108(1)17--24, 112(2)187--214, 112(2)311--337,
112(2)371--382, 120(1)101--121, 123(2)239--258, 123(2)259--272,
129(2)337--367, 134(1)3--11, 134(1)131--173, 134(1)189--208,
134(1)209--223
-
C1120, 71(3)381--400
-
C1130, 79(1)163--177
-
C1140, 117(1)99--112, 123(1)139--144, 128(1)211--239
-
C1140C, 98(2)339--346, 106(2)243--264, 125(1)111--130, 125(1)149--165
-
C1140E, 91(1)119--128, 92(2)291--300, 95(1)115--142, 96(2)361--388,
96(2)389--403, 98(1)137--161, 98(2)263--287, 98(2)339--346,
106(2)309--326, 106(2)351--360, 108(2)311--329, 110(1)169--196,
110(1)197--214, 110(1)215--245, 112(2)355--369, 112(2)371--382,
119(2)311--321, 119(2)323--329, 123(1)3--7, 123(2)183--197,
124(2)273--295, 128(1)179--210, 129(2)385--396, 130(1)85--99,
130(1)101--123, 131(2)415--429, 131(2)431--439, 132(1)337--345,
132(1)347--375, 136(2)527--532
-
C1140G, 123(1)131--137
-
C1140Z, 74(2)183--197, 92(2)249--268, 108(2)291--310, 112(2)383--390,
129(2)279--291, 129(2)407--417
-
C1180, 84(1)77--105, 92(1)49--76, 92(1)181--189, 94(2)175--197,
97(1)105--130, 97(1)175--181, 99(1)157--176, 102(1)185--205,
102(2)253--281, 106(2)361--371, 107(1)145--163, 110(1)215--245,
123(1)9--19, 125(1)17--43, 128(1)179--210, 129(2)323--336,
130(1)73--84, 132(1)347--375, 133(1)85--94, 133(1)105--140,
134(2)263--285
-
C1210, 98(1)137--161, 130(1)17--47
-
C1220, 103(2)409--420
-
C1230, 73(2)155--175, 75(1)85--110, 76(2)309--322, 80(2)125--151,
80(2)337--345, 81(2)223--235, 83(1)97--130, 83(2)287--300,
86(1)3--33, 86(1)35--79, 86(1)81--92, 86(1)93--106, 86(1)107--139,
86(1)z--z, 87(1)43--80, 87(1)115--142, 87(1)221--228, 89(1)63--106,
89(1)137--159, 90(2)433--456, 93(1)159--167, 93(2)245--264,
95(1)75--95, 95(1)97--113, 95(1)115--142, 96(1)35--72,
104(1)109--128, 104(2)207--233, 105(1)7--25, 105(1)27--56,
107(2)277--303, 107(2)305--332, 110(1)131--144, 113(2)349--370,
113(2)371--375, 114(2)231--245, 119(1)23--38, 119(1)z--z,
119(2)363--371, 120(1)1--44, 120(1)157--168, 122(1)97--117,
122(1)225--262, 122(1)263--283, 124(1)127--148, 127(2)351--386,
129(2)337--367, 130(2)239--319, 131(1)1--28, 131(1)121--138,
131(1)181--195, 131(1)197--218, 133(2)205--265, 133(2)307--340,
133(2)387--419, 134(2)545--557, 135(1)67--110, 135(1)111--137
-
C1230D, 131(2)331--360, 132(1)113--128, 134(1)51--61
-
C1240, 86(2)377--389, 95(1)97--113, 96(1)35--72, 100(1)157--184,
119(2)363--371, 127(2)351--386, 133(2)387--419
-
C1250, 92(1)19--31, 92(1)33--47, 92(1)77--86, 92(1)107--117,
92(1)145--164, 92(1)165--179, 92(1)191--211, 92(1)z--z,
106(1)21--60, 107(2)349--356, 112(1)53--97, 129(2)337--367,
132(1)403--414, 136(2)387--417
-
C1260, 84(1)53--76, 86(2)365--375, 92(1)213--221, 94(2)215--221,
94(2)295--310, 102(2)253--281, 108(2)251--270
-
C1290, 88(1)127--138, 125(2)345--353, 127(2)255--267
-
C1290F, 130(1)5--16
-
C1290Z, 100(1)105--135, 130(1)17--47
-
C1320, 106(2)243--264
-
C4100, 123(1)89--94
-
C4110, 133(1)65--84
-
C4130, 74(1)19--35, 79(1)151--162, 79(1)195--207, 79(1)227--239,
81(1)77--95, 84(2)151--164, 88(2)313--324, 92(2)269--289,
93(1)91--113, 94(2)175--197, 100(1)243--251, 102(2)283--305,
106(2)265--281, 117(1)113--130, 123(1)95--115, 125(2)295--313,
125(2)345--353, 125(2)355--360, 127(2)269--286, 130(1)5--16,
133(1)65--84, 133(1)105--140, 133(1)141--164, 133(1)165--185
-
C4140, 74(3)329--340, 79(1)257--261, 82(1)85--93, 82(1)113--129,
88(1)127--138, 98(1)115--133, 102(2)307--328, 108(2)271--290,
112(2)371--382, 127(1)99--121, 131(2)475--477, 134(2)455--471
-
C4150, 71(3)381--400, 121(1)411--440, 123(2)397--406
-
C4170, 79(1)179--193, 133(1)23--33
-
C4190, 74(1)95--114, 74(3)253--271, 123(2)291--314, 125(2)329--337
-
C4200, 77(3)321--330, 92(1)77--86, 102(1)1--134
-
C4210L, 134(2)311--328, 134(2)365--385, 134(2)529--536, 134(2)537--544,
134(2)545--557, 135(2)171--220, 135(2)267--288, 135(2)345--359,
136(1)21--56, 136(1)57--78, 136(1)79--107, 136(1)109--123,
136(1)125--162, 136(1)163--181, 136(1)183--216, 136(1)243--275,
136(1)277--289, 136(2)333--360, 136(2)361--385, 136(2)471--485,
136(2)487--506, 141(1)329--330
-
C4230, 81(2)237--256, 81(2)257--268, 86(2)343--364, 88(1)1--14,
97(2)285--300, 102(2)307--328, 106(2)385--390, 125(2)373--383,
128(1)31--62, 128(1)63--74, 132(1)37--70
-
C4230B, 73(1)61--79, 78(2)357--362, 90(1)235--251, 135(2)405--422
-
C4230M, 102(2)329--354, 102(2)355--365, 104(2)285--298, 120(2)261--278,
125(1)61--90, 130(1)49--72, 130(1)175--201
-
C4240C, 134(2)263--285, 134(2)287--309, 134(2)387--401, 134(2)403--413,
134(2)415--426, 134(2)427--453, 134(2)473--491, 134(2)493--528,
134(2)529--536, 134(2)545--557, 134(2)559--565, 135(1)139--153,
135(1)155--169, 135(1)z--z, 135(2)361--376, 136(2)387--417,
136(2)419--469, 136(2)487--506, 136(2)507--526
-
C4240P, 88(1)59--82, 88(2)191--229, 90(1)127--149, 90(1)151--170,
90(1)171--184, 90(1)185--198, 91(1)1--21, 91(2)129--179,
91(2)205--238, 91(2)239--264, 92(1)3--17, 92(1)19--31, 92(1)33--47,
92(1)87--105, 92(1)107--117, 92(1)145--164, 92(1)165--179,
92(1)191--211, 92(1)z--z, 92(2)301--307, 92(2)309--318,
92(2)319--336, 93(2)169--183, 93(2)245--264, 94(1)141--158,
94(2)237--259, 94(2)335--356, 95(1)169--185, 95(2)207--229,
95(2)231--244, 95(2)245--261, 95(2)323--337, 96(1)157--174,
96(1)217--248, 96(2)305--324, 96(2)345--360, 96(2)411--419,
97(1)1--66, 97(1)67--81, 97(1)105--130, 97(1)131--142,
98(2)249--262, 98(2)263--287, 99(2)279--290, 99(2)335--344,
100(1)1--44, 100(1)45--66, 100(1)105--135, 100(1)157--184,
100(1)185--204, 100(1)205--221, 100(1)253--265, 100(2)365--383,
101(1)133--141, 101(2)177--221, 101(2)289--335, 101(2)337--359,
102(1)1--134, 102(1)135--163, 102(1)165--183, 102(1)185--205,
102(2)355--365, 104(2)207--233, 104(2)285--298, 106(2)361--371,
107(1)77--94, 108(2)291--310, 108(2)331--344, 112(1)5--52,
114(1)31--61, 114(1)63--91, 114(1)119--147, 114(1)173--200,
114(1)z--z, 120(2)261--278, 120(2)303--310, 125(1)3--16,
125(2)373--383, 127(1)53--67, 127(1)99--121, 127(1)123--147,
127(1)181--186, 128(1)75--97, 129(2)293--307, 130(1)49--72,
130(1)175--201, 131(1)139--179, 132(1)403--414, 134(2)493--528,
135(1)5--9, 135(2)171--220, 135(2)289--318, 135(2)377--404,
136(2)527--532
-
C4250, 72(1)3--26, 72(2)97--117, 73(2)213--230, 76(1)3--51, 76(1)53--91,
76(1)93--114, 76(1)115--142, 77(3)291--308, 78(1)3--83,
78(1)85--112, 78(1)113--136, 78(1)137--158, 78(1)159--187,
78(1)189--216, 78(1)217--244, 78(1)245--259, 78(1)z--z,
78(2)377--381, 81(1)117--126, 81(2)295--304, 82(2)303--327,
87(2)263--286, 91(1)23--55, 93(1)115--141, 100(2)347--364,
110(2)405--418, 116(1)33--57, 116(1)59--94, 116(1)95--116,
116(1)117--149, 116(1)151--194, 116(1)195--226, 123(1)31--53,
129(2)397--406, 130(1)101--123, 131(2)375--414, 134(2)287--309,
136(1)3--20, 136(1)79--107
-
C4260, 88(2)231--251, 92(2)319--336, 94(2)295--310, 98(2)263--287,
103(1)107--135, 106(2)265--281, 112(2)215--253, 112(2)339--354,
115(2)291--319, 115(2)351--357, 116(2)291--303, 116(2)359--371,
116(2)373--398, 117(1)153--167, 117(1)187--198, 117(1)203--215,
119(2)331--343, 123(1)151--165, 123(1)z--z, 127(1)187--198,
129(2)263--278, 129(2)369--383, 130(1)125--138, 130(1)139--161,
130(1)163--174, 131(2)361--374, 134(2)415--426
-
C4290, 77(1)73--95, 77(1)195--219, 84(1)77--105, 84(1)127--150,
86(2)205--232, 130(1)17--47
-
C5120, 93(2)303--319, 95(2)207--229, 97(2)285--300
-
C5210, 84(2)225--250, 85(1)155--170, 86(2)343--364
-
C5220, 71(1)47--77, 120(2)215--227
-
C5220P, 116(2)317--337, 125(1)61--90, 128(1)127--157, 128(1)241--252
-
C5230, 95(2)207--229, 129(2)407--417
-
C5280, 74(2)163--181
-
C5310, 130(1)85--99
-
C5320G, 71(1)3--28, 128(1)3--30, 128(1)211--239
-
C5440, 81(2)237--256, 96(1)217--248, 125(1)91--109, 128(1)3--30,
128(1)31--62, 128(1)75--97, 128(1)179--210, 128(1)211--239,
128(1)241--252, 130(1)49--72
-
C5470, 125(1)61--90, 125(1)91--109, 125(1)111--130, 128(1)127--157,
128(1)159--177, 128(1)179--210, 128(1)241--252
-
C5600, 100(1)223--241
-
C5620, 84(1)23--52, 91(1)57--69, 100(1)223--241, 108(2)291--310,
125(1)45--59, 125(1)111--130, 125(1)149--165, 125(2)373--383,
127(2)395--402, 128(1)31--62
-
C5640, 95(1)169--185, 108(2)291--310, 125(1)17--43, 128(1)63--74,
129(1)1--38, 132(1)291--317
-
C5670, 125(1)61--90, 125(1)149--165
-
C6110, 71(1)155--174, 71(2)193--208, 73(2)121--154, 76(1)143--177,
85(2)213--229, 85(2)231--251, 90(1)17--36, 90(1)37--46,
102(1)135--163, 122(1)201--223, 124(1)127--148, 125(1)131--147
-
C6110B, 70(1)159--178, 77(1)27--71, 77(1)97--129, 77(1)z--z,
79(2)323--339, 80(1)1--34, 88(1)15--32, 89(1)179--206, 90(1)1--15,
91(2)239--264, 94(1)1--35, 94(2)237--259, 94(2)311--334,
96(1)249--283, 96(2)285--304, 97(1)1--66, 100(2)365--383,
102(1)165--183, 103(2)191--204, 104(1)53--87, 104(1)89--107,
104(1)129--159, 106(1)3--20, 113(1)93--117, 113(2)259--272,
113(2)293--348, 114(1)3--30, 118(2)263--299, 119(1)173--185,
119(1)215--222, 122(1)137--164, 124(1)149--168, 128(1)99--125,
128(1)127--157, 131(1)219--241, 133(2)307--340, 133(2)341--359
-
C6110F, 135(2)319--343, 135(2)345--359
-
C6110J, 96(1)73--155, 104(1)89--107, 121(1)113--143
-
C6110L, 93(2)245--264, 94(1)63--69, 94(2)281--294, 95(1)43--74,
95(1)97--113, 99(1)65--78, 103(1)51--106, 103(2)205--234,
103(2)365--386, 104(1)3--28, 104(1)109--128, 105(1)7--25,
105(1)27--56, 105(1)57--84, 105(1)85--128, 105(1)141--166,
107(2)209--252, 107(2)277--303, 109(1)7--48, 109(1)225--256,
113(1)3--34, 118(2)99--166, 118(2)263--299, 119(1)23--38,
119(1)39--62, 119(1)63--102, 120(1)45--68, 120(1)83--99,
122(1)3--47, 122(1)49--68, 122(1)69--96, 122(1)97--117,
122(1)225--262, 122(1)263--283, 124(1)71--91, 124(1)93--125,
124(2)297--328, 129(1)143--166, 131(1)95--120, 133(2)205--265,
135(1)67--110, 135(1)139--153, 136(1)277--289
-
C6110P, 91(2)129--179, 91(2)181--203, 94(2)311--334, 96(1)73--155,
105(1)85--128, 112(1)5--52, 119(1)223--232, 119(1)z--z,
120(1)123--155, 122(1)137--164, 124(1)41--70, 128(1)3--30,
131(1)139--179
-
C6115, 73(2)213--230, 117(1)131--136
-
C6120, 71(3)419--424, 72(2)97--117, 72(2)147--167, 75(3)223--262,
76(1)53--91, 77(1)161--194, 79(2)275--294, 83(2)275--285,
84(1)107--126, 85(1)97--116, 87(1)115--142, 87(1)143--162,
91(2)239--264, 91(2)285--313, 92(1)191--211, 93(2)201--225,
94(1)1--35, 95(2)245--261, 96(1)249--283, 100(2)267--302,
101(2)177--221, 103(2)335--363, 104(1)89--107, 104(1)129--159,
106(1)21--60, 106(2)391--393, 107(1)121--133, 108(2)345--356,
109(1)257--274, 111(1)191--210, 112(1)99--143, 112(2)339--354,
113(1)35--54, 113(2)273--291, 116(1)59--94, 116(2)227--290,
116(2)359--371, 117(1)131--136, 117(1)303--313, 118(1)21--48,
118(1)81--98, 119(2)233--245, 119(2)331--343, 119(2)355--361,
120(1)101--121, 121(1)113--143, 122(1)263--283, 123(1)9--19,
124(1)93--125, 124(1)127--148, 124(1)149--168, 125(2)259--293,
127(2)387--393, 128(1)3--30, 129(2)397--406, 130(1)85--99,
130(1)139--161, 131(1)29--94, 131(2)295--310, 132(1)151--178,
132(1)377--385, 134(2)473--491, 136(1)79--107, 136(1)109--123
-
C6130, 74(2)183--197, 74(3)341--354, 76(2)331--341, 79(1)37--109,
79(1)111--135, 79(1)163--177, 79(1)195--207, 79(1)241--256,
80(2)319--335, 82(1)157--163, 83(2)275--285, 84(2)265--279,
85(1)97--116, 88(1)83--98, 92(1)19--31, 92(1)33--47, 103(1)137--141,
104(1)89--107, 108(2)371--384, 117(1)303--313, 118(1)81--98,
119(2)355--361, 123(1)117--130, 124(1)71--91, 125(2)259--293,
127(1)181--186, 129(2)293--307, 130(1)101--123, 131(1)1--28,
134(2)559--565
-
C6130B, 116(2)373--398
-
C6130D, 120(2)197--213
-
C6130S, 106(2)373--383, 116(2)339--357, 120(2)293--301, 125(1)131--147,
132(1)291--317
-
C6140, 75(3)289--309, 79(2)357--358, 103(2)235--271, 103(2)311--334,
118(2)231--262, 118(2)263--299, 121(1)179--186, 121(1)187--277,
122(1)201--223
-
C6140D, 71(1)155--174, 71(2)193--208, 73(2)177--211, 73(2)213--230,
75(1)15--43, 75(1)45--66, 75(1)67--83, 77(1)195--219, 80(2)319--335,
81(2)201--221, 82(2)373--388, 85(1)75--95, 89(1)179--206,
94(1)125--140, 95(1)43--74, 100(1)157--184, 101(2)289--335,
105(1)85--128, 116(1)59--94, 116(1)95--116, 131(1)139--179,
134(1)119--130, 135(1)67--110, 136(1)277--289
-
C6150C, 71(2)177--191, 71(2)193--208, 71(2)209--226, 71(2)227--239,
71(2)z--z, 73(2)231--248, 80(1)105--115, 80(2)303--318,
90(2)271--308, 104(2)299--312, 122(1)165--200, 128(1)99--125
-
C6150G, 80(2)319--335, 94(1)141--158, 94(2)237--259, 96(1)157--174,
103(2)205--234, 105(1)129--140, 107(2)305--332, 118(2)99--166,
119(1)23--38, 119(1)173--185, 119(1)z--z, 120(1)69--81,
120(1)83--99, 120(1)123--155, 125(1)131--147, 128(1)99--125,
131(1)95--120
-
C6150J, 74(2)199--216, 75(1)15--43, 94(1)125--140, 95(1)1--42,
96(1)3--33, 96(1)175--215, 96(1)z--z, 113(2)231--258,
128(1)211--239, 130(1)17--47, 133(2)341--359
-
C6150N, 89(1)179--206, 125(1)17--43, 128(1)127--157, 128(1)159--177,
130(1)5--16, 130(1)17--47, 130(1)49--72, 130(1)73--84,
130(1)175--201
-
C6160, 76(1)93--114, 76(1)115--142, 76(1)143--177, 133(2)421--442
-
C6160B, 133(2)341--359
-
C6160D, 73(2)213--230, 76(1)3--51, 91(1)23--55, 95(1)1--42,
116(1)195--226, 119(1)187--214, 131(2)375--414, 133(2)361--385,
133(2)387--419
-
C6160J, 116(1)59--94, 133(2)205--265, 133(2)361--385, 134(2)287--309
-
C6160K, 93(1)115--141, 110(2)377--403, 116(1)95--116, 116(1)117--149,
116(1)151--194, 133(2)267--306
-
C6160S, 133(2)361--385
-
C6160Z, 78(1)3--83
-
C6170, 93(1)115--141, 116(1)95--116, 122(1)225--262, 122(1)263--283,
131(1)1--28, 131(1)121--138, 131(1)181--195, 131(1)197--218,
133(2)267--306, 133(2)361--385
-
C6180N, 104(2)299--312
-
C7250, 133(2)421--442
-
C7310, 79(1)195--207, 79(1)209--226, 79(1)241--256, 110(1)169--196,
117(1)131--136, 123(1)61--87, 131(1)1--28
-
C7320, 92(1)3--17
-
C7410D, 99(2)213--230
-
C7430, 128(1)3--30
-
CAAP, 72(2)z--z
-
cache, 128(1)211--239
-
cacti, 84(2)179--197
-
CAD, 99(2)213--230
-
Cai, J., 106(1)21--60
-
Cai, Jin-Yi, 103(1)25--38
-
Cai:1992:GII, 103(1)25--38
-
Cai:1992:MEB, 106(1)21--60
-
calculation, 79(1)241--256, 102(1)185--205
-
calculi, 74(1)37--69, 90(1)151--170, 96(1)217--248, 107(2)349--356,
110(2)249--339, 124(2)195--219, 136(1)125--162
-
calculi, lambda-, 97(1)1--66, 107(2)349--356, 110(2)249--339,
111(1)145--189, 111(1)z--z, 136(1)57--78, 136(1)125--162
-
calculus, lambda-, 70(1)99--126, 70(2)193--211, 71(2)227--239,
87(1)203--208, 89(1)137--159, 93(1)75--89, 96(1)217--248,
100(2)303--324, 102(1)1--134, 110(2)405--418, 121(1)169--178,
121(1)279--308, 121(1)411--440, 126(2)281--292, 129(1)79--94,
136(1)183--216
-
calculus, mu-, 74(2)239--248, 83(1)157--167, 89(1)161--177,
96(1)157--174, 126(1)77--96
-
calculus, nu-, 83(1)157--167
-
calculus, pi-, 114(1)149--171, 135(1)11--65, 135(1)z--z
-
calculus, process-, 135(1)11--65
-
call, 104(2)299--312, 124(1)93--125, 129(1)79--94
-
call-by-name, 83(1)57--69, 129(1)79--94
-
call-consistency, 105(1)7--25
-
call-consistent, 105(1)57--84
-
called, 120(2)197--213
-
Calude, C., 82(1)151--155, 87(2)347--352
-
Calude, Cristian, 112(2)383--390, 132(1)387--394
-
Calude, Cristian, see Bridges, Douglas
-
Calude:1991:DSS, 82(1)151--155
-
Calude:1991:RTS, 87(2)347--352
-
Calude:1993:NTS, 112(2)383--390
-
Camacho, M.-I., Fernandez-, 74(3)273--298
-
Cameron, Helen, 127(2)199--228
-
Cameron:1994:BAT, 127(2)199--228
-
CAML, 122(1)201--223
-
Campbell-Hausdorf, 79(1)241--256
-
Câmpeanu, Cezar, 112(2)383--390, see Calude, Cristian
-
cancellation, 127(1)149--170
-
cancellative, left-, 92(2)269--289
-
candidates, 136(1)243--275
-
cannot, 83(2)205--218
-
canonical, 70(1)151--158, 75(1)85--110, 81(2)169--187, 92(1)87--105,
92(1)z--z, 98(1)115--133, 99(2)213--230, 110(2)419--432,
111(1)191--210, 114(2)299--315, 119(1)145--171, 129(2)263--278,
129(2)407--417, 131(2)271--294
-
canonically, 129(2)407--417
-
Cantor, 82(1)1--18, 119(2)293--310
-
capability, 85(1)171--203, 92(2)291--300, 99(2)243--264, 127(2)351--386
-
capacities, 75(3)357--363
-
capacity-oriented, 128(1)179--210
-
Capocelli, R. M., 86(2)365--375
-
Capocelli, Renato M., 134(1)63--78
-
Capocelli:1991:DIS, 86(2)365--375
-
Capocelli:1994:FAU, 134(1)63--78
-
capturing, 101(1)35--57, 107(2)333--347
-
card, 110(1)169--196
-
Cardelli, L., 121(1)1--z, 121(1)9--58
-
Cardelli, L., see Abadi, M.
-
cardinality, 74(2)227--237, 76(2)261--271, 84(2)179--197, 85(1)75--95,
92(1)19--31, 124(2)221--272, 125(2)361--371
-
Cardone, F., 83(1)29--56
-
Cardone:1991:RTF, 83(1)29--56
-
Carlier, J., 81(1)65--75
-
Carlier, J., see Dubois, O.
-
Carlo, 123(1)131--137
-
Carlo, Monte-, 123(1)131--137
-
Carlo, quasi-Monte-, 123(1)131--137
-
Caron, Anne-Cécile, 126(1)31--52
-
Caron:1994:DRD, 126(1)31--52
-
Carpi, A., 72(1)39--53
-
Carpi, Arturo, 115(2)243--260
-
Carpi:1990:NRW, 72(1)39--53
-
Carpi:1993:OFW, 115(2)243--260
-
Carrasco, F., Lucio-, 74(1)37--69
-
carrier, 94(1)101--124
-
cartes, 117(1)45--65
-
cartesian, 70(1)65--72, 70(1)159--178, 70(2)193--211, 70(2)233--250,
73(1)101--112, 88(2)231--251, 98(2)263--287, 107(2)169--207,
111(1)89--101, 111(1)145--189, 119(1)103--125, 124(2)195--219,
136(1)109--123, 136(1)125--162
-
cartesian-closed, 111(1)89--101, 118(2)301--314
-
cartesian-closedness, 113(2)273--291
-
Casas, R., 74(3)273--298, 117(1)99--112
-
Casas, Rafael, 113(1)3--34
-
Casas, Rafael, see Albert, Luc
-
Casas:1990:ASC, 74(3)273--298
-
Casas:1993:ACA, 117(1)99--112
-
cascade, 87(2)229--249
-
case, 76(1)3--51, 79(1)37--109, 92(1)165--179, 100(1)137--156,
113(2)371--375, 117(1)99--112, 123(2)351--375, 130(1)5--16,
133(2)307--340, 134(2)365--385
-
case, Average-, 113(1)3--34, 117(1)99--112
-
case, average-, 79(1)37--109, 92(1)165--179, 92(1)z--z,
113(1)3--34, 133(1)105--140
-
case, Worst-, 120(2)197--213
-
case, worst-, 74(3)273--298, 84(1)127--150, 93(2)279--301,
100(1)185--204, 103(2)283--309, 117(1)187--198, 120(2)197--213,
128(1)75--97, 129(2)397--406, 132(1)1--35
-
Caspi, P., 94(1)125--140
-
Caspi:1992:CDL, 94(1)125--140
-
Castellani, I., 114(1)31--61
-
Castellani, I., see Boudol, G.
-
Catalan, 117(1)303--313, 123(1)145--149
-
categorial, 70(1)159--178
-
categorical, 70(1)85--97, 73(1)47--60, 74(2)217--225, 82(2)389--402,
109(1)123--143, 109(1)257--274, 111(1)145--189, 111(1)z--z,
131(1)29--94, 135(2)289--318, 136(1)109--123, 136(1)125--162,
136(1)163--181
-
categories, I-, 115(1)77--106
-
categories, I-, 115(1)77--106
-
category, 70(1)3--34, 70(1)65--72, 70(1)85--97, 70(1)159--178,
70(2)193--211, 70(2)233--250, 73(1)101--112, 77(1)73--95,
77(3)267--289, 79(2)359--363, 91(2)239--264, 102(1)1--134,
107(2)169--207, 109(1)123--143, 111(1)103--123, 111(1)145--189,
111(1)191--210, 111(1)211--252, 111(1)253--290, 111(1)z--z,
115(1)77--106, 118(2)301--314, 119(2)293--310, 123(1)117--130,
132(1)37--70, 135(2)221--266, 135(2)289--318, 136(1)21--56,
136(1)57--78, 136(1)109--123, 136(1)125--162, 136(1)163--181,
136(2)487--506
-
category, D-, 123(1)31--53
-
category, I-, 115(1)77--106
-
category-sorted, 77(1)73--95
-
category-theoretic, 70(2)193--211
-
catenation, sigma-, 76(2)261--271
-
catenative, 83(2)237--248
-
Caucal, D., 106(1)61--86
-
Caucal:1992:RSP, 106(1)61--86
-
Cauchon, G., 98(1)79--97
-
Cauchon:1992:SMN, 98(1)79--97
-
Cauchy, 79(1)163--177, 83(2)219--235, 125(1)61--90
-
causal, 79(1)179--193, 101(2)265--288, 112(1)5--52, 118(1)21--48,
124(1)169--179
-
causality, 71(1)133--153, 96(1)3--33, 96(1)35--72, 101(2)265--288,
112(1)5--52, 123(1)9--19
-
caused, 73(1)101--112
-
Cavedon, L., 86(1)81--92
-
Cavedon:1991:ALP, 86(1)81--92
-
Cayley, 108(1)83--102, 132(1)1--35, 132(1)259--290
-
Cayley--Hamilton, 98(1)115--133
-
Cazanescu, V.-E., 99(1)1--63
-
Cazanescu:1992:GRA, 99(1)1--63
-
CCS, 72(2)203--223, 72(2)z--z, 75(3)223--262, 80(2)263--288,
89(1)161--177, 96(1)217--248, 101(2)265--288, 113(2)231--258,
114(1)31--61, 114(1)119--147, 114(1)z--z, 124(1)169--179,
128(1)159--177
-
C/E, 113(2)231--258
-
Cederbaum, M. E., Majster-, 124(1)1--40
-
Cederbaum, Mila E., Majster-, 135(2)171--220
-
cell, 92(2)319--336, 98(1)65--76, 119(2)345--354
-
cellular, 101(1)59--98, 110(1)53--78, 112(2)399--412, 115(2)321--349,
119(2)345--354, 123(2)199--237, 125(2)243--257, 127(2)229--254,
127(2)313--332, 132(1)113--128, 132(1)179--207, 132(1)259--290,
134(1)51--61, 134(2)387--401, 136(2)291--332
-
centralizing, 134(2)365--385
-
certain, 96(2)305--324, 120(2)311--315
-
certified, 84(1)23--52
-
CFL, 116(2)421--429, 123(2)427--428
-
chain, 81(2)289--294, 103(1)143--159, 119(2)323--329, 123(1)21--30,
129(2)407--417
-
chain-code, 104(2)185--206
-
chaining, 131(1)197--218
-
Chakka, Ram, 125(1)91--109
-
Chakka:1994:HMS, 125(1)91--109
-
Chan, E. P. F., 77(3)291--308
-
Chan, E. P. F., see Atzeni, P.
-
Chan, Edward P. F., 134(2)287--309
-
Chan:1994:TSC, 134(2)287--309
-
Chandra, A. K., 71(1)3--28
-
Chandra, A. K., see Aggarwal, A.
-
Chang, R., 80(2)289--302
-
Chang, R., see Ranjan, D.
-
change, mind-, 84(2)199--223
-
change-making, 123(2)377--388
-
changes, 133(2)205--265
-
changing, parity-, 117(1)91--98
-
channel, 108(2)291--310, 113(1)93--117, 127(2)387--393
-
chaos, 133(1)49--64
-
character, 81(1)97--115, 92(1)165--179, 117(1)289--301
-
characterisation, 70(2)213--232, 96(1)z--z, 100(1)45--66,
100(2)385--417, 114(1)93--118, 118(2)301--314, 128(1)159--177
-
characteristic, 72(1)3--26, 91(2)181--203, 98(1)115--133, 98(1)137--161,
106(2)183--219, 110(1)53--78, 130(1)17--47, 133(2)361--385
-
characteristic-two, 93(2)303--319
-
characterization, 70(2)193--211, 71(3)413--417, 80(2)303--318,
83(2)249--260, 83(2)313--322, 85(1)117--134, 87(2)329--346,
88(1)139--150, 88(2)231--251, 96(1)35--72, 99(2)301--315,
103(1)143--159, 103(2)311--334, 105(1)7--25, 110(2)405--418,
112(2)187--214, 113(2)371--375, 129(2)207--262, 132(1)337--345,
133(1)105--140, 134(2)455--471
-
characterize, 101(2)161--176
-
characterized, 74(2)239--248
-
characterizing, 100(1)45--66, 100(2)347--364, 120(2)197--213
-
CHARM, 122(1)165--200
-
Charretton, Christine, 123(1)9--19
-
Charretton, Christine, see Assous, Marc Roland
-
Charron-Bost, Bernadette, 110(2)341--376
-
Charron-Bost:1993:CCD, 110(2)341--376
-
chase, 77(3)291--308
-
Chaunier, Claude, 123(1)89--94
-
Chaunier:1994:NPI, 123(1)89--94
-
Chazelle, B., 84(1)77--105
-
Chazelle:1991:SES, 84(1)77--105
-
cheapest, 134(1)225--251
-
cheatable, 73(3)249--263
-
check, 71(1)155--174, 86(1)35--79, 94(1)63--69, 104(1)3--28
-
check, occur-, 113(1)3--34
-
checker, 89(1)161--177
-
checker, type-, 73(2)155--175
-
checking, 81(2)305--310, 82(2)341--372, 83(1)157--167, 86(1)35--79,
86(1)z--z, 89(1)107--136, 89(1)161--177, 96(1)157--174, 96(1)z--z,
103(2)191--204, 126(1)3--30, 136(1)125--162
-
checking, model-, 83(1)157--167
-
chemical, 96(1)217--248, 96(1)z--z, 111(1)3--57
-
chemins, 117(1)203--215
-
Chemistry, 92(1)3--17
-
Chen, Cheng-Chia, 129(1)95--121
-
Chen, Gen-Huey H., 120(2)215--227
-
Chen, Jian-er, 73(3)265--278
-
Chen, Pengyuan, 125(2)373--383
-
Chen, William Y. C., 117(1)113--130
-
Chen:1990:DBO, 73(3)265--278
-
Chen:1993:CFG, 117(1)113--130
-
Chen:1993:DAR, 120(2)215--227
-
Chen:1994:CCC, 125(2)373--383
-
Chen:1994:CCS, 129(1)95--121
-
Cherkasova, L. A., 90(1)151--170
-
Cherkasova:1991:ACN, 90(1)151--170
-
Chern, 117(1)289--301
-
Cherubini, A., 85(1)171--203
-
Cherubini:1991:QFA, 85(1)171--203
-
Chervonenkis, Vapnik-, 86(2)377--389
-
Chesnot, J., Cohen-, 83(2)301--312
-
Cheung, To-Yat, 81(2)295--304
-
Cheung:1991:RDT, 81(2)295--304
-
chimes, 80(1)105--115
-
chip, 92(2)291--300, 112(2)355--369, 136(2)527--532
-
Chiricota, Yves, 117(1)131--136
-
Chiricota:1993:RSE, 117(1)131--136
-
Cho, Jung Wan, 103(2)283--309
-
Cho, Jung Wan, see Kim, Byeong Man
-
Cho, Sang, 88(1)99--116
-
Cho:1991:FAA, 88(1)99--116
-
Choffrut, C., 98(1)5--13, 103(1)1--z, 113(1)1--z
-
Choffrut:1992:E, 103(1)1--z
-
Choffrut:1992:RRR, 98(1)5--13
-
Choffrut:1993:E, 113(1)1--z
-
Choi, Seul Hee, 117(1)137--151
-
Choi:1993:EGY, 117(1)137--151
-
choice, 99(1)105--119, 101(2)161--176, 102(1)185--205, 103(2)395--408,
122(1)137--164, 124(2)273--295, 129(2)385--396, 133(2)341--359
-
choice, free-, 114(1)93--118
-
Chomsky, 95(1)97--113, 96(2)325--344, 106(2)283--308, 120(2)293--301
-
chosen, 118(1)81--98
-
Chrobak, M., 71(3)419--424, 86(2)243--266, 98(2)339--346
-
Chrobak, Marek, 136(2)507--526
-
Chrobak:1990:DSU, 71(3)419--424
-
Chrobak:1991:POL, 86(2)243--266
-
Chrobak:1992:HCT, 98(2)339--346
-
Chrobak:1994:TRL, 136(2)507--526
-
church, 121(1)89--112, 135(2)423--431
-
Church--Rosser, 77(3)267--289, 79(2)365--371, 82(2)389--402,
90(2)369--390, 93(1)75--89, 94(1)1--35, 103(2)235--271,
110(2)419--432, 122(1)201--223
-
church-Rosser, 93(1)75--89
-
Chwa, Kyung-Yong, 124(2)329--342
-
Chwa, Kyung-Yong, see Park, Jung-Heum
-
Chytil, M., 81(2)311--316
-
Chytil:1991:PRU, 81(2)311--316
-
Cialdea, M., 85(2)213--229
-
Cialdea:1991:RSF, 85(2)213--229
-
Ciancaglini, M., Dezani-, 100(2)303--324
-
Cin, Mario Dal, 128(1)179--210
-
Cin, Mario Dal, see Meer, Hermann de
-
circuit, 78(2)357--362, 79(1)25--35, 81(2)257--268, 82(1)85--93,
82(1)157--163, 84(2)225--250, 85(1)155--170, 86(2)343--364,
90(1)235--251, 93(2)185--199, 93(2)303--319, 95(2)207--229,
97(2)285--300, 98(2)289--319, 99(2)213--230, 100(1)253--265,
101(1)133--141, 102(2)215--252, 102(2)307--328, 107(1)77--94,
107(1)95--120, 107(1)121--133, 112(2)291--309, 113(1)167--183,
116(2)415--419, 123(2)389--395, 125(2)295--313, 130(1)203--236,
132(1)347--375
-
circuit-size, 107(1)95--120
-
circuit-switching, 125(1)61--90
-
circuit-value, 130(1)203--236
-
circular, 92(1)87--105, 92(1)z--z, 102(2)253--281, 129(2)293--307
-
circularity, 134(2)365--385
-
circumscription, 107(2)277--303, 114(2)231--245, 118(2)315--315
-
Citrini, C., 85(1)171--203
-
Citrini, C., see Cherubini, A.
-
CL, 129(1)95--121
-
clairvoyant, 130(1)17--47
-
clans, 70(3)277--303, 129(2)207--262
-
classes, mod-, 74(3)325--328
-
classical, 73(2)155--175, 92(1)3--17, 94(2)295--310, 94(2)373--393,
99(2)177--211, 102(1)207--214, 105(1)141--166, 113(2)349--370,
114(2)317--330, 115(1)63--75, 123(1)61--87, 123(2)291--314,
123(2)341--349, 129(1)79--94, 134(2)329--363, 135(1)11--65,
135(1)155--169
-
classification, 72(1)3--26, 81(1)1--15, 86(2)143--203, 93(1)1--41,
102(2)329--354, 117(1)45--65, 127(1)69--98
-
classifiers, 136(1)109--123
-
clause, 74(2)227--237, 75(1)67--83, 75(1)z--z, 76(2)309--322,
78(1)245--259, 89(1)63--106, 95(1)43--74, 97(1)143--156,
101(2)239--263, 105(1)85--128, 119(1)39--62, 120(1)1--44,
120(1)45--68, 122(1)69--96, 124(2)343--350, 129(1)95--121,
129(1)143--166, 136(1)277--289
-
clause, Horn-, 76(1)3--51
-
Clausen, Christian, 136(1)243--275
-
Clausen, Christian, see Blaaberg, Bettina
-
Clausen, M., 84(2)151--164
-
Clausen:1991:ZTI, 84(2)151--164
-
Clerbout, M., 103(1)39--49, 123(2)259--272
-
Clerbout:1992:SAL, 103(1)39--49
-
Clerbout:1994:AS, 123(2)259--272
-
clever, 98(2)347--356
-
clique, 91(1)1--21, 134(1)209--223
-
clique-polynomial, 78(2)319--346
-
clock, 94(1)125--140, 95(1)75--95, 126(2)183--235, 128(1)3--30
-
closed, 70(1)65--72, 70(1)159--178, 70(2)193--211, 70(2)233--250,
73(1)101--112, 74(3)325--328, 76(2)243--250, 86(1)35--79,
111(1)145--189, 115(1)3--41, 115(2)321--349, 121(1)71--88,
122(1)49--68, 125(1)61--90, 125(1)149--165, 132(1)347--375,
133(1)95--104, 136(1)109--123, 136(1)125--162
-
closed, cartesian-, 111(1)89--101, 118(2)301--314
-
closed-form, 72(2)119--131, 116(1)117--149, 128(1)211--239
-
closed-world, 114(2)231--245, 118(2)315--315
-
closedness, cartesian-, 113(2)273--291
-
closing, 80(2)153--202
-
closure, 70(2)251--260, 73(2)213--230, 76(2)261--271, 76(2)273--284,
78(2)377--381, 80(1)53--75, 81(1)117--126, 82(2)215--252,
82(2)389--402, 83(2)249--260, 85(1)171--203, 86(2)233--241,
88(2)191--229, 88(2)287--296, 91(1)71--84, 93(1)43--74,
93(2)227--244, 93(2)321--325, 96(2)285--304, 97(2)217--231,
100(1)157--184, 103(1)3--23, 108(2)185--236, 111(1)89--101,
116(1)95--116, 117(1)z--z, 120(2)293--301, 125(2)167--204,
125(2)243--257, 126(2)183--235, 127(1)25--51, 127(1)149--170,
127(2)287--312, 132(1)243--258, 134(2)329--363
-
cluster, 97(1)131--142
-
cms-based, 124(1)1--40
-
CNF-SAT, 97(1)105--130
-
co-induction, 124(2)195--219
-
co-NEXP, 83(2)337--343
-
co-nondeterministic, 106(2)351--360
-
co-NP, 134(2)545--557
-
co-NP-complete, 123(2)377--388
-
co-reducibility, 106(1)87--117
-
co-sparse, 81(2)189--199
-
coalgebras, 111(1)145--189, 114(2)299--315, 124(1)189--192
-
coarsest, 114(1)173--200, 129(2)293--307
-
Cocco, N., 124(2)297--328
-
Cocco, N., see Bossi, A.
-
cocircularity, 77(3)331--343
-
cocomputability, 97(1)175--181
-
Codd-table, 78(1)159--187
-
code, 71(2)177--191, 72(1)55--64, 73(2)177--211, 74(3)341--354,
80(1)105--115, 81(2)289--294, 83(2)301--312, 84(1)53--76,
84(2)179--197, 84(2)265--279, 86(2)365--375, 88(1)83--98,
90(1)17--36, 92(1)145--164, 92(1)213--221, 94(2)215--221,
94(2)295--310, 96(2)325--344, 102(2)253--281, 108(1)119--149,
108(1)173--183, 108(1)z--z, 108(2)251--270, 117(1)255--272,
125(2)259--293, 129(2)407--417, 132(1)291--317, 134(1)3--11,
134(1)63--78, 134(1)107--117, 134(1)175--188, 134(1)189--208,
134(1)z--z, 136(2)471--485
-
code, chain-, 104(2)185--206
-
code, n-, 96(2)325--344
-
Codenotti, B., 127(1)99--121
-
Codenotti:1994:OCP, 127(1)99--121
-
codes, z-, 108(2)251--270
-
coding, 87(1)25--41, 94(2)295--310, 103(2)387--394, 117(1)67--89,
121(1)59--69, 134(2)403--413
-
Codish, Michael, 124(1)93--125
-
Codish:1994:BAI, 124(1)93--125
-
coefficient, 86(2)143--203, 94(2)223--236, 98(1)5--13, 98(1)41--50,
106(2)183--219, 110(2)341--376, 123(2)351--375, 133(1)23--33
-
coercion, 77(1)73--95, 136(1)79--107
-
Coexistence, 123(1)167--181
-
Coffman, Jr., E. G., 125(1)3--16
-
Coffman:1994:PMP, 125(1)3--16
-
cognitive, 96(1)35--72
-
Cohen-Chesnot, J., 83(2)301--312
-
Cohen-Chesnot:1991:EPT, 83(2)301--312
-
coherence, 85(2)353--357, 115(1)3--41
-
coherent, 93(1)143--157, 103(2)311--334
-
cohesive, 136(2)471--485
-
coin, 102(2)329--354, 107(1)135--144, 108(2)371--384
-
coin, public-, 113(1)55--73
-
coin, three-, 123(2)377--388
-
coinduction, 87(1)209--220
-
coinductive, 122(1)119--136
-
col, 94(2)261--280
-
collapses, 101(2)337--359
-
collapsing, 101(2)337--359
-
Collatz, 123(2)397--406
-
collecting, 92(1)165--179
-
collection, 116(1)59--94, 131(1)29--94
-
collinearity, 77(3)331--343
-
collision, 108(2)291--310
-
Colloque, 72(2)z--z
-
Colloquium, 72(2)z--z, 108(1)z--z, 134(1)z--z
-
colony, 134(1)119--130
-
colored, 73(1)1--46
-
colored, edge-, 132(1)209--227
-
coloring, 74(3)299--312, 88(1)183--189, 106(2)309--326, 112(2)355--369,
130(1)163--174
-
coloring, 2-, 112(2)355--369
-
coloring, four-, 88(1)183--189
-
coloring, vertex-, 130(1)163--174
-
colors, 74(3)299--312
-
colouring, 71(3)401--411, 74(3)299--312, 88(1)183--189, 99(2)335--344,
106(2)309--326, 112(2)355--369, 130(1)163--174, 132(1)209--227
-
colouring, edge-, 71(3)401--411
-
colours, 129(2)419--424
-
Colson, L., 83(1)57--69
-
Colson:1991:APR, 83(1)57--69
-
column, 98(1)65--76
-
column-convex, 127(1)187--198
-
Combé, M. B., 125(1)17--43
-
Combe:1994:OST, 125(1)17--43
-
combination, 98(1)115--133, 117(1)153--167, 123(1)95--115, 134(1)z--z
-
combinational, 81(1)17--34, 90(1)235--251, 94(2)261--280,
135(2)405--422
-
combinatoire, 94(2)261--280, 117(1)3--22, 117(1)153--167
-
combinator, 87(1)221--228, 94(2)335--356, 114(2)273--298,
121(1)411--440, 121(1)441--448, 136(1)125--162
-
combinator-based, 70(1)99--126
-
combinatoric, 73(1)81--89, 79(1)209--226, 86(2)325--342, 92(2)319--336,
98(1)65--76, 98(1)z--z, 98(2)163--197, 108(1)z--z, 117(1)3--22,
117(1)131--136, 117(1)169--186, 117(1)z--z, 123(1)z--z,
129(2)369--383, 134(1)z--z
-
combinatory, 70(1)99--126, 70(2)193--211, 72(2)119--131, 72(2)z--z,
87(1)221--228, 97(1)157--173, 100(2)303--324, 110(2)419--432,
114(2)273--298, 121(1)279--308, 121(1)441--448, 135(2)405--422
-
Combining, 71(3)347--380, 100(2)365--383
-
coming, backward-, 117(1)39--43
-
comma, 111(1)211--252
-
command, 81(2)289--294, 100(2)365--383
-
comment, 106(2)391--393, 106(2)395--400
-
commit, 75(1)45--66
-
commit, guard-, 75(1)67--83
-
commitability, 81(2)189--199
-
commitment, 81(2)189--199
-
common, 78(2)363--376, 83(2)287--300, 87(1)43--80, 88(1)59--82,
92(1)3--17, 92(1)191--211, 92(1)z--z, 108(2)345--356,
108(2)365--369, 125(1)91--109, 125(2)205--228, 130(1)203--236
-
communicating, 72(2)203--223, 75(1)3--13, 75(3)223--262, 87(1)97--114,
98(2)249--262, 98(2)263--287, 107(2)357--363, 113(1)93--117,
113(2)231--258, 114(1)31--61, 114(1)119--147, 114(1)z--z,
123(2)183--197, 124(1)1--40, 124(1)169--179, 127(1)123--147,
128(1)159--177, 134(2)365--385
-
communication, 71(1)3--28, 80(2)263--288, 87(1)43--80, 97(2)285--300,
100(1)185--204, 100(1)223--241, 101(2)289--335, 106(2)385--390,
110(2)341--376, 120(2)261--278, 124(2)329--342, 125(2)373--383,
127(1)123--147, 127(2)387--393, 127(2)395--402, 128(1)31--62,
128(1)63--74, 132(1)259--290, 135(2)171--220
-
communications, 87(1)43--80, 108(2)291--310, 125(1)111--130,
125(1)149--165, 127(2)395--402
-
commutation, 81(1)147--153, 98(1)99--114, 98(1)z--z
-
commutations, semi-, 72(1)39--53, 108(1)25--43
-
commutative, 73(3)335--340, 74(1)3--18, 74(2)121--162, 78(2)319--346,
83(2)261--273, 86(2)233--241, 92(1)77--86, 92(2)249--268,
92(2)269--289, 96(2)405--410, 97(2)301--311, 98(1)41--50, 98(1)z--z,
99(2)291--299, 104(2)207--233, 108(1)3--16, 115(2)359--369,
117(1)217--226, 117(1)z--z, 120(1)101--121, 126(1)53--75,
131(2)475--477, 134(1)131--173
-
commutative, associative-, 118(2)167--191
-
commutative, non-, 79(1)111--135, 134(1)131--173
-
commutativity, 98(1)27--39, 101(2)337--359, 104(1)29--51, 112(1)53--97,
119(1)223--232, 125(2)361--371
-
Comon, Hubert, 118(2)167--191
-
Comon:1993:CAS, 118(2)167--191
-
compact, 82(1)1--18, 99(2)213--230, 103(2)311--334, 111(1)89--101
-
compaction, 86(2)243--266
-
compaction-based, 73(2)121--154
-
comparative, 75(1)15--43, 75(1)z--z
-
comparator, 130(1)203--236
-
compares, 79(1)241--256
-
comparing, 76(2)179--222, 101(2)239--263, 111(1)145--189
-
comparison, 72(2)251--264, 83(2)275--285, 87(2)263--286, 92(1)3--17,
95(2)231--244, 103(1)137--141, 110(1)99--129, 110(1)145--168,
124(1)1--40
-
compatibility, 77(1)27--71, 110(2)377--403
-
compatible, 103(2)235--271, 103(2)283--309, 110(1)145--168
-
competitive, 98(2)339--346, 128(1)75--97, 130(1)49--72, 130(1)73--84,
130(1)85--99, 130(1)125--138, 130(1)175--201
-
competitive, 2-, 108(2)371--384
-
competitive, 3-, 98(2)339--346
-
competitiveness, 98(2)339--346, 130(1)101--123
-
compilation, 71(2)177--191, 71(2)209--226, 71(2)z--z, 87(1)43--80,
90(1)17--36, 104(2)299--312, 119(1)z--z, 131(1)197--218
-
compile-time, 70(1)99--126, 104(1)109--128
-
compiler, 71(2)177--191, 71(2)193--208, 71(2)209--226, 71(2)227--239,
71(2)241--264, 71(2)z--z, 73(2)231--248, 80(1)105--115,
80(2)303--318, 90(1)17--36, 90(2)271--308, 104(2)299--312,
122(1)165--200, 122(1)201--223, 128(1)99--125
-
complementarity, 81(2)317--324
-
complementary, 74(2)217--225, 76(2)243--250
-
complementation, 110(1)99--129, 132(1)71--84
-
complements, Pushout-, 77(3)267--289
-
complements, pushout-, 77(3)267--289
-
complete, 70(1)127--150, 70(2)233--250, 71(3)347--380, 72(2)265--288,
74(1)3--18, 75(1)85--110, 75(1)z--z, 75(3)357--363, 76(2)179--222,
80(2)203--225, 81(1)1--15, 83(2)337--343, 85(1)75--95, 87(1)1--24,
88(1)33--57, 88(1)83--98, 89(2)207--343, 91(1)101--117,
94(2)281--294, 96(2)305--324, 97(2)183--198, 98(1)27--39, 98(1)z--z,
100(2)365--383, 102(1)135--163, 104(2)263--283, 111(1)125--143,
111(1)z--z, 112(2)255--275, 114(1)63--91, 114(2)231--245,
118(2)167--191, 118(2)315--315, 119(1)127--143, 119(1)z--z,
120(1)83--99, 121(1)351--409, 122(1)97--117, 124(1)1--40,
129(2)309--321, 130(1)203--236, 131(1)95--120, 131(2)311--330,
132(1)229--241, 133(2)205--265, 134(1)27--50, 136(2)487--506,
136(2)507--526
-
complete, -, 88(1)33--57, 114(2)231--245, 118(2)315--315
-
complete, co-NP-, 123(2)377--388
-
complete, Dedekind-, 75(3)289--309
-
complete, E-, 115(2)371--381
-
complete, EXPTIME-, 80(1)77--104
-
complete, incr-POLYLOGTIME-, 130(1)203--236
-
complete, LOGSPACE-, 130(1)203--236
-
complete, logspace-, 88(1)99--116, 116(1)95--116
-
complete, NP-, 80(2)203--225, 81(1)49--64, 81(1)65--75,
81(1)155--163, 81(2)257--268, 84(1)23--52, 84(2)179--197,
85(1)205--212, 92(1)145--164, 99(1)157--176, 104(2)185--206,
104(2)285--298, 108(2)365--369, 119(2)293--310, 120(2)311--315,
129(1)95--121, 129(2)309--321, 131(2)361--374, 131(2)449--461,
131(2)463--473, 132(1)229--241, 133(1)85--94, 133(1)95--104,
133(2)421--442, 134(1)209--223, 134(2)263--285, 134(2)287--309,
134(2)387--401, 135(1)155--169, 135(2)361--376
-
complete, NP-, 120(2)311--315, 135(1)155--169
-
complete, omega-, 70(1)65--72, 124(1)149--168
-
complete, ``P-, 234(1)325--326
-
complete, P-, 76(2)343--351, 125(1)45--59, 127(1)181--186
-
Complete, P-, 76(2)343--351
-
complete, P-, 127(1)181--186
-
complete, PSPACE-, 80(1)77--104, 84(1)127--150, 88(1)99--116,
97(2)199--215, 110(1)197--214, 110(1)215--245, 112(2)371--382,
123(2)329--340, 131(2)243--269, 134(1)225--251
-
complete, PSPACE-, 123(2)329--340
-
completely, 85(1)1--31, 114(2)201--229, 134(1)189--208
-
completely, k-, 129(2)309--321
-
completely, p-, 85(1)1--31
-
completeness, 70(1)99--126, 70(2)193--211, 71(1)155--174, 72(1)55--64,
72(2)133--146, 73(2)155--175, 73(2)177--211, 74(1)37--69,
74(2)227--237, 75(1)85--110, 75(1)111--138, 77(1)73--95,
79(2)295--321, 79(2)341--355, 80(2)303--318, 81(2)223--235,
83(1)71--96, 86(1)35--79, 86(1)81--92, 86(1)z--z, 87(1)203--208,
89(2)207--343, 91(2)181--203, 93(2)321--325, 94(1)101--124,
95(1)75--95, 95(1)97--113, 97(1)143--156, 97(2)199--215,
104(1)3--28, 105(2)167--215, 105(2)217--273, 109(1)7--48,
111(1)125--143, 114(2)231--245, 118(2)193--229, 119(1)127--143,
120(1)83--99, 122(1)97--117, 128(1)127--157, 129(1)143--166,
129(1)167--186, 130(2)239--319, 135(1)11--65, 135(2)405--422
-
completeness, NP-, 115(2)351--357, 134(2)387--401
-
completeness, NRP-, 130(1)203--236
-
Completing, 83(1)97--130
-
completion, 72(2)169--202, 72(2)z--z, 81(2)169--187, 85(2)231--251,
89(1)3--32, 99(1)65--78, 104(1)29--51, 105(1)7--25, 106(1)87--117,
107(2)277--303, 112(1)145--185, 113(1)119--165
-
complex, 76(1)53--91, 79(1)37--109, 80(2)203--225, 116(2)373--398
-
Complexité, 117(1)187--198
-
complexity, data-, 76(1)3--51
-
complexity, Low-, 116(1)95--116
-
complexity, time-, 126(1)3--30
-
components, 83(1)131--155, 107(2)357--363, 128(1)241--252,
133(2)307--340
-
composability, 114(1)z--z
-
composition, 90(1)81--93, 93(1)43--74, 96(2)285--304, 109(1)181--224,
111(1)211--252, 114(1)3--30, 115(1)3--41, 120(2)169--195,
131(1)139--179
-
compositional, 72(2)203--223, 87(1)43--80, 88(1)15--32, 101(2)289--335,
103(2)335--363, 122(1)3--47, 124(1)1--40, 124(2)273--295,
128(1)99--125, 128(1)127--157, 131(1)139--179
-
compositional, OR-, 122(1)3--47
-
compositionality, 90(1)151--170, 96(1)z--z, 114(1)z--z
-
compound, 103(2)335--363, 119(2)311--321
-
comprehension, 107(2)169--207
-
comprehensive, 107(2)169--207
-
compressibility, 73(1)1--46
-
compressible, 112(2)383--390
-
compressing, 132(1)403--414
-
compression, 92(1)213--221, 92(1)z--z, 100(1)157--184, 117(1)187--198,
118(1)49--65, 119(2)247--265, 127(1)181--186, 132(1)403--414,
134(2)473--491, 234(1)325--326
-
Compton, Kevin J., 131(1)95--120
-
Compton:1994:SLF, 131(1)95--120
-
COMPUGRAPH, 109(1)3--6
-
Comput, 182(1)257--257, 206(1)353--354, 234(1)325--326
-
computability, 73(3)313--317, 77(3)221--235, 80(2)203--225, 82(1)1--18,
86(2)377--389, 94(1)101--124, 97(1)1--66, 100(2)267--302,
113(2)191--210, 116(2)317--337, 119(1)187--214, 119(1)z--z,
121(1)89--112, 131(2)243--269, 132(1)113--128, 133(1)65--84,
134(2)537--544
-
computable, 85(1)97--116, 97(1)67--81, 98(1)115--133, 98(1)z--z,
113(2)191--210, 134(2)537--544
-
computable, non-, 73(3)313--317
-
computable, Turing-, 116(1)117--149
-
computation-tuple, 90(2)391--432
-
computationally, 84(1)23--52
-
computed, 75(1)45--66
-
computer, 70(1)3--34, 71(1)47--77, 73(1)1--46, 73(1)101--112,
74(3)273--298, 75(1)z--z, 77(1)73--95, 77(1)161--194, 77(1)195--219,
77(3)321--330, 79(1)37--109, 79(1)195--207, 79(1)209--226,
84(1)23--52, 84(1)77--105, 84(1)127--150, 86(2)205--232, 90(1)1--15,
90(1)253--270, 91(1)57--69, 92(1)49--76, 92(1)77--86, 94(1)125--140,
96(1)175--215, 100(1)223--241, 102(1)1--134, 108(2)291--310,
116(2)227--290, 116(2)291--303, 116(2)373--398, 117(1)z--z,
119(1)z--z, 120(2)215--227, 122(1)1--z, 123(1)117--130, 123(1)z--z,
125(1)45--59, 125(1)111--130, 125(1)131--147, 125(1)149--165,
125(2)373--383, 127(2)395--402, 128(1)3--30, 128(1)31--62,
130(1)17--47, 134(1)51--61, 136(2)387--417
-
computer-aided, 95(2)187--205, 99(2)213--230, 116(2)291--303
-
computer-assisted, 111(1)253--290
-
computer-oriented, 113(2)191--210
-
Computer-Theoretic, 98(1)z--z
-
computing, 73(1)1--46, 76(2)309--322, 79(1)195--207, 79(1)209--226,
79(1)241--256, 79(2)323--339, 81(2)169--187, 81(2)201--221,
86(2)143--203, 86(2)325--342, 92(1)3--17, 92(1)87--105,
92(2)291--300, 95(2)263--277, 96(1)175--215, 98(2)249--262,
100(1)253--265, 109(1)3--6, 109(1)z--z, 115(2)191--224,
119(1)215--222, 125(2)373--383, 128(1)99--125, 128(1)127--157,
128(1)159--177, 128(1)179--210, 128(1)241--252, 129(2)279--291,
133(1)35--47
-
concatenation, 74(2)121--162, 76(2)273--284, 83(2)249--260,
88(2)351--363, 91(1)71--84, 94(2)367--371, 97(2)217--231,
113(1)35--54, 127(2)287--312, 131(2)311--330, 132(1)71--84
-
concavity, 92(1)49--76
-
concentration, 110(1)169--196
-
concept, 70(1)159--178, 77(3)267--289, 86(2)377--389, 87(1)189--202,
90(1)253--270, 100(1)157--184, 120(1)45--68, 120(2)197--213,
121(1)89--112, 133(2)387--419
-
conceptual, 94(2)335--356, 95(1)1--42
-
concerning, 104(2)161--183, 125(2)243--257
-
conclusion, single-, 105(2)167--215
-
concrete, 95(1)1--42, 101(2)177--221, 113(2)273--291, 121(1)179--186,
121(1)187--277
-
concretization, 90(1)37--46
-
concurrency, 71(1)133--153, 74(2)121--162, 74(2)199--216, 75(1)15--43,
75(3)223--262, 76(2)179--222, 90(1)127--149, 90(1)151--170,
91(1)23--55, 95(1)1--42, 96(1)3--33, 96(1)35--72, 96(1)73--155,
96(1)z--z, 101(2)161--176, 101(2)289--335, 102(1)165--183,
102(1)185--205, 103(1)51--106, 112(1)5--52, 113(2)231--258,
113(2)293--348, 114(1)z--z, 118(1)21--48, 128(1)211--239,
132(1)179--207, 133(2)341--359, 135(1)5--9, 135(2)171--220,
135(2)289--318
-
concurrent, 72(2)265--288, 75(1)3--13, 75(1)15--43, 75(1)45--66,
75(1)67--83, 75(1)z--z, 76(2)179--222, 77(1)97--129, 79(2)275--294,
80(1)77--104, 80(2)263--288, 81(1)147--153, 85(2)333--351,
86(1)3--33, 86(1)z--z, 88(1)15--32, 90(1)127--149, 90(1)151--170,
90(1)171--184, 93(2)245--264, 94(2)311--334, 95(1)159--168,
96(1)73--155, 96(1)175--215, 96(2)285--304, 98(2)263--287,
101(2)223--237, 102(1)165--183, 105(1)85--128, 106(1)3--20,
109(1)225--256, 109(1)z--z, 111(1)3--57, 114(1)63--91,
114(1)119--147, 119(1)223--232, 119(1)z--z, 122(1)137--164,
122(1)165--200, 123(2)415--426, 124(1)41--70, 124(2)195--219,
125(2)167--204, 135(1)5--9, 135(2)289--318
-
condition, 70(1)35--64, 70(1)151--158, 70(2)179--192, 72(1)27--38,
74(1)3--18, 75(1)111--138, 83(1)57--69, 83(2)189--203, 86(1)81--92,
86(2)233--241, 87(2)315--327, 88(2)269--285, 93(2)185--199,
93(2)227--244, 93(2)279--301, 94(1)101--124, 94(1)141--158,
94(2)335--356, 95(2)307--321, 97(1)143--156, 97(2)233--244,
100(1)157--184, 100(2)267--302, 100(2)325--346, 103(1)39--49,
105(1)7--25, 109(1)181--224, 110(1)1--51, 111(1)89--101,
112(1)145--185, 112(2)413--418, 113(1)93--117, 118(2)301--314,
120(1)69--81, 120(2)197--213, 121(1)309--321, 126(2)183--235,
129(1)123--142, 131(2)271--294, 132(1)259--290
-
conditional, 75(1)85--110, 75(1)111--138, 75(1)z--z, 77(1)131--159,
79(2)357--358, 81(2)305--310, 89(1)3--32, 96(1)73--155, 96(1)z--z,
101(2)337--359, 133(2)267--306
-
conditional-equational, 77(1)161--194
-
conditions, side-, 114(2)317--330
-
Condon, A., 103(1)25--38
-
Condon, A., see Cai, Jin-Yi
-
Conduction, 87(1)209--220
-
cone, 74(1)3--18, 95(2)279--305
-
Conference, 75(1)z--z, 77(1)z--z, 86(1)z--z, 117(1)131--136,
117(1)169--186, 117(1)z--z, 122(1)1--z
-
configuration, 112(2)399--412, 134(2)387--401
-
conflict, 71(1)133--153, 71(3)401--411, 96(1)3--33, 96(1)35--72,
96(1)175--215
-
conflict-freeness, 134(2)365--385
-
confluence, 71(3)281--346, 74(1)3--18, 75(1)111--138, 94(1)1--35,
101(2)265--288, 126(2)259--280
-
confluent, 75(1)85--110, 93(2)321--325, 106(2)183--219, 108(1)25--43,
112(1)145--185, 113(1)119--165, 122(1)201--223
-
confusion, 96(1)3--33
-
congruence, 71(3)281--346, 75(3)223--262, 76(2)261--271, 80(2)227--262,
96(2)325--344, 100(2)267--302, 113(1)119--165, 114(1)173--200,
118(2)263--299, 123(2)273--289, 134(2)537--544, 136(2)471--485
-
congruence, right-, 70(2)213--232
-
congruences, right-, 70(2)213--232
-
congruential, 115(2)391--399, 123(2)397--406
-
conjecture, 71(1)29--45, 81(1)155--163, 83(2)337--343, 88(2)365--384,
89(2)207--343, 95(2)187--205, 104(2)161--183, 117(1)199--202,
123(1)21--30, 129(2)309--321, 132(1)427--434
-
conjugate, 94(2)367--371, 114(2)247--272
-
conjunction, 102(1)207--214
-
conjunctive, 81(2)257--268, 97(1)105--130, 113(2)371--375,
133(2)387--419, 134(2)287--309
-
connectability, 131(2)243--269
-
connected, 85(2)253--281, 88(1)33--57, 90(1)171--184, 95(2)263--277,
109(1)83--122, 112(2)215--253, 134(2)455--471
-
connected, 3-, 84(2)179--197
-
connected, mesh-, 120(2)261--278
-
connected, tree-, 91(1)57--69
-
connected, weak-, 127(2)395--402
-
connectedness, 81(2)289--294, 83(2)189--203, 90(1)171--184,
134(2)455--471
-
connection, 73(3)279--294, 81(1)117--126, 102(2)329--354,
103(2)283--309, 113(2)371--375, 125(1)61--90, 127(1)69--98,
134(2)455--471, 136(1)79--107
-
connectivity, 130(1)139--161
-
conquer, divide-and-, 134(2)493--528
-
Consens, Mariano P., 116(1)95--116
-
Consens:1993:LCA, 116(1)95--116
-
consequence, 97(1)143--156, 97(1)175--181, 105(1)57--84, 105(1)85--128,
105(2)167--215, 114(2)317--330, 131(1)197--218
-
conservative, 78(2)347--355, 90(1)209--233
-
conserves, 83(1)3--28
-
consistency, 102(1)1--134, 103(2)283--309, 129(2)385--396
-
consistency, call-, 105(1)7--25
-
consistent, 99(1)79--104, 107(2)277--303
-
consistent, call-, 105(1)57--84
-
consists, 120(2)197--213
-
Constable, Robert L., 121(1)89--112
-
Constable:1993:CFB, 121(1)89--112
-
constant, 71(2)227--239, 74(2)183--197, 76(2)323--330, 78(2)357--362,
80(2)303--318, 84(2)225--250, 92(1)19--31, 92(1)33--47,
98(2)339--346, 102(1)207--214, 119(2)355--361, 120(2)303--310,
125(2)345--353, 126(2)237--257, 134(2)559--565
-
constant-depth, 102(2)215--252, 107(1)63--76, 107(1)121--133
-
constant-factor, 125(2)345--353
-
constant-only, 135(1)155--169
-
Constant-round, 84(1)23--52
-
constant-size, 92(1)77--86
-
Constantineau, I., 117(1)153--167
-
Constantineau:1993:ASC, 117(1)153--167
-
constrained, 105(2)167--215
-
constraint, 72(1)55--64, 75(3)347--355, 76(1)115--142, 90(2)391--432,
95(1)1--42, 97(1)105--130, 99(1)79--104, 105(1)27--56,
105(1)85--128, 109(1)225--256, 111(1)59--88, 116(1)117--149,
120(1)45--68, 122(1)165--200, 122(1)263--283, 125(1)3--16,
126(2)183--235, 127(2)351--386, 131(2)331--360, 133(2)205--265,
133(2)267--306, 134(2)287--309, 134(2)473--491, 135(2)221--266
-
constraint-oriented, 89(1)179--206
-
construct, 99(1)105--119, 119(1)223--232, 124(1)1--40, 136(1)57--78,
136(1)109--123
-
constructable, 73(3)329--333
-
constructed, 120(2)197--213
-
constructibility, 80(2)289--302, 81(2)189--199
-
constructible, 95(1)159--168
-
constructing, 99(2)213--230, 115(2)391--399, 130(1)125--138
-
construction, 70(1)159--178, 71(2)z--z, 77(3)237--247, 77(3)331--343,
79(1)241--256, 79(1)257--261, 79(2)323--339, 79(2)359--363,
87(1)163--188, 89(1)107--136, 90(1)17--36, 90(1)199--208,
90(2)271--308, 91(2)129--179, 92(2)319--336, 93(1)143--157,
94(2)335--356, 97(1)67--81, 100(2)325--346, 103(2)395--408,
107(2)277--303, 112(2)339--354, 114(2)247--272, 116(2)305--316,
117(1)255--272, 123(1)31--53, 123(2)389--395, 124(1)71--91,
124(2)329--342, 126(1)31--52, 128(1)3--30, 133(2)307--340,
135(1)67--110, 136(1)21--56
-
constructive, 71(2)227--239, 71(2)z--z, 82(2)215--252, 90(1)253--270,
94(2)237--259, 102(2)215--252, 105(1)27--56, 110(2)249--339,
115(1)63--75, 121(1)59--69, 121(1)89--112, 122(1)119--136,
122(1)137--164
-
constructively, 122(1)137--164
-
constructor, 93(1)1--41, 103(2)273--282, 122(1)263--283, 124(2)195--219,
126(1)31--52
-
consumer, producer-, 135(2)377--404
-
containment, 73(3)295--311, 78(1)159--187
-
content, 94(2)335--356
-
context, 104(1)53--87, 108(2)185--236, 116(2)421--429, 123(2)427--428,
141(1)329--330
-
context-free, non-, 98(2)289--319, 132(1)71--84
-
context-freeness, 98(2)199--247
-
context-sensitive, 88(2)191--229, 97(2)217--231, 106(2)283--308,
132(1)71--84, 132(1)319--336, 134(2)365--385, 141(1)329--330
-
continuation, 77(1)73--95, 85(2)283--303, 106(2)283--308
-
continued, 72(2)147--167, 83(2)219--235
-
continuity, 82(1)1--18, 85(2)353--357
-
continuous, 70(2)233--250, 76(2)309--322, 79(2)357--358, 83(2)219--235,
95(1)143--158, 111(1)89--101, 111(1)103--123, 113(2)191--210,
114(2)201--229, 119(1)103--125, 121(1)351--409, 121(1)411--440,
133(1)z--z, 136(1)21--56
-
continuous, omega-, 70(1)65--72, 79(1)137--150
-
continuously, 94(1)125--140
-
contraction, 76(2)179--222, 123(2)341--349, 135(1)155--169
-
control, 71(2)193--208, 71(2)209--226, 74(2)199--216, 75(1)15--43,
79(1)163--177, 81(2)269--288, 87(1)43--80, 90(1)47--60,
90(1)127--149, 90(1)151--170, 92(1)49--76, 93(2)227--244,
95(1)1--42, 96(1)3--33, 96(1)35--72, 96(1)73--155, 96(1)z--z,
98(2)289--319, 102(1)165--183, 102(1)185--205, 103(2)235--271,
104(2)235--261, 113(2)231--258, 113(2)293--348, 128(1)179--210,
133(2)341--359
-
control, And-, 93(2)227--244
-
controlled, 70(2)213--232, 71(3)281--346, 73(3)279--294, 108(2)291--310
-
controlled, Gamma-, 81(2)269--288
-
controlled, path-, 88(1)151--170
-
convention, 89(1)107--136
-
convergence, 115(1)151--189, 125(2)329--337, 133(1)65--84
-
convergent, 73(1)91--100
-
converses, 76(2)261--271
-
conversion, 90(2)391--432
-
convex, 74(1)95--114, 103(2)311--334, 106(2)265--281, 111(1)59--88,
124(2)195--219, 127(1)187--198, 133(1)105--140
-
convex, column-, 127(1)187--198
-
convexity, 92(1)49--76
-
convincing, 84(1)23--52
-
convolution, 79(1)163--177, 95(2)207--229
-
Conway, Sibert-, 96(2)361--388
-
cooperating, 81(2)305--310, 98(2)249--262, 127(1)123--147
-
cooperation, 81(2)305--310, 134(1)119--130
-
cooperative, 134(1)119--130
-
coordinate, 88(2)231--251
-
Coppo, Mario, 121(1)113--143
-
Coppo:1993:TIA, 121(1)113--143
-
coprimality, 106(2)221--241
-
coproducts, 73(1)101--112
-
copy, 80(2)319--335
-
copying, 134(2)311--328
-
Coquand, Thierry, 115(1)63--75
-
Coquand:1993:API, 115(1)63--75
-
Coquide, Jean-Luc, 126(1)31--52
-
Coquide, Jean-Luc, see Caron, Anne-Cécile
-
Coquidé, Jean-Luc, 127(1)69--98
-
Coquide:1994:BTP, 127(1)69--98
-
Corbett, J., 78(2)357--362
-
Corbett, J., see Barrington, D. A. M.
-
coreducibility, 106(1)87--117
-
Cori, R., 81(1)147--153, 131(2)449--461
-
Cori, R., see Bergey, A.
-
Cori:1991:NPA, 81(1)147--153
-
coroutine, 121(1)187--277
-
Corput, 123(1)61--87
-
Corradini, A., 103(1)51--106
-
Corradini, Andrea, 109(1)7--48, 122(1)165--200
-
Corradini:1992:ASS, 103(1)51--106
-
Corradini:1993:HRJ, 109(1)7--48
-
Corradini:1994:AMC, 122(1)165--200
-
Corrado, 121(1)1--z
-
correct, 76(2)223--242, 94(2)335--356, 100(1)157--184, 129(2)279--291
-
correction, 94(2)199--213, 124(1)189--192
-
correctness, 70(1)73--83, 73(2)155--175, 75(1)111--138, 75(3)263--287,
80(2)263--288, 80(2)319--335, 83(1)157--167, 89(1)179--206,
93(2)279--301, 97(1)67--81, 100(2)365--383, 104(1)89--107,
104(2)313--323, 107(2)305--332, 111(1)3--57, 118(2)99--166,
119(1)23--38, 119(1)127--143, 120(1)123--155, 129(1)123--142
-
correctness-preserving, 90(1)37--46
-
correlation, 102(2)253--281
-
correspondence, 76(2)251--260, 79(1)163--177, 95(1)115--142,
113(2)211--230, 113(2)349--370, 132(1)395--401
-
corrigendum, 116(2)421--429, 123(2)427--428, 135(1)67--110,
206(1)353--354
-
Corsini, M.-M., 119(1)23--38
-
Corsini:1993:TIP, 119(1)23--38
-
Cortesi, Agostino, 107(2)277--303
-
Cortesi:1993:GPN, 107(2)277--303
-
cosemicomputable, 100(2)267--302
-
Cosnard, M., 95(2)323--337
-
Cosnard, M., see Akl, S. G.
-
Cosnard, Michel, 132(1)113--128
-
Cosnard, Michel, see Koiran, Pascal
-
cost, 72(2)147--167, 72(2)251--264, 92(1)191--211, 93(2)201--225,
113(1)3--34, 117(1)187--198, 126(1)113--142, 127(2)199--228,
128(1)241--252, 130(1)17--47, 132(1)415--425
-
cost, logarithmic-, 132(1)377--385
-
cost, Unit-, 132(1)377--385
-
cost, unit-, 100(1)1--44
-
COSY, 74(2)199--216, 80(2)263--288, 94(1)141--158
-
count, 133(2)421--442
-
countable, 111(1)89--101, 113(1)3--34, 132(1)337--345
-
countably, 70(2)233--250
-
counter, 76(2)251--260, 108(2)371--384, 112(2)187--214
-
counter, k-, 88(2)287--296
-
counter, multi-stack-, 108(2)393--400
-
counter, one-, 85(1)53--74, 97(2)245--262, 108(2)393--400,
112(2)187--214
-
counter, two-, 112(2)391--397
-
counter-intuitive, 74(2)183--197
-
counterexample, 81(1)155--163
-
counterpart, 136(1)79--107
-
counting, 79(1)37--109, 81(1)49--64, 81(1)77--95, 85(1)171--203,
86(2)325--342, 100(1)243--251, 102(2)283--305, 103(1)3--23,
107(1)3--30, 108(1)3--16, 108(2)371--384, 112(2)255--275,
117(1)45--65, 117(1)203--215, 133(1)105--140
-
counting, height-, 82(1)131--139
-
counting, Modulo-, 126(1)97--112
-
counting, modulo-, 126(1)97--112
-
coupling, 110(2)341--376
-
Courcelle, B., 78(1)217--244, 80(2)153--202, 101(1)3--33, 109(1)1--z,
109(1)49--82
-
Courcelle, Bruno, 126(1)53--75
-
Courcelle:1991:MSO, 80(2)153--202
-
Courcelle:1991:RQC, 78(1)217--244
-
Courcelle:1992:MSO, 101(1)3--33
-
Courcelle:1993:MSO, 109(1)49--82
-
Courcelle:1993:P, 109(1)1--z
-
Courcelle:1994:MSO, 126(1)53--75
-
Cousot, P., 120(1)123--155
-
Cousot, R., 120(1)123--155
-
Cousot, R., see Cousot, P.
-
Cousot:1993:BIA, 120(1)123--155
-
cover, 84(2)179--197, 86(2)377--389, 95(1)159--168, 115(2)351--357,
133(1)49--64
-
coverability, 95(1)159--168
-
coverage, 129(2)369--383
-
covering, 84(2)179--197
-
covering, set-, 104(2)285--298
-
Cox, P. T., 120(1)1--44
-
Cox, P. T., see Knill, E.
-
CPL, 111(1)145--189
-
cpo, 96(1)73--155, 118(2)301--314, 135(2)171--220, 136(1)109--123
-
cpo-based, 124(1)1--40
-
cpo-framework, 135(2)171--220
-
CPOs, 70(1)151--158, 70(2)233--250
-
CRCW, 92(1)87--105, 93(2)245--264, 99(2)335--344, 123(2)415--426,
127(1)53--67, 129(2)293--307, 132(1)403--414
-
CRCW-PRAM, 108(2)331--344
-
creation, 87(1)43--80, 129(2)397--406
-
creative, 85(1)1--31, 129(2)309--321
-
creative, p-, 85(1)1--31
-
Crepeau, C., 84(1)23--52
-
Crepeau, C., see Brassard, G.
-
Crescenzi, P., 104(2)263--283
-
Crescenzi, P., see Bovet, D. P.
-
Crescenzo, Giovanni Di, 132(1)291--317
-
Crescenzo, Giovanni Di, see De Santis, Alfredo
-
CREW, 81(2)311--316, 93(2)245--264, 106(2)361--371, 107(1)121--133,
116(2)421--429, 129(2)293--307, 134(2)493--528
-
CRI-length, 108(2)291--310
-
criteria, 72(2)133--146, 73(2)177--211, 78(1)113--136, 83(2)249--260,
133(1)49--64
-
criterion, 93(2)321--325, 94(1)1--35, 126(1)77--96, 133(1)105--140
-
critical-section, 129(1)1--38
-
Crochemore, M., 81(2)311--316, 88(1)59--82, 92(1)1--z, 92(1)33--47,
92(1)145--164
-
Crochemore, M., see Chytil, M.,
see Neraud, J.
-
Crochemore, Maxime, 132(1)403--414
-
Crochemore:1991:UKM, 88(1)59--82
-
Crochemore:1992:FSI, 92(1)1--z
-
Crochemore:1992:SMO, 92(1)33--47
-
Crochemore:1994:TDP, 132(1)403--414
-
Crole, Roy L., 136(1)217--242
-
Crole:1994:CAF, 136(1)217--242
-
crossing, 74(3)341--354, 112(2)419--420
-
Crvenkovi{\'c}, Sini{\v{s}}a, 108(1)17--24, 134(1)79--86
-
Crvenkovic:1993:KA, 108(1)17--24
-
Crvenkovic:1994:DA, 134(1)79--86
-
cryptanalysis, 106(2)373--383
-
cryptographic, 132(1)427--434
-
cryptography, 88(1)83--98, 106(2)373--383, 116(2)339--357,
120(2)293--301, 132(1)291--317, 132(1)427--434
-
cryptosystem, 88(1)83--98, 106(2)373--383, 116(2)339--357,
132(1)427--434
-
cryptotext, 132(1)427--434
-
C(S,E)/sup, 89(2)207--343
-
CSLD-resolution, 71(1)155--174
-
CSP, 74(2)121--162, 80(2)263--288, 124(1)1--40
-
Csuhaj-Varju, E., 81(2)305--310, 87(2)287--313
-
Csuhaj-Varjú, Erzsébet, 112(2)277--289, 134(1)119--130,
see Kelemenová, Alica
-
Csuhaj-Varju:1991:BIG, 87(2)287--313
-
Csuhaj-Varju:1991:PCR, 81(2)305--310
-
Csuhaj-Varju:1993:DCC, 112(2)277--289
-
CTL, 126(1)77--96
-
CTL*, 126(1)77--96
-
cube, 136(1)183--216
-
cubic, 84(2)179--197, 109(1)83--122, 120(2)197--213
-
CUCH, 121(1)411--440
-
Cucker, F., 133(1)3--14
-
Cucker:1994:SCC, 133(1)3--14
-
Culik II, Karel, 116(2)373--398
-
Culik, II, K., 71(1)29--45, 91(1)57--69
-
Culik:1990:NTP, 71(1)29--45
-
Culik:1991:ESF, 91(1)57--69
-
Culik:1993:AAR, 116(2)373--398
-
Curien, P.-L, 82(2)389--402, 115(1)1--z, 121(1)1--z, 121(1)9--58
-
Curien, P.-L, see Abadi, M., \see{Abramsky, S.
-
Curien, P.-L., see Abadi, M.
-
Curien:1991:AFE, 82(2)389--402
-
Curry, 121(1)71--88
-
Curry--Howard, 111(1)3--57, 135(1)5--9, 135(1)111--137
-
currying, 101(2)177--221
-
curve, 92(2)319--336, 94(2)295--310, 112(2)215--253, 117(1)227--241
-
curved, 112(2)215--253
-
cut, 71(2)193--208, 71(2)z--z, 79(2)295--321, 83(2)219--235,
91(2)265--284, 114(2)317--330, 115(1)3--41, 120(1)157--168,
129(1)193--206
-
cut-elimination, 111(1)3--57, 113(2)211--230, 129(1)193--206
-
cut-formulas, 129(1)193--206
-
Cutsem, Bernard, Van, 132(1)1--35
-
CWA, 122(1)49--68
-
cycle, 71(3)419--424, 84(2)179--197, 106(2)265--281, 117(1)3--22,
117(1)243--253, 119(2)331--343, 127(2)395--402, 131(2)463--473,
132(1)1--35
-
cycles, beta-, 81(2)295--304
-
cyclic, 70(2)261--271, 89(1)33--62, 100(1)105--135, 114(1)93--118,
123(1)3--7, 125(1)149--165, 125(2)205--228, 134(1)209--223
-
cyclically, 109(1)83--122
-
cyclicity, 114(1)93--118
-
Cypher, Robert, 128(1)241--252
-
Cypher, Robert, see Bruck, Jehoshua