Last update: Tue Dec 17 02:02:04 MST 2019
Return to index directory
C
-
C, 49(1)241--248
-
C, LTF-, 54(1)89--105
-
Caching, 93(1)273--288
-
Cages, 64(1)1--16
-
Cai, Xingjuan, 95(4)427--447
-
Cai, Xingjuan, see Cui, Zhihua
-
Caillaud, Benoît, 78(1)131--159,
see Potop-Butucaru, Dumitru
-
CAKE, 57(2)193--213
-
calculi, 59(4)315--332, 65(1)z--z, 72(1)363--378, 77(4)489--510,
77(4)z--z
-
calculus, 42(2)201--210, 43(1)61--79, 44(1)133--144, 45(4)379--392,
49(1)45--59, 54(4)295--344, 55(1)63--100, 59(1)67--90, 65(1)61--86,
65(1)87--112, 67(1)1--12, 68(1)131--174, 68(3)249--288,
68(4)357--378, 69(4)427--446, 70(3)203--226, 71(1)49--61,
72(1)21--35, 76(1)189--218, 76(4)449--480, 81(1)249--256,
87(3)367--406
-
Calculus, mu-, 61(3)247--265
-
Calimeri, Francesco, 71(2)183--214
-
Calimeri:2006:POD, 71(2)183--214
-
Call, 69(1)1--37
-
Calude, C., 64(1)z--z
-
Calude, Cristian S., 64(1)43--52, 73(1)1--18
-
Calude:2005:CC, 64(1)z--z
-
Calude:2005:PCP, 64(1)43--52
-
Calude:2006:ARN, 73(1)1--18
-
Camacho, María-Inés, Fernández-, 81(4)409--439
-
Camacho, Rui, 89(1)45--67
-
Camacho, Rui, see Fonseca, Nuno A.
-
Câmpeanu, Cezar, 64(1)53--63, 73(1)1--18,
see Calude, Cristian S.
-
Campeanu:2005:RTN, 64(1)53--63
-
Cancellation, 88(1)1--21
-
Candidate, 95(4)491--510
-
canonical, 46(3)253--256, 55(1)23--38
-
Cao, Cungen, 80(4)435--451, 93(4)393--409
-
Cao, Cungen, see Jiang, Feng, \see{Lei, Yuxia
-
Cao, Zhenfu, 80(4)461--474
-
Cao, Zhenfu, see Lu, Rongxing
-
capability, 74(2)329--340
-
Capacity, 86(4)435--446
-
Caparrini, Fernando, Sancho-, 49(1)261--271
-
Cardinality, 83(4)451--464
-
Carette, Jacques, 80(1)125--146
-
Carette:2007:CPN, 80(1)125--146
-
Carmo, Jose, 48(2)165--181
-
Carmo, José, 48(2)129--163
-
Carmo:2001:ADL, 48(2)165--181
-
Carmo:2001:DAL, 48(2)129--163
-
Carmona, Josep, 50(2)135--154
-
Carmona:2002:SET, 50(2)135--154
-
carry, 88(3)251--274
-
Carrying, Proof-, 77(4)303--330
-
Case, 47(3)201--215, 50(3)315--324, 74(1)85--114, 76(3)271--292,
91(2)231--249
-
Case-based, 85(1)155--172
-
Cassez, Franck, 62(3)291--332, 88(4)497--540
-
Cassez:2004:TEA, 62(3)291--332
-
Cassez:2008:FDS, 88(4)497--540
-
Castiglione, Giuseppa, 74(4)435--446
-
Castiglione, Giuseppa, see Burderi, Fabio
-
Catania, Barbara, 47(1)155--173
-
Catania, Barbara, see Bertino, Elisa
-
Cataudella, Stefano, 60(1)67--79, 67(1)1--12, 67(1)13--27
-
Cataudella, Stefano, see Barbuti, Roberto
-
Categorial, 49(4)313--324, 55(3)349--362
-
categorical, 44(4)321--351, 46(1)145--158, 74(1)1--29, 74(2)301--328
-
category, 43(1)21--48, 65(1)153--172, 72(1)421--435, 74(1)31--61,
84(2)221--240, 88(1)207--223
-
Catenation, 83(1)75--89
-
Caterpillar, 52(4)361--375
-
Cattaneo, Gianpiero, 52(1)39--80, 52(1)z--z, 55(3)255--284,
63(4)331--355, 63(4)357--373, 75(1)77--105
-
Cattaneo, Gianpiero, see Bianucci, Daniela
-
Cattaneo:2002:CSR, 52(1)39--80
-
Cattaneo:2002:I, 52(1)z--z
-
Cattaneo:2003:SSR, 55(3)255--284
-
Cattaneo:2004:ASRa, 63(4)331--355
-
Cattaneo:2004:ASRb, 63(4)357--373
-
Causal, 84(3)443--470, 86(3)255--298
-
Causality, 59(2)191--201
-
Cause-Effect, 54(2)165--183
-
Cavaliere, Matteo, 64(1)65--77, 74(4)447--462
-
Cavaliere:2005:TSM, 64(1)65--77
-
Cavaliere:2006:OSR, 74(4)447--462
-
CD, 76(3)271--292, 76(3)383--397
-
Cederbaum, Mila, Majster-, 68(1)103--130
-
Cégielski, Patrick, 81(1)83--96
-
Cegielski:2007:ATP, 81(1)83--96
-
Celani, Sergio A., 46(3)187--197
-
Celani:2001:FID, 46(3)187--197
-
Cell, 49(1)35--43, 49(1)147--165, 51(1)201--214, 58(3)355--368,
96(1)181--194
-
Cell, Inter-, 52(1)257--275
-
cellular, 52(1)1--13, 52(1)39--80, 52(1)133--141, 52(1)143--155,
52(1)157--181, 52(1)183--201, 52(1)233--248, 52(1)249--256,
52(1)257--275, 52(1)277--284, 58(3)203--221, 58(3)223--240,
58(3)241--260, 58(3)261--271, 58(3)273--293, 58(3)295--320,
58(3)321--354, 58(3)355--368, 58(3)369--398, 58(3)399--420,
58(3)421--435, 61(1)19--27, 69(3)251--271, 74(1)85--114,
78(3)311--327, 78(3)329--341, 78(3)343--368, 78(3)369--396,
78(3)397--416, 78(3)417--447, 78(3)449--465, 83(4)337--353,
86(1)143--168, 87(2)137--154, 87(2)165--183, 87(2)185--205,
87(2)227--245, 87(2)247--267, 87(2)z--z, 90(3)269--282,
91(2)197--230, 94(1)63--99
-
Center-Based, 56(3)285--310
-
century, 80(1)z--z
-
Certificateless, 88(1)193--206
-
Ceterchi, Rodica, 56(4)311--328, 64(1)79--91, 73(1)19--25, 87(1)35--48
-
Ceterchi:2003:TLS, 56(4)311--328
-
Ceterchi:2005:TCG, 64(1)79--91
-
Ceterchi:2006:ACS, 73(1)19--25
-
Ceterchi:2008:ISN, 87(1)35--48
-
Cezar, Vladimir, 87(2)165--183
-
Cezar, Vladimir, see Flocchini, Paola
-
chain, 56(4)389--409, 84(3)375--390, 86(1)1--17, 95(1)129--155
-
Chaitin, 68(3)231--247
-
Chaitin, Gregory, 51(4)325--338, 71(4)367--370, 79(1)17--23,
86(4)429--433
-
Chaitin, Gregory, see Becher, Verónica
-
Chaitin:2006:PPS, 71(4)367--370
-
Chaitin:2007:ACH, 79(1)17--23
-
Chaitin:2008:HPW, 86(4)429--433
-
Chakraborty, Mihir K., 51(3)311--324, 75(1)123--139
-
Chakraborty, Mihir K., see Sen, Jayanta
-
Chakraborty, Mihir Kr, 59(1)39--65
-
Chakraborty, Mihir Kr., see Ghosh, Sujata
-
Chakraborty, Prithwish, 95(4)401--426
-
Chakraborty:2007:RDI, 75(1)123--139
-
Chakraborty:2009:IHS, 95(4)401--426
-
Chalopin, Jérémie, 74(1)85--114, 80(1)221--246
-
Chalopin:2006:LCG, 74(1)85--114
-
Chalopin:2007:EMP, 80(1)221--246
-
Champarnaud, Jean-Marc, 45(3)195--205, 55(1)23--38, 90(1)1--16
-
Champarnaud:2001:MPA, 45(3)195--205
-
Champarnaud:2003:TSI, 55(1)23--38
-
Champarnaud:2009:ECE, 90(1)1--16
-
Chan, Chao-Wen, 58(2)93--104
-
Chan, Chi-Shiang, 65(4)291--305, 68(3)207--220, 96(1)49--59
-
Chan, Chi-Shiang, see Chang, Chin-Chen
-
Chan, Chien-Chung, 94(2)133--146
-
Chan, Christine, 90(3)203--228
-
Chan, Christine, see Wang, Yingxu
-
Chan, Yung-Kuan, 61(3)213--221, 69(3)319--330
-
Chan, Yung-Kuan, see Wang, Ching-Lin
-
Chan:2003:NCI, 58(2)93--104
-
Chan:2004:RVB, 61(3)213--221
-
Chan:2005:IHS, 65(4)291--305
-
Chan:2009:DBR, 94(2)133--146
-
Chan:2009:ULM, 96(1)49--59
-
Chanda, Bhabatosh, 88(1)161--176
-
Chanda, Bhabatosh, see Maji, Pradipta
-
Chandra, P. Helen, 83(4)411--428
-
Chandra, P. Helen, see Subramanian, K. G.
-
Chang, Chin-Chen, 56(3)243--253, 58(2)93--104, 58(2)167--178,
58(2)179--188, 58(2)189--202, 61(3)379--388, 62(3)275--289,
63(1)89--106, 65(4)291--305, 65(4)353--371, 68(3)207--220,
68(4)315--331, 70(3)171--184, 70(3)185--202, 70(3)251--260,
71(2)215--227, 71(2)351--366, 71(4)443--451, 74(2)189--207,
76(1)13--23, 76(1)25--37, 76(1)39--57, 76(4)399--411, 76(4)481--493,
77(3)217--228, 82(1)1--13, 84(3)353--361, 86(4)435--446,
88(1)23--45, 88(1)47--61, 90(1)17--26, 90(1)125--155, 91(3)597--610,
92(1)27--42, 97(4)369--379
-
Chang, Chin-Chen, see Chan, Chao-Wen,
see Chan, Chi-Shiang, \see{Chang, Ya-Fen,
see Chou, Yung-Chen, \see{Hu, Yu-Chen,
see Huang, Hui-Feng, \see{Kieu, The Duc,
see Lin, Chia-Chen, \see{Lin, Chih-Yang,
see Lu, Tzu-Chuen,
see Tsai, Chwei-Shyong,
see Wang, Chung-Chuan, \see{Wu, Hsien-Chu,
see Wu, Ming-Ni, \see{Yu, Yuan-Hui
-
Chang, Ya-Fen, 76(1)13--23
-
Chang:2004:ASS, 62(3)275--289
-
Chang:2005:IHT, 68(3)207--220
-
Chang:2006:NIC, 71(2)215--227
-
Chang:2006:PHS, 70(3)185--202
-
Chang:2006:RDE, 74(2)189--207
-
Chang:2006:SDI, 70(3)171--184
-
Chang:2007:FSE, 76(1)25--37
-
Chang:2007:NIH, 77(3)217--228
-
Chang:2007:SIH, 76(4)399--411
-
Chang:2007:TKA, 76(1)13--23
-
Chang:2007:VCS, 76(1)39--57
-
Chang:2008:ADE, 88(1)23--45
-
Chang:2008:HCD, 86(4)435--446
-
Chang:2008:TPL, 82(1)1--13
-
Chang:2009:FDI, 90(1)17--26
-
Chang:2009:PCC, 92(1)27--42
-
Change, 44(1)95--131, 76(3)219--237, 84(3)429--442, 87(3)483--492
-
Channel, 58(2)93--104, 73(4)561--582, 80(1)147--167, 93(1)17--31,
93(1)205--219
-
Chaos, 87(3)435--446
-
Chaotic, 52(1)39--80
-
chaotic, Hyper-, 90(3)269--282
-
Characteristics, 83(1)177--196
-
Characterization, 46(4)277--285, 48(2)107--128, 53(2)185--198,
57(2)281--321, 72(1)407--420, 73(1)19--25, 79(1)17--23,
86(1)143--168
-
Characterized, 74(4)409--433
-
Characterizing, 64(1)317--324, 87(3)269--285
-
ChariTime, 43(1)215--226
-
Chase, 78(4)507--524
-
Chaudhuri, P. Pal, 58(3)321--354, 78(3)369--396, 87(2)137--154
-
Chaudhuri, P. Pal, see Ganguly, Niloy,
see Maji, Pradipta
-
Chaum, 72(1)215--234
-
Cheating, 92(1)27--42
-
Check, 60(1)81--98, 87(3)447--463
-
Checker, 85(1)313--328, 94(3)413--437
-
Checking, 42(3)251--278, 51(1)135--156, 54(2)195--211, 55(2)167--185,
55(2)223--241, 60(1)211--224, 62(2)197--220, 62(2)243--273,
63(1)65--87, 63(2)221--240, 67(1)303--322, 70(1)111--126,
72(1)215--234, 72(1)347--361, 77(1)105--141, 79(1)229--256,
79(3)347--362, 79(3)363--378, 79(3)579--593, 85(1)359--375,
85(1)425--440, 88(4)411--435, 88(4)469--495, 93(1)245--259,
93(1)289--303, 95(1)129--155, 96(3)323--339
-
Chemistry, 64(1)1--16
-
Chen, Chang-Chu, 76(1)25--37
-
Chen, Chang-Chu, see Chang, Chin-Chen
-
Chen, Chien-Chang, 86(4)447--458
-
Chen, Chih-Ya, 69(3)319--330
-
Chen, Chih-Ya, see Wang, Ching-Lin
-
Chen, Chiyan, 69(1)103--121
-
Chen, Guei-Mei, 71(2)215--227
-
Chen, Guei-Mei, see Chang, Chin-Chen
-
Chen, Haiming, 75(1)141--162
-
Chen, Min, 94(2)233--244
-
Chen, Min, see Lingras, Pawan
-
Chen, Tzung-Her, 92(1)27--42, 96(1)61--70
-
Chen, Tzung-Her, see Chang, Chin-Chen
-
Chen, Yi-Hui, 88(1)23--45
-
Chen, Yi-Hui, see Chang, Chin-Chen
-
Chen:2006:ITP, 69(1)103--121
-
Chen:2007:SLG, 75(1)141--162
-
Chen:2008:SNI, 86(4)447--458
-
Chen:2009:FCV, 96(1)61--70
-
Cheng, Chien-Fu, 89(2)161--187
-
Cheng, Chieng-Fu, 57(1)79--99
-
Cheng, Chieng-Fu, see Wang, Shu-Ching
-
Cheng, Chuan-Chung, 69(3)319--330
-
Cheng, Chuan-Chung, see Wang, Ching-Lin
-
Cheng:2008:BAF, 89(2)161--187
-
Chenou, Jules, 77(3)187--215
-
Chenou, Jules, see Badouel, Eric
-
Chester, E. Graeme, 70(1)155--170
-
Chester, E. Graeme, see Xia, Fei
-
Chi, Kang-Liang, 78(2)257--270
-
Chi, Kang-Liang, see Hu, Yu-Chen
-
Chi, Yun, 66(1)161--198
-
Chi:2005:FSM, 66(1)161--198
-
Chiang, Yung-Kuei, 82(1)15--27
-
Chiang:2008:CPB, 82(1)15--27
-
Chien, Yu-Wei, 86(4)447--458
-
Chien, Yu-Wei, see Chen, Chien-Chang
-
Chikalov, Igor, 41(3)295--299, 50(3)265--284
-
Chikalov, Igor, see Moshkov, Mikhail
-
Chikalov, Igor V., 61(2)87--96
-
Chikalov, Igor V., see Moshov, Mikhail Ju.
-
Chikalov:2002:ADD, 50(3)265--284
-
Chin, Wei-Ngan, 69(1)1--37
-
Chin:2006:RCE, 69(1)1--37
-
Chlebus, Bogdan S., 55(3)285--306
-
Chlebus:2003:DCP, 55(3)285--306
-
Choe, K.-M., 72(1)347--361
-
Choe, K.-M., see Shilov, N. V.
-
Choi, Yanghee, 56(1)181--190
-
Choi, Yanghee, see Lee, Inbok
-
Choice, 48(4)295--314, 64(1)79--91, 64(1)109--118, 64(1)171--183,
84(2)241--258
-
Choice, Free-, 62(2)197--220
-
Cholvy, Laurence, 48(2)183--204
-
Cholvy:2001:AAL, 48(2)183--204
-
Chord, 61(3)267--283, 61(3)285--301
-
Chou, Henry, 70(3)185--202
-
Chou, Henry, see Chang, Chin-Chen
-
Chou, Yung-Chen, 86(4)435--446, 88(1)47--61, 90(1)17--26
-
Chou, Yung-Chen, see Chang, Chin-Chen
-
Chou:2008:LPD, 88(1)47--61
-
Christiansen, Henning, 71(4)371--417
-
Christiansen:2006:SDI, 71(4)371--417
-
Chrobot, Stanis{\l}aw, 44(1)63--81
-
Chrobot:2000:SVD, 44(1)63--81
-
Chrz{\k{a}}stowski-Wachtel, Piotr, 72(1)65--79, 85(1)67--87
-
Chrzastowski-Wachtel:2006:DSM, 72(1)65--79
-
Chrzastowski-Wachtel:2008:TDS, 85(1)67--87
-
Chu, Wesley W., 47(1)75--90
-
Chu, Wesley W., see Hyun, Park Sang
-
Chuang, Jun-Chou, 70(3)171--184
-
Chuang, Jun-Chou, see Chang, Chin-Chen
-
Chung, Sung Kwon, 56(1)181--190
-
Chung, Sung Kwon, see Lee, Inbok
-
Chunlin, Li, 76(1)59--73
-
Chunlin:2007:PAG, 76(1)59--73
-
Church, 81(1)241--248
-
CI, 90(3)203--228
-
Ciabattoni, Agata, 59(4)315--332
-
Ciabattoni, Agata, see Baaz, Matthias
-
CILC08, 96(3)z--z
-
Ciobanu, Gabriel, 49(1)61--66, 49(1)67--80, 64(1)93--107, 73(1)27--36,
87(1)49--59
-
Ciobanu:2002:GES, 49(1)67--80
-
Ciobanu:2002:SSS, 49(1)61--66
-
Ciobanu:2005:ADG, 64(1)93--107
-
Ciobanu:2006:BCS, 73(1)27--36
-
Ciobanu:2008:CCS, 87(1)49--59
-
circuit, 50(2)135--154, 58(3)295--320, 61(1)47--59, 62(1)123--137,
66(3)299--313, 70(1)49--73, 74(4)529--548, 80(1)283--310,
84(1)81--97, 88(4)411--435, 88(4)541--579
-
Circular-Pixel, Three-, 91(3)581--595
-
C{\=i}rulis, J{\=a}nis, 90(1)27--41
-
Cirulis:2009:RSA, 90(1)27--41
-
Ciucci, Davide, 55(3)255--284, 63(4)331--355, 63(4)357--373,
69(4)359--387, 75(1)77--105, 94(2)147--161
-
Ciucci, Davide, see Bianucci, Daniela,
see Cattaneo, Gianpiero
-
Ciucci:2006:ARS, 69(4)359--387
-
Ciucci:2009:AAF, 94(2)147--161
-
Clarisó, Robert, 78(1)1--33
-
Clariso:2007:VCS, 78(1)1--33
-
Clark, Alexander, 84(3)291--303
-
Clark, Ian, 50(2)205--222, 70(1)155--170
-
Clark, Ian, see Xia, Fei
-
Clark:2008:SAP, 84(3)291--303
-
Clarke, Dave, 82(4)361--390
-
Clarke:2008:BLR, 82(4)361--390
-
class, 47(1)1--13, 50(1)33--55, 53(3)315--320, 58(1)23--37,
65(3)263--278, 74(1)115--134, 74(4)409--433, 79(3)295--302,
82(1)171--184, 84(1)111--133, 85(1)267--280, 86(4)371--409,
88(1)135--160, 89(1)69--94, 90(4)369--378, 93(1)235--244,
95(2)305--324
-
Classical, 45(1)123--155, 78(3)449--465, 84(2)207--220, 93(1)325--336,
93(1)337--352
-
Classification, 47(1)175--188, 51(1)201--214, 51(4)369--390,
54(4)345--368, 55(1)39--50, 58(3)321--354, 72(1)295--309,
76(1)171--187, 82(1)185--212, 84(3)471--492, 85(1)139--153,
86(4)411--428, 90(4)369--378, 92(4)345--362, 94(2)163--178,
96(4)477--491
-
Classifier, 47(1)91--117, 47(3)351--360, 53(2)155--183, 54(1)89--105,
72(1)379--391, 72(1)393--406, 76(1)171--187, 77(3)243--275,
78(3)369--396, 84(3)329--351, 85(1)97--110, 86(1)93--111,
90(1)107--123, 96(1)89--109, 96(4)419--433, 97(1)15--40
-
Clausal, 54(1)17--65, 94(1)21--40
-
Clausal, Non-, 48(4)363--388
-
Clause, 90(1)43--66
-
Clause, Multiple-, 69(1)219--249
-
Clinical, 53(2)155--183, 59(2)271--285
-
Clock, One-, 89(4)419--450
-
Clockless, 91(2)357--394
-
Closeness, 96(4)395--418
-
Closure, 49(1)191--203, 58(2)79--91, 89(2)289--305, 89(2)313--329
-
Cloud, 94(2)261--273
-
Cluster, 47(3)259--270, 53(3)281--314
-
Clustering, 62(3)409--417, 68(4)315--331, 72(1)283--293, 80(4)475--496,
84(3)471--492, 86(4)411--428, 88(1)23--45, 96(1)195--209,
97(1)199--214, 97(4)381--403
-
Co-Entropies, 75(1)77--105
-
Co-Occurrence, 88(1)161--176
-
Co-processor, 76(1)75--89
-
Coalition, 63(2)107--124
-
Coble, Jeff, 66(1)83--101
-
Coble, Jeff, see Holder, Lawrence
-
code, 53(2)185--198, 56(4)389--409, 73(1)107--117, 74(4)549--562,
77(4)303--330, 83(1)109--115, 83(1)177--196, 84(1)51--60,
86(1)127--142, 90(1)17--26
-
Codebook, 70(3)251--260, 76(1)39--57, 82(1)15--27, 87(3)447--463,
91(3)563--579
-
Codebook-linked, 92(4)397--409
-
Coded, Real-, 84(3)471--492
-
codeword, 87(3)447--463
-
Coding, 58(2)167--178, 70(4)317--331, 71(2)215--227, 73(3)373--387,
78(2)239--255, 85(1)465--479, 86(3)227--253
-
Codomain, 73(1)237--264
-
Cognitive, 90(3)203--228, 90(3)283--303, 90(3)337--352, 90(3)z--z,
90(4)z--z
-
Coherence, 93(4)353--356
-
Cohn, A. G., 46(1)1--29
-
Cohn:2001:QSR, 46(1)1--29
-
Coja-Oghlan, Amin, 54(2)151--164
-
Coja-Oghlan:2003:RAP, 54(2)151--164
-
Collatz, 64(1)405--416
-
Collective, 48(2)129--163, 51(3)271--295, 54(2)151--164, 56(4)329--371
-
Collings, Simon, 72(4)437--452
-
Collings:2006:SPV, 72(4)437--452
-
Colony, 68(1)1--19, 77(3)229--242
-
Color, 61(3)369--378, 62(3)275--289, 69(3)319--330, 70(4)317--331,
82(1)105--112, 88(1)47--61, 96(1)61--70
-
Color-Complexity, 76(4)481--493
-
Colored, 92(3)193--231
-
Colorings, 57(2)393--421
-
Coloured, 88(3)357--385
-
combination, 74(2)341--350
-
combinatorial, 56(3)255--272, 84(1)z--z
-
Combinatorics, 97(3)295--309
-
Combined, 83(1)75--89, 97(1)215--234
-
combining, 51(4)369--390, 72(1)379--391, 95(2)305--324
-
Comet, Jean-Paul, 65(4)373--392
-
Comet, Jean-Paul, see Richard, Adrien
-
Commitment, 56(4)329--371
-
Common, 73(1)153--164
-
Commonality, 47(3)295--306
-
Communicating, 48(1)9--20, 48(1)21--54, 59(1)1--37, 60(1)291--305,
61(1)47--59, 80(1)147--167
-
Communication, 45(4)359--378, 50(2)205--222, 70(1)155--170,
73(4)431--478, 78(1)75--100, 78(3)449--465, 86(3)343--369,
91(1)145--159, 93(1)205--219, 93(4)435--457, 95(1)1--29
-
Communication, Bit-, 58(3)421--435
-
communications, 52(1)257--275, 66(3)221--257
-
Communities, 60(1)225--235
-
Commutative, 79(3)447--452
-
commutative, non-, 53(1)23--54
-
Compact, 56(1)191--210
-
Compact, Inf-, 45(4)283--294
-
Compact, Sup-, 45(4)283--294
-
Compactness, 62(3)377--393, 81(1)211--239, 81(4)473--484
-
Comparability, 68(1)21--46
-
Comparative, 51(1)103--119, 68(3)289--301, 79(1)257--263
-
Comparator, 42(3)235--249
-
Compared, 88(3)225--249
-
Comparing, 44(3)209--244, 47(3)247--258, 52(4)297--321, 72(1)215--234,
92(4)363--372
-
comparison, 51(1)201--214, 59(2)203--219, 89(1)1--22, 90(3)337--352,
93(1)337--352, 94(2)121--131, 94(2)197--217, 97(3)331--346
-
Compensation, 72(4)529--539
-
Competence, 76(3)293--304
-
Compilation, 62(3)343--368
-
Compile, 89(1)45--67
-
Complementarity, 50(3)243--263
-
complete, 41(1)33--56, 45(3)173--194, 45(3)237--252, 50(1)15--31,
64(1)205--216, 72(1)421--435, 86(3)227--253, 87(3)331--365,
95(1)219--244
-
complete, EXPTIME-, 75(1)163--178
-
Complete, PSPACE-, 58(2)67--77
-
complete, PSPACE-, 42(3)211--234
-
Completeness, 43(1)21--48, 50(3)361--402, 72(1)197--213, 77(4)293--301,
92(4)307--343
-
completion, 74(4)549--562
-
Complex, 57(2)167--192, 60(1)351--366, 67(1)203--217, 67(1)249--269,
82(4)465--512, 84(1)61--79, 84(2)151--183, 87(2)207--226,
91(2)251--274, 93(4)459--469, 97(4)347--367
-
Complexity, 44(4)373--396, 45(1)1--31, 45(3)207--213, 45(4)393--404,
47(1)35--52, 49(4)349--367, 50(1)77--110, 50(2)111--133,
53(1)79--104, 54(4)345--368, 55(3)243--254, 57(1)17--37,
61(2)87--96, 62(1)1--28, 64(1)443--461, 64(1)471--480,
66(3)277--298, 71(2)229--242, 73(1)27--36, 74(4)511--528,
75(1)239--262, 83(1)35--49, 83(1)75--89, 83(1)117--140,
83(1)177--196, 83(1)197--217, 83(1)z--z, 86(3)227--253, 87(1)49--59,
87(3)407--415, 90(1)93--106, 91(2)231--249, 92(1)145--168
-
Complexity, Color-, 76(4)481--493
-
complexity, Low-, 73(3)361--372
-
Complicated, 76(1)13--23
-
Component, 59(4)373--396, 73(4)561--582, 73(4)583--598, 82(4)341--359,
89(4)539--577, 91(3)507--522
-
Composable, 50(1)33--55, 51(1)185--200, 66(3)221--257
-
Composed, 82(4)z--z
-
Composing, 80(1)31--47
-
Composite, 93(4)411--434
-
Composition, 55(3)363--385, 59(4)373--396, 73(3)321--360, 79(1)137--167,
80(1)111--123, 89(4)451--478, 89(4)539--577, 95(1)103--128
-
Compositional, 60(1)367--382, 79(3)265--282
-
Compositionality, 82(4)311--340
-
Compound, 73(3)321--360, 85(1)249--265
-
Compressed, 56(1)137--154, 63(1)1--16, 74(2)189--207
-
Compressible, 55(1)51--61
-
Compression, 56(1)155--180, 58(2)189--202, 61(3)213--221, 64(1)119--134,
67(4)371--375, 70(3)251--260, 73(1)153--164, 78(2)257--270,
79(3)379--399, 87(3)417--433, 91(3)533--546, 92(1)63--81
-
Compressor, 65(4)353--371
-
Computability, 48(1)83--91, 48(4)389--414, 83(1)141--157
-
Computable, 64(1)43--52
-
Computably, 83(1)219--230
-
Computation, 42(1)61--73, 48(1)93--106, 55(3)285--306, 70(1)1--20,
70(4)301--316, 72(1)311--321, 74(1)85--114, 74(4)491--510,
74(4)z--z, 80(1)125--146, 80(4)415--433, 88(1)63--107, 90(1)1--16,
91(2)357--394
-
Computational, 44(4)373--396, 47(1)35--52, 73(1)133--152, 74(4)563--578,
84(3)363--373, 87(1)49--59, 87(1)79--91, 90(3)229--249,
91(2)395--409, 92(1)27--42, 96(3)z--z
-
Compute, 80(4)363--378
-
Computed, 73(1)99--106
-
computed, Pre-, 87(1)61--77
-
computer, 61(1)61--85, 75(1)435--451, 80(4)333--362, 81(1)315--323
-
Computing, 41(3)301--311, 41(3)313--340, 45(1)53--77, 49(1)123--145,
52(4)285--295, 56(1)121--135, 71(1)15--26, 73(1)213--227,
75(1)331--334, 76(1)75--89, 76(3)271--292, 76(3)337--347,
79(3)553--566, 80(1)125--146, 84(1)33--49, 85(1)205--217,
87(1)z--99999999, 87(1)z--z, 90(3)283--303, 90(3)z--z, 90(4)z--z,
97(3)311--320
-
Concatenation, 44(4)353--372
-
concept, 43(1)215--226, 46(4)277--285, 47(1)119--135, 47(3)247--258,
52(4)377--394, 53(1)23--54, 53(3)391--397, 59(2)107--118,
63(1)17--39, 63(1)41--63, 64(1)417--431, 71(4)443--451,
72(1)139--154, 74(2)301--328, 75(1)195--213, 75(1)435--451,
78(2)217--238, 78(4)467--485, 80(4)435--451, 87(3)447--463,
90(1)157--169, 93(1)325--336, 93(4)393--409
-
Concerning, 61(2)87--96, 73(1)65--79
-
Concrete, 60(1)81--98, 68(3)231--247
-
Concurrency, 50(2)111--133, 54(2)221--235, 60(1)99--111, 67(1)z--z,
70(1)z--z, 72(1)z--z, 78(1)z--z, 79(3)z--z, 85(1)z--z, 86(3)255--298,
86(3)299--323, 86(3)z--z, 88(4)z--z, 93(1)z--z, 95(1)31--52,
95(1)z--z
-
Concurrent, 43(1)1--20, 44(1)25--61, 44(3)209--244, 54(2)195--211,
60(1)81--98, 60(1)251--268, 60(1)269--289, 61(2)97--116,
62(2)171--196, 67(1)233--247, 71(1)121--137, 76(3)325--336,
78(1)1--33, 79(3)303--317, 80(1)273--281, 82(4)z--z, 85(1)267--280,
85(1)481--496, 97(1)235--273, 97(4)439--470
-
Conditional, 44(4)353--372, 48(2)183--204
-
Conditions, 61(3)223--245, 66(3)277--298, 74(1)135--166, 76(3)293--304,
84(3)403--427
-
configuration, 58(3)223--240, 82(1)29--46
-
Conflict, 57(2)101--125, 62(2)221--241, 75(1)453--468, 86(3)299--323,
89(4)511--538, 95(1)1--29
-
Conflict-free, 72(1)311--321
-
Confluence, 70(3)227--250
-
Conforti, Giovanni, 80(1)91--110
-
Conforti:2007:SBU, 80(1)91--110
-
Confusion, 47(3)259--270
-
Congestion, 88(3)357--385
-
Congruence, 65(4)307--328, 87(3)287--311, 95(2)381--399
-
conjecture, 92(3)301--306
-
Conjoinability, 61(1)29--36
-
Connected, Star-, 67(1)93--105, 72(1)235--243
-
Connectedness, 83(1)25--34
-
connection, 41(1)147--186, 46(1)83--96, 60(1)401--415, 69(4)427--446,
73(1)37--50, 75(1)315--330, 76(1)129--145, 76(3)325--336,
94(3)361--386
-
connectivity, 46(4)349--395
-
Connector, 82(4)361--390
-
Conquer, Divide-and-, 76(1)75--89
-
Conradie, Willem, 92(4)307--343
-
Conradie:2009:ACC, 92(4)307--343
-
Consecutions, 81(1)297--313
-
Consecutive, 61(2)87--96
-
Conserving, Number-, 52(1)133--141
-
conserving, Number-, 52(1)1--13
-
consideration, 54(2)185--193
-
Consistency, 42(3)251--278, 61(3)223--245, 62(2)197--220, 86(3)227--253
-
Consistent, 79(3)553--566
-
Constantopoulos, Panos, 44(4)321--351
-
Constantopoulos, Panos, see Analyti, Anastasia
-
Constitutive, 55(1)39--50
-
Constrained, 76(1)147--170, 95(4)511--531
-
Constrained, Resource-, 71(2)243--257
-
constraint, 43(1)129--151, 48(2)165--181, 67(1)303--322, 71(4)371--417,
74(1)135--166, 85(1)123--137, 94(2)163--178, 95(1)103--128,
96(3)227--252, 96(3)373--393
-
Constraint-Based, 47(1)53--73
-
Constructing, 41(3)295--299, 42(1)29--60, 54(1)17--65, 66(1)131--160
-
Construction, 44(3)245--264, 49(1)103--122, 52(4)345--360,
64(1)325--340, 65(1)61--86, 68(1)131--174, 68(3)249--288,
75(1)357--374, 86(1)213--225, 90(1)191--201, 91(1)105--121,
92(3)259--277, 94(1)101--120, 95(1)219--244
-
Construction, Correct-by-, 78(1)131--159
-
Constructive, 88(1)109--134, 96(3)253--269, 97(1)235--273
-
Constructs, 61(2)159--181, 72(4)485--527
-
Consumers, 61(3)223--245
-
Consumption, 52(1)233--248
-
Contact, 74(2)209--249, 74(2)251--282, 78(2)217--238
-
Contagious, 64(1)z--z
-
Content-Based, 71(2)351--366
-
Context, 42(2)105--127, 45(3)231--235, 49(1)81--102, 76(4)495--510,
82(1)47--60, 85(1)455--464, 86(4)459--480, 88(3)307--328,
90(1)157--169
-
Context-Free, 64(1)171--183, 83(1)35--49
-
Context-free, 44(3)245--264, 81(4)367--377
-
Context-Semantics, 77(4)293--301
-
Context-Sensitive, 89(2)289--305
-
Context-Sensitivity, 73(1)203--204
-
Contextual, 44(3)209--244, 44(4)321--351, 49(1)167--178, 49(1)179--189,
51(1)235--250, 64(1)79--91, 64(1)109--118, 64(1)159--170,
64(1)171--183, 64(1)217--228, 64(1)229--239, 64(1)241--253,
64(1)255--260, 64(1)307--316, 64(1)325--340, 64(1)341--351,
83(4)411--428
-
Contingency, 90(3)251--267, 90(4)427--442
-
Continuous, 46(1)31--54, 46(1)55--70, 48(1)61--81, 62(1)69--121,
62(1)123--137, 81(1)19--28, 87(2)165--183
-
continuous, *-, 78(2)295--309
-
Continuous-Time, 95(1)129--155
-
Contracts, 89(4)451--478
-
Contrary-To-Duties, 48(2)183--204
-
Contribution, 78(4)575--594, 81(1)315--323, 89(4)z--z
-
control, 43(1)269--290, 51(3)251--270, 52(4)377--394, 53(3)391--397,
54(4)369--385, 58(1)39--65, 58(2)151--165, 59(1)91--106,
65(1)153--172, 69(1)179--218, 72(1)123--137, 76(1)13--23,
77(4)511--531, 80(4)333--362, 84(3)353--361, 88(3)357--385,
95(1)53--72
-
Controllable, 78(1)101--130
-
Controlled, 85(1)111--121
-
Controller, 41(4)415--431, 67(1)219--231, 82(1)141--153
-
Convex, 41(1)131--146, 72(4)437--452, 84(1)81--97
-
convolution, 84(1)1--15
-
Conway, 86(1)19--40
-
Cook, Diane, 66(1)83--101
-
Cook, Diane, see Holder, Lawrence
-
Cooperating, 43(1)153--173, 47(3)271--282, 73(1)37--50, 76(3)255--270,
76(3)293--304
-
Cooperation, 69(4)389--409
-
Cooperative, 63(2)283--307, 75(1)281--294
-
Coordination, 73(4)431--478, 73(4)479--506, 73(4)507--534,
73(4)561--582, 73(4)z--z
-
Coping, 43(1)175--193
-
Coppola, Paolo, 65(1)87--112
-
Coppola:2005:PTL, 65(1)87--112
-
Copy, 71(2)351--366, 83(3)299--318
-
Coquand, Thierry, 65(1)113--134, 77(4)293--301, 77(4)345--395
-
Coquand, Thierry, see Abel, Andreas
-
Coquand:2005:LFD, 65(1)113--134
-
Coquand:2007:CTC, 77(4)293--301
-
Core, 41(4)367--392
-
CoreASM, 77(1)71--103
-
Corecursive, 66(4)353--366
-
Corfini, Sara, 89(4)479--510, 94(3)305--330
-
Corfini, Sara, see Bonchi, Filippo
-
Corner, 95(4)491--510
-
Corradini, Andrea, 58(1)z--z
-
Corradini:2003:P, 58(1)z--z
-
Correct, 54(2)165--183
-
Correct-by-Construction, 78(1)131--159
-
Correctness, 67(1)45--64
-
Correlation, 76(1)39--57, 95(2)245--262
-
Correspondence, 75(1)179--193, 92(4)307--343
-
corrigendum, 81(1)97--122, 93(4)353--356
-
Cortadella, Jordi, 50(2)135--154, 62(2)171--196, 78(1)1--33,
78(1)75--100
-
Cortadella, Jordi, see Carmona, Josep,
see Clarisó, Robert,
see Gorgônio, Kyller
-
Cortadella:2004:QSS, 62(2)171--196
-
Cosmic, 64(1)185--189
-
Cost, 71(1)63--82, 73(1)107--117, 87(2)227--245
-
cost, Low-, 86(1)213--225
-
Costa, Vítor Santos, 89(1)45--67,
see Fonseca, Nuno A.
-
Costash, 94(2)233--244
-
Cotronis, J. Y., 41(3)341--366
-
Cotronis, J. Y., see Tsiatsoulis, Z.
-
Could, 75(1)385--406
-
Coulon, Fabien, 55(1)23--38
-
Coulon, Fabien, see Champarnaud, Jean-Marc
-
countable, 65(4)329--351
-
Counter, 83(1)51--64, 91(2)275--303
-
Counter-Free, 70(3)277--301
-
counting, 45(1)33--51, 56(1)71--88
-
Counts, 96(4)435--463
-
Coupled, 49(1)1--15, 82(4)311--340
-
Couso, José-Ramón, Sánchez-, 81(4)409--439
-
Covariances, 79(1)257--263
-
cover, 91(3)487--505
-
Coverings, 75(1)77--105, 85(1)205--217
-
Cowen, Robert, 79(1)5--15
-
Cowen:2007:DPS, 79(1)5--15
-
Cowling, Tony, 49(1)17--33
-
Cowling, Tony, see Aguado, Joaquin
-
CP-Logic, 89(1)131--160
-
Create, 81(1)249--256
-
Creation, 88(3)329--356
-
Creativity, 64(1)z--z
-
Crémilleux, Bruno, 80(4)415--433,
see Hébert, Céline
-
Créput, Jean-Charles, 71(1)27--36,
see Ko{\'z}lak, Jaros{\l}aw
-
Crises, 71(1)37--47
-
Criteria, Multi-, 86(1)79--91
-
Criterion, 68(4)303--313
-
Critical, 78(3)329--341
-
CRL, 50(3)361--402
-
Crochemore, Maxime, 56(1)1--21, 56(1)89--103, 56(1)121--135,
84(1)17--32
-
Crochemore, Maxime, see Béal, Marie-Pierre,
see Roh, Kangho
-
Crochemore:2003:OSH, 56(1)1--21
-
Crochemore:2003:SHH, 56(1)89--103
-
Cryptanalysis, 53(2)131--134
-
Cryptographers, 72(1)215--234
-
Cryptographic, 84(3)353--361
-
Cryptography, 92(1)27--42
-
Cryptosystem, 71(4)493--497, 87(3)483--492
-
CSC, 95(1)1--29
-
CS\&P, 72(1)z--z, 79(3)z--z, 85(1)z--z, 93(1)z--z
-
Csuhaj-Varjü, Erzsébet, 76(3)271--292
-
Csuhaj-Varjú, Erzsébet, 44(1)83--94, 73(1)37--50, 82(1)29--46
-
Csuhaj-Varju:2000:DTE, 44(1)83--94
-
Csuhaj-Varju:2006:CBC, 73(1)37--50
-
Csuhaj-Varju:2007:GSV, 76(3)271--292
-
Csuhaj-Varju:2008:ECS, 82(1)29--46
-
CTL, 51(1)135--156, 60(1)211--224, 96(3)323--339
-
Cuartero, Fernando, 87(3)367--406
-
Cuartero, Fernando, see Macià, Hermenegilda
-
Cubes, 59(2)173--190
-
Cubics, 61(3)285--301
-
Cui, Zhihua, 95(4)427--447
-
Cui:2009:IPS, 95(4)427--447
-
Cumulative, 61(3)267--283, 61(3)285--301
-
Cumulativity, 48(2)237--252
-
Cunha, Alcino, 66(4)315--352
-
Cunha:2005:PFP, 66(4)315--352
-
curve, 41(1)91--129, 69(4)411--425, 87(3)483--492
-
cut, 86(1)169--173, 90(4)379--393, 96(1)153--179
-
Cut-Elimination, 45(1)123--155
-
cycle, 87(2)137--154
-
Cyclic, 60(1)269--289, 96(1)71--88
-
Cyr, Florence Dupin de, Saint-, 75(1)195--213
-
Czaja, Ludwik, 43(1)49--60, 43(1)z--z, 47(3)217--229, 47(3)z--z,
51(1)43--58, 51(1)z--z, 54(2)165--183, 54(2)z--z, 55(2)z--z,
60(1)z--z, 67(1)45--64, 67(1)z--z, 72(1)81--93, 79(3)283--293,
85(1)89--95, 93(1)97--110
-
Czaja, Ludwik, see Burkhard, Hans-Dieter
-
Czaja:2000:RLA, 43(1)49--60
-
Czaja:2001:PLP, 47(3)217--229
-
Czaja:2002:P, 51(1)z--z
-
Czaja:2002:PTP, 51(1)43--58
-
Czaja:2003:PNC, 54(2)165--183
-
Czaja:2005:AFP, 67(1)45--64
-
Czaja:2006:EMP, 72(1)81--93
-
Czaja:2007:IN, 79(3)283--293
-
Czaja:2008:BAN, 85(1)89--95
-
Czaja:2009:ASN, 93(1)97--110
-
Czelakowski, Janusz, 81(1)97--122, 93(4)353--356
-
Czelakowski:2007:IPS, 81(1)97--122, 93(4)353--356
-
Czelakowski:2009:AEC, 81(1)97--122, 93(4)353--356
-
Czerniak, Jacek, 92(1)43--61
-
Czerniak:2009:EAD, 92(1)43--61
-
Czyzowicz, Jurek, 71(2)229--242
-
Czyzowicz:2006:CSB, 71(2)229--242