Index file section C for tcs2000.bib

Last update: Fri Oct 18 02:03:45 MDT 2024

Return to index directory

C

C, 248(1)147--199, 276(1)425--434
c.e, 271(1)3--14
C1160, 155(2)447--457
C4210, 47(2)149--158
C4220, 47(2)149--158
C4240, 47(2)149--158
C4240C, 155(2)447--457
C4240P, 127(1)181--186
C6130, 127(1)181--186
cache, 255(1)449--481
caching, 268(1)119--131, 324(2)183--200, 324(2)201--218, 324(2)253--271, 326(1)293--327
cacti, 307(2)277--302
CafeOBJ, 285(2)289--318
Cai, Jin-Yi, 240(2)257--269, 296(1)15--25
Cai, Liming, 289(1)553--571
Cai:2000:RHC, 240(2)257--269
Cai:2002:INN, 289(1)553--571
Cai:2003:TZP, 296(1)15--25
Caires, Luís, 322(3)517--565
Caires:2004:SLC, 322(3)517--565
Calamoneri, Tiziana, 255(1)263--279, 307(3)503--513
Calamoneri:2001:OTD, 255(1)263--279
Calamoneri:2003:NRE, 307(3)503--513
Calcagno, Cristiano, 298(3)557--581, 315(1)61--81
Calcagno:2003:PLE, 298(3)557--581
Calcagno:2004:TLL, 315(1)61--81
calculating, 263(1)305--310
calculation, 315(2)405--417
calculi, 212(1)261--303, 238(1)183--220, 266(1)839--852, 266(1)997--998, 272(1)223--245, 285(2)319--358, 303(1)171--185, 316(1)191--213
Calculs, 270(1)205--222
calculus, 232(1)187--229, 235(1)171--181, 243(1)185--197, 243(1)199--215, 243(1)467--475, 249(1)81--161, 249(1)197--240, 254(1)543--556, 254(1)557--589, 255(1)63--83, 258(1)209--232, 258(1)491--522, 259(1)613--622, 266(1)249--272, 266(1)975--985, 269(1)23--46, 272(1)247--292, 278(1)53--89, 278(1)111--140, 290(1)161--188, 290(1)429--463, 290(1)779--830, 294(3)411--437, 298(2)275--302, 300(1)181--207, 300(1)259--300, 308(1)1--53, 308(1)55--130, 309(1)213--285, 311(1)105--119, 325(1)111--140
calculus, -, 243(1)467--475, 258(1)491--522, 290(1)161--188, 290(1)429--463
calculus, join-, 266(1)569--603
calculus, lambda-, 309(1)1--41
calculus, pi-, 258(1)131--168
calculus, Pi-, 311(1)121--163
Calders, T., 290(1)669--693
Calders:2002:AFI, 290(1)669--693
Caldwell, James L., 232(1)55--90
Caldwell:2000:SAT, 232(1)55--90
Calégari, Patrice, 263(1)235--245
Calegari:2001:COA, 263(1)235--245
C{\u{a}}linescu, Gruia, 276(1)33--50
Calinescu:2002:STP, 276(1)33--50
call, 255(1)33--50, 287(2)429--448
call-by-name, 234(1)309--321
call-by-value, 272(1)197--221, 290(1)429--463
Calude, Cristian S., 242(1)219--235, 255(1)125--149, 271(1)3--14, 284(2)269--277, 320(1)3--13
Calude, Cristian S., see Arulanandham, Joshua J.
Calude, Elena, 242(1)219--235
Calude, Elena, see Calude, Cristian S.
Calude:2000:FNA, 242(1)219--235
Calude:2001:RER, 255(1)125--149
Calude:2002:CCR, 271(1)3--14
Calude:2002:CNS, 284(2)269--277
Campagnolo, M. L. Manuel Lameiras, 317(1)147--165
Campagnolo:2004:CTC, 317(1)147--165
Campbell, Colin M., 250(1)365--391
Campbell:2001:AS, 250(1)365--391
Câmpeanu, C., 267(1)3--16
Campeanu:2001:MCA, 267(1)3--16
Campos, Sérgio Vale Aguiar, 253(1)95--118
Campos:2001:VLR, 253(1)95--118
cancellation, 315(2)469--510
cancellative, Non-, 237(1)197--212
Canfield, E. Rodney, 307(3)515--529
Canfield:2003:IPS, 307(3)515--529
cannot, 328(3)355--361
canonical, 270(1)921--933, 289(1)137--163, 319(1)241--279
Cantone, D., 285(1)25--42, 293(2)447--475
Cantone:2002:QEM, 285(1)25--42
Cantone:2003:CDF, 293(2)447--475
Cantor, 257(1)51--77
Cao, Guohong, 290(2)1127--1148
Cao, Wei-Ting, 304(1)365--385
Cao:2002:CMC, 290(2)1127--1148
Cao:2003:SPF, 304(1)365--385
capability, 250(1)143--161, 317(1)147--165
capital, 302(1)35--44
Capizzano, S. Serra, 315(2)557--579
Capizzano, S. Serra, see Noutsos, D.
Capobianco, Silvio, 325(2)329--344
Capobianco, Silvio, see Toffoli, Tommaso
Caporaso, S., 250(1)83--99
Caporaso:2001:PDC, 250(1)83--99
Cara, Philippe, 263(1)31--35
Cara:2001:NIM, 263(1)31--35
Caragiannis, Ioannis, 266(1)887--934, 270(1)361--399, 289(1)355--399
Caragiannis, Ioannis, see Auletta, Vincenzo
Caragiannis:2002:ECB, 270(1)361--399
Carbone, A., 288(1)45--83, 303(1)35--51
Carbone:2002:SSF, 288(1)45--83
Carbone:2003:FLS, 303(1)35--51
card, 259(1)671--678, 283(2)305--331
Cardelli, Luca, 240(1)177--213, 322(3)517--565, 325(1)141--167
Cardelli, Luca, see Caires, Luís, see Regev, Aviv
Cardelli:2000:MA, 240(1)177--213
cardinal, 322(1)175--179
Cardone, Felice, 275(1)575--587
Cardone:2002:CCP, 275(1)575--587
Carlucci, Lorenzo, 300(1)365--378
Carlucci:2003:NPT, 300(1)365--378
Carmo, R., 321(1)41--57
Carmo:2004:SRP, 321(1)41--57
Caron, Pascal, 231(1)5--15, 233(1)75--90, 242(1)361--376
Caron:2000:CGA, 233(1)75--90
Caron:2000:FLT, 242(1)361--376
Caron:2000:LMP, 231(1)5--15
Carpentieri, Marco, 262(1)69--81, 304(1)103--128
Carpentieri, Marco, see Bertoni, Alberto
Carpentieri:2003:SQT, 304(1)103--128
Carpi, Arturo, 259(1)145--182, 292(1)111--130
Carpi:2001:WSF, 259(1)145--182
Carpi:2003:SWR, 292(1)111--130
carriers, 270(1)779--796
carte, 246(1)151--194
cartesian, 278(1)3--21, 290(1)189--219, 307(3)473--492
Carton, Olivier, 289(1)225--251, 292(1)45--63, 297(1)37--81
Carton, Olivier, see Béal, Marie-Pierre
Carton:2003:UBA, 297(1)37--81
Caruso, Antonio, 290(2)1149--1174
Caruso:2002:FDG, 290(2)1149--1174
cas, 250(1)265--332
Casacuberta, F., 230(1)39--48
Casacuberta, F., see Higuera, C. de la
cascade, 313(1)3--16, 313(1)93--104
case, 234(1)1--57, 289(1)401--423, 291(2)143--157, 291(2)159--182, 292(2)481--495, 301(1)143--165, 302(1)35--44, 303(1)63--81, 310(1)393--456, 314(3)335--349, 315(2)469--510
case, average-, 242(1)29--40, 320(2)345--372
Case, John, 241(1)115--141, 259(1)455--473, 261(1)31--56, 268(2)323--349, 270(1)287--308
case, worst-, 321(2)371--382
Case:2000:VBL, 241(1)115--141
Case:2001:CGP, 259(1)455--473
Case:2001:PLM, 268(2)323--349
Case:2001:SNT, 261(1)31--56
Case:2002:CSH, 270(1)287--308
CASL, 286(2)153--196, 286(2)367--475
Cassaigne, Julien, 289(1)573--590, 292(1)9--31
Cassaigne, Julien, see Allouche, Jean-Paul, see Blondel, Vincent D.
Castellani, Ilaria, 281(1)109--130
Castellani, Ilaria, see Boudol, Gérard
Castro, Jorge, 288(2)197--215
Castro, Jorge, see Balcázar, José L.
Catalan, 326(1)69--102
Catalytic, 312(2)379--399
catch/throw, 272(1)223--245
categorical, 247(1)141--190, 266(1)463--487, 294(1)151--181, 303(1)245--260, 308(1)393--427, 314(1)217--249, 323(1)235--266
category, 260(1)87--117, 270(1)223--259, 278(1)257--269, 278(1)303--321, 290(1)189--219, 290(1)599--635, 294(1)61--102, 294(1)103--149, 308(1)131--143, 327(1)135--154
caterpillars, 307(3)567--572
Cattaneo, Gianpiero, 233(1)147--164, 244(1)219--241, 325(2)249--271
Cattaneo:2000:ETR, 233(1)147--164
Cattaneo:2000:ITC, 244(1)219--241
Cattaneo:2004:SSC, 325(2)249--271
Cattani, Gian Luca, 300(1)47--89
Cattani:2003:PMC, 300(1)47--89
Cattell, Kevin, 233(1)107--127
Cattell:2000:CGM, 233(1)107--127
Caucal, Didier, 290(1)79--115, 296(2)195--223
Caucal:2002:ITG, 290(1)79--115
Caucal:2003:TGT, 296(2)195--223
causal, 238(1)483--488, 243(1)409--447, 275(1)259--282, 289(1)1--49
Cautis, Sabin, 295(1)107--121
Cautis:2003:PMM, 295(1)107--121
Cavadini, Salvador Valerio, 306(1)113--122
Cavadini, Salvador Valerio, see Andrei, {\c{S}}tefan
Cavaliere, Matteo, 321(2)233--248
Cavaliere:2004:EON, 321(2)233--248
Cayley, 244(1)243--256, 310(1)501--511
CCS, 275(1)259--282
CCS-like, 300(1)47--89
Ceccherini-Silberstein, Tullio, 307(1)93--102, 307(1)103--116
Ceccherini-Silberstein:2003:ERL, 307(1)93--102
Ceccherini-Silberstein:2003:GSC, 307(1)103--116
Cederbaum, M. E., Majster-, 266(1)935--950
Cederbaum, Mila, Majster-, 238(1)81--130, 318(3)243--296
Cegielski, Patrick, 257(1)51--77
Cégielski, Patrick, 303(1)53--62, 322(1)1--3
Cegielski:2001:DTN, 257(1)51--77
Cegielski:2003:AIN, 303(1)53--62
Cegielski:2004:F, 322(1)1--3
cell, 234(1)233--254, 305(1)491--502, 312(2)295--319
cellulaires, 281(1)251--289
cellular, 230(1)117--129, 231(2)181--191, 233(1)147--164, 244(1)219--241, 246(1)117--129, 247(1)1--38, 259(1)99--128, 259(1)271--285, 263(1)231--234, 270(1)797--809, 281(1)251--289, 292(3)711--721, 295(1)233--250, 296(2)327--364, 296(2)365--375, 299(1)477--493, 299(1)523--535, 301(1)167--186, 301(1)341--354, 304(1)185--200, 304(1)269--290, 304(1)485--497, 306(1)195--221, 312(2)203--222, 319(1)367--384, 322(2)231--232, 322(2)355--368, 325(2)171--214, 325(2)215--247, 325(2)249--271, 325(2)273--284, 325(2)285--316, 325(2)317--328, 325(2)329--344
center, 242(1)237--245
center, -, 242(1)237--245
centroskew, 315(2)309--318
centrosymmetric, 315(2)309--318
Cenzer, Douglas, 284(2)279--318
Cenzer:2002:ECS, 284(2)279--318
Cerny, Eduard, 300(1)161--179
Cerny, Eduard, see Mohamed, Otmane Aït
Cerrito, Serenella, 323(1)71--127
Cerrito:2004:PMC, 323(1)71--127
certain, 262(1)161--189, 275(1)69--77
certain, Almost-, 293(3)507--534
certainly, 249(2)343--355
certificates, 270(1)761--777
Cervelle, Julien, 310(1)469--477
Cervelle:2004:TRR, 310(1)469--477
Cervesato, Iliano, 232(1)133--163
Cervesato:2000:ERM, 232(1)133--163
Chabrier-Rivier, Nathalie, 325(1)25--44
Chabrier-Rivier:2004:MQB, 325(1)25--44
chain, 270(1)969--976, 287(2)429--448, 289(1)783--800, 300(1)235--258
chain-free, 262(1)229--240
Chaitin, 255(1)125--149, 284(2)269--277
challenges, 313(3)393--415
challenging, 273(1)69--79
Chalopin, Jérémie, 310(1)489--499
Chalopin:2004:FFF, 310(1)489--499
Chambers, Craig, 248(1)147--199
Chambers, Craig, see Grant, Brian
Chambers, Scott, 279(1)51--64
Chambers, Scott, see Lester, David
Champarnaud, J.-M., 267(1)17--34, 289(1)137--163, 327(3)241--253, 347(1)437--440
Champarnaud, Jean-Marc, 267(1)1--1, 313(1)31--44
Champarnaud:2001:F, 267(1)1--1
Champarnaud:2001:SCC, 267(1)17--34
Champarnaud:2002:CDP, 289(1)137--163
Champarnaud:2004:DRE, 313(1)31--44
Champarnaud:2004:NRA, 327(3)241--253, 347(1)437--440
Champarnaud:2005:ENR, 327(3)241--253, 347(1)437--440
Chan, R. H. Raymond H., 315(2)309--318
Chan, R. H. Raymond H., see Bai, Zheng-Jian
Chan, Wun-Tat, 296(1)27--46
Chan:2003:LSM, 296(1)27--46
Chandran, L. S., 307(2)303--317
Chandran:2003:GCP, 307(2)303--317
Chang, F. H., 314(3)375--386
Chang, Gerard, 263(1)1--1
Chang, Gerard J., 263(1)3--8, 263(1)139--143
Chang, Gerard J., see Tong, Li-Da, see Yeh, Hong-Gwa
Chang:2001:P, 263(1)1--1
Chang:2004:WSN, 314(3)375--386
change, 270(1)125--203, 284(1)143--160
channel, 262(1)649--667, 263(1)139--143, 306(1)223--243, 310(1)501--511
chaos, 244(1)219--241
Characterisations, 310(1)247--271
characteristic, 239(1)141--164, 262(1)37--68, 292(2)525--546, 295(1)205--222, 298(1)207--233
characterization, 231(1)5--15, 233(1)75--90, 236(1)193--208, 250(1)55--69, 250(1)83--99, 254(1)337--361, 261(2)297--303, 271(1)3--14, 281(1)351--367, 289(1)85--104, 292(2)377--385, 294(3)551--573, 302(1)93--121, 305(1)409--432, 306(1)155--175, 312(2)479--489, 316(1)297--321, 326(1)103--116, 328(1)187--201, 329(1)159--176
characterized, 282(1)33--51
characterizing, 244(1)257--261, 263(1)47--58, 307(2)303--317, 312(1)121--142, 317(1)61--69
Charatonik, Witold, 308(1)277--331
Charatonik:2003:MCM, 308(1)277--331
Charikar, Moses, 268(1)43--66, 312(1)3--15
Charikar, Moses, see Bartal, Yair
Charikar:2004:FFI, 312(1)3--15
chart, 267(1)141--155, 309(1)529--554
Chateau, A., 322(1)41--67
Chateau:2004:CDU, 322(1)41--67
Chauve, Cedric, 307(2)277--302, 326(1)29--43
Chauve, Cedric, see Bousquet, Michel
Chauve:2004:MIO, 326(1)29--43
Chebyshev, 320(2)465--483
Chebyshev-polynomials, 230(1)49--73
checker, 259(1)597--611
checking, 238(1)221--246, 243(1)467--475, 256(1)31--62, 256(1)93--112, 258(1)491--522, 262(1)161--189, 289(1)591--627, 290(1)241--264, 303(1)63--81, 308(1)277--331
checking, bisimilarity-, 304(1)157--183
Checkpointing, 290(2)1127--1148
checkpoints, 290(2)1127--1148
checks, 266(1)441--461
Chekhova, Nataliya, 230(1)97--116
Chekhova:2000:CNR, 230(1)97--116
Chekuri, Chandra, 239(2)211--229
Chekuri:2000:CQC, 239(2)211--229
chemical, 259(1)493--511
Chemillier, Marc, 310(1)35--60
Chemillier:2004:SMW, 310(1)35--60
Chemins, 255(1)345--361
Chen, Chiuyuan, 255(1)659--665, 276(1)417--424
Chen, Chung-Min, 296(3)511--534
Chen, Chung-Min, see Sinha, Rakesh K.
Chen, Donghui, 262(1)83--99
Chen, Fujie, 255(1)449--481
Chen, Fujie, see Jin, Guohua
Chen, Gen-Huey, 262(1)215--227, 292(3)667--677
Chen, Gen-Huey, see Chen, Wei-Mei, see Hsieh, Sun-Yuan
Chen, Guangting, 304(1)237--247
Chen, Hubie, 327(1)23--44
Chen, Jingchao, 302(1)191--210
Chen, Keh-Jiann, 259(1)455--473
Chen, Keh-Jiann, see Case, John
Chen, Kevin, 312(1)3--15
Chen, Kevin, see Charikar, Moses
Chen, Lin, 240(2)299--318
Chen, Peter, 324(2)361--380
Chen, Shifu, 290(1)545--564
Chen, Shifu, see Zhu, Zhaohui
Chen, Wei, 289(1)277--295
Chen, Wei-Mei, 292(3)667--677
Chen, Xiao Jun, 254(1)337--361
Chen, Xiaomin, 321(1)149--170
Chen, Xiaomin, see Szegedy, Mario
Chen, Yifeng, 308(1)367--392
Chen, Yu-Wei, 255(1)649--658
Chen, Zhi-Zhong, 230(1)75--95, 299(1)211--229, 325(3)361--372
Chen:2000:EAA, 230(1)75--95
Chen:2000:STT, 240(2)299--318
Chen:2001:ACT, 254(1)337--361
Chen:2001:AST, 262(1)83--99
Chen:2001:DCP, 255(1)659--665
Chen:2001:IFT, 255(1)649--658
Chen:2002:NNC, 276(1)417--424
Chen:2002:RAC, 289(1)277--295
Chen:2003:AAN, 299(1)211--229
Chen:2003:DCR, 292(3)667--677
Chen:2003:FTN, 308(1)367--392
Chen:2003:OSP, 302(1)191--210
Chen:2003:PWC, 304(1)237--247
Chen:2004:BEV, 324(2)361--380
Chen:2004:CAK, 327(1)23--44
Chen:2004:SEA, 325(3)361--372
Cheng, Qi, 326(1)419--429
Cheng, Siu-Wing, 237(1)213--238, 262(1)459--471, 310(1)457--467
Cheng, Siu-Wing, see Ahn, Hee-Kap
Cheng, Szu-En, 263(1)355--377
Cheng, T. C. E., 320(2)199--212, 320(2)485--494
Cheng, T. C. E., see Kang, Liying, see Yuan, J. J.
Cheng, Xiaoyan, 304(1)461--469
Cheng:2000:STP, 237(1)213--238
Cheng:2001:ISP, 263(1)355--377
Cheng:2001:OSS, 262(1)459--471
Cheng:2003:SLC, 304(1)461--469
Cheng:2004:UCF, 326(1)419--429
Cheong, Otfried, 296(1)47--58, 310(1)457--467
Cheong, Otfried, see Ahn, Hee-Kap
Cheong:2003:CFN, 296(1)47--58
Chernov, Alexei, 271(1)69--95
Chernov:2002:USL, 271(1)69--95
Cherubini, A., 307(1)77--92
Cherubini, A., see Ananichev, D. S.
Cherubini, Alessandra, 270(1)463--491
Cherubini:2002:ALD, 270(1)463--491
Chesneaux, Jean-Marie, 279(1)1--2
Chesneaux:2002:FRN, 279(1)1--2
Chesñevar, Carlos Iván, 290(1)499--529
Chesnevar:2002:RDN, 290(1)499--529
Chessa, Stefano, 290(2)1149--1174
Chessa, Stefano, see Caruso, Antonio
chessboard, 310(1)513--525
Cheung, To-Yat, 311(1)165--197
Cheung, To-Yat, see Jiao, Li
Cheung, To-yat, 328(3)245--269
Cheung, To-yat, see Huang, Hejiao
Chew, 258(1)169--208
chi, 290(1)779--830
Chi, Dong Pyo, 321(2)395--404
Chi:2004:SWS, 321(2)395--404
Chiang, Yen-I, 282(2)353--380
Chiang, Yen-I, see Becker, Ronald
Chiaverini, Marc, 325(1)25--44
Chiaverini, Marc, see Chabrier-Rivier, Nathalie
Chilean, 326(1)329--342
Chin, Francis Y. L., 325(3)409--424, 325(3)467--478
Chin, Wei-Ngan, 306(1)113--122
Chin, Wei-Ngan, see Andrei, {\c{S}}tefan
Chin:2004:ADR, 325(3)409--424
Chin:2004:ICA, 325(3)467--478
Ching, Wai-Ki, 315(2)511--523
Ching, Wai-Ki, see Lin, Fu-Rong
chip, 233(1)287--295, 270(1)827--841
Chlebus, Bogdan S., 245(2)151--173
Chlebus:2000:APA, 245(2)151--173
Chockler, Hana, 329(1)71--92
Chockler:2004:RLT, 329(1)71--92
Choffrut, Ch, 320(2)187--198
Choffrut, Christian, 259(1)533--548, 273(1)69--79, 286(1)117--138, 292(1)131--143, 302(1)431--456
Choffrut, Christian, see Bertoni, Alberto, see Bloom, Stephen L.
Choffrut:2002:CFS, 273(1)69--79
Choffrut:2002:DBL, 286(1)117--138
Choffrut:2003:MST, 292(1)131--143
Choffrut:2004:SMO, 320(2)187--198
choice, 305(1)433--455, 308(1)259--276, 311(1)165--197
Chomicki, Jan, 296(3)405--434
Chomicki, Jan, see Arenas, Marcelo
Choquet-Geniet, Annie, 310(1)117--134
Choquet-Geniet:2004:MSI, 310(1)117--134
chordal, 264(1)53--64, 307(2)303--317, 310(1)329--354
chords, 282(2)319--336
Chothia, Tom, 322(3)567--613
Chothia:2004:AFT, 322(3)567--613
Chrétienne, Philippe, 292(1)145--164
Chretienne:2003:PSC, 292(1)145--164
Chriscoe, Ajay, 314(1)189--216
Chriscoe, Ajay, see Blanchet-Sadri, F.
Chrobak, M., 47(2)149--158
Chrobak, Marek, 234(1)203--218, 259(1)81--98, 287(2)387--391, 289(1)335--354, 302(1)497--498, 324(2)289--312
Chrobak, Marek, see Achlioptas, Dimitris, see Anderson, Eric, see Bein, Wolfgang W.
Chrobak:1986:FAU, 47(2)149--158, 302(1)497--498
Chrobak:2001:RPS, 259(1)81--98
Chrobak:2003:EFA, 47(2)149--158, 302(1)497--498
Chrobak:2004:WSP, 324(2)289--312
chromatic, 299(1)537--584, 313(3)371--376
Chu, 294(3)439--471
Chuan, Wai-Fong, 310(1)273--285
Chuan:2004:MCC, 310(1)273--285
Chung, Fan, 261(2)213--226
Chung, Kuo-Liang, 246(1)227--238, 255(1)649--658, 289(1)313--334
Chung, Kuo-Liang, see Chen, Yu-Wei, see Lin, Yih-Kai
Chung:2001:DLP, 261(2)213--226
Chung:2002:LBP, 289(1)313--334
Church--Rosser, 294(3)489--524
Chwa, Kyung-Yong, 244(1)35--62, 325(3)479--488
Chwa, Kyung-Yong, see Kim, Jae-Hoon, see Park, Jung-Heum
Ciancaglini, Mariangiola, Dezani-, 272(1)1--2, 272(1)3--40, 298(2)275--302, 316(1)25--47, 316(1)49--74
Cicalese, Ferdinando, 230(1)167--193, 270(1)877--893
Cicalese:2000:OSA, 230(1)167--193
Cicalese:2002:LAO, 270(1)877--893
Cicerone, Serafino, 276(1)315--354, 297(1)83--102
Cicerone:2002:SDL, 276(1)315--354
Cicerone:2003:FDA, 297(1)83--102
ciliate, 292(1)199--219, 306(1)19--38, 320(1)51--69
Cincotti, G., 285(1)25--42
Cincotti, G., see Cantone, D.
Ciobanu, Gabriel, 289(1)801--827
Ciobanu:2002:MI, 289(1)801--827
circuit, 237(1)197--212, 240(2)319--335, 266(1)987--996, 276(1)147--181, 287(1)239--249
circulant, 244(1)35--62
circular, 235(1)143--144
circular-ones, 296(1)99--116
{\'C}iri{\'c}, Miroslav, 324(1)87--105, see Petkovi{\'c}, Tatjana
Cîrstea, Corina, 260(1)3--25, 280(1)35--68, 327(1)45--69
Cirstea:2001:SCS, 260(1)3--25
Cirstea:2002:CEA, 280(1)35--68
Cirstea:2004:CAD, 327(1)45--69
clairvoyant, Semi-, 324(2)325--335
Clarke, Edmund, 253(1)95--118
Clarke, Edmund, see Campos, Sérgio Vale Aguiar
class, 155(2)447--457, 234(1)323--323, 235(2)309--324, 241(1)211--234, 246(1)285--298, 248(1)29--98, 250(1)55--69, 250(1)83--99, 253(1)61--93, 255(1)323--344, 259(1)287--305, 260(1)57--69, 269(1)317--361, 269(1)419--431, 288(2)309--341, 297(1)447--486, 298(2)325--346, 299(1)65--79, 301(1)271--284, 304(1)471--476, 306(1)19--38, 310(1)273--285, 313(2)229--265, 314(1)1--43, 316(1)3--23, 321(2)271--281, 322(2)267--283, 324(1)107--131
class-constrained, 321(1)103--123
classical, 232(1)273--298, 232(1)299--333, 285(1)25--42, 287(1)299--311, 292(2)497--524, 294(3)353--378, 308(1)227--237, 315(2)405--417, 317(1)61--69, 323(1)49--70
classifiability, 230(1)117--129
classification, 259(1)271--285, 284(1)181--196, 291(1)55--77, 294(1)61--102, 307(2)337--363
Classifying, 320(1)35--50
clausal, 243(1)477--487
clausal, non-, 266(1)81--112
clause-variable, 289(1)503--516
Clavel, M., 285(2)187--243
Clavel, Manuel, 285(2)245--288
Clavel:2002:MSP, 285(2)187--243
Clavel:2002:RCR, 285(2)245--288
clearly, 315(2)469--510
Cleland, C. E. Carol E., 317(1)209--225
Cleland:2004:CC, 317(1)209--225
Clémençon, H., 263(1)263--274, see Indermitte, C.
Clementi, Andrea E. F., 299(1)751--761, 302(1)337--364
Clementi:2003:DBR, 302(1)337--364
Clementi:2003:MBR, 299(1)751--761
climbing, hill-, 320(1)135--153
clique, 263(1)3--8, 276(1)17--32, 299(1)537--584, 326(1)57--67
clique-width, 299(1)719--734
Clobber, 313(3)325--338, 313(3)533--537
clock, 308(1)259--276
Clos, 261(2)323--328, 314(3)375--386
closed, 231(2)253--273, 275(1)215--258, 284(2)279--318, 290(1)189--219, 306(1)85--100, 321(2)271--281
Closedness, 268(2)367--393
closing, 309(1)529--554
closure, 231(2)143--156, 245(1)115--133, 255(1)593--600, 270(1)1--70, 284(2)499--518, 296(3)473--485, 299(1)387--412, 299(1)663--685, 305(1)457--471, 306(1)19--38, 322(1)69--84
Cluet, Sophie, 275(1)179--213
Cluet, Sophie, see Abiteboul, Serge
clustering, 286(1)139--149, 308(1)145--197
CNN, 324(2)347--359
co-idempotent, 299(1)603--631
coalgebra, 233(1)129--145, 239(1)41--95, 249(1)3--80, 260(1)57--69, 260(1)87--117, 260(1)119--138, 260(1)209--228, 260(1)229--247, 269(1)419--431, 280(1)3--34, 280(1)105--122, 280(1)123--135, 291(3)329--349, 294(1)3--29, 308(1)131--143, 311(1)257--283, 316(1)3--23, 327(1)45--69, 327(1)71--108, 327(1)109--134
coalgebraic, 260(1)27--55, 266(1)853--886, 280(1)35--68, 280(1)69--103, 280(1)163--192, 300(1)1--45, 309(1)177--193, 327(1)23--44, 327(1)175--195
coalitions, 273(1)295--304, 282(2)231--257
Cocco, Simona, 320(2)345--372
Cocco:2004:HAC, 320(2)345--372
Cockett, J. R. B., 270(1)223--259, 294(1)61--102
Cockett:2002:RCC, 270(1)223--259
Cockett:2003:RCI, 294(1)61--102
cocycle, 262(1)191--213
code, 235(2)283--308, 246(1)285--298, 255(1)151--162, 255(1)483--509, 262(1)333--347, 263(1)311--332, 270(1)969--976, 271(1)97--109, 273(1)143--165, 273(1)167--183, 273(1)185--196, 273(1)295--304, 284(2)467--485, 289(1)755--782, 290(2)1175--1199, 299(1)81--106, 301(1)399--415, 306(1)123--137, 306(1)223--243, 307(1)129--138, 315(2)405--417, 315(2)469--510, 319(1)411--421, 322(2)313--334, 329(1)177--202
code, pseudo-, 315(2)469--510
Codenotti, Bruno, 235(1)89--107
Codenotti:2000:SSP, 235(1)89--107
Codevico, Gianni, 315(2)581--592
Codevico, Gianni, see Pan, Victor Y.
codicity, 303(2)417--430
coding, 235(1)3--23, 263(1)145--158, 281(1)99--107, 284(1)161--180, 307(2)221--239, 310(1)393--456
Codish, Michael, 238(1)131--159
Codish:2000:TDL, 238(1)131--159
coefficient, 279(1)51--64
cographs, 263(1)99--111, 294(3)473--488
Cohen, Gérard, 273(1)295--304, see Encheva, Sylvia
Cohen, Johanne, 264(1)53--64
Cohen, Johanne, see Barrière, Lali
Cohen, Myra B., 297(1)103--117
Cohen:2003:OPO, 297(1)103--117
coherence, 294(3)379--409, 318(1)29--55
coinduction, 309(1)111--123
coinductive, 275(1)575--587, 308(1)1--53, 311(1)105--119
Coja-Oghlan, Amin, 329(1)1--45
Coja-Oghlan:2004:TCA, 329(1)1--45
Col, Marie-Andrée Jacob-Da, 259(1)245--269, 283(1)183--201
Col:2001:AQA, 259(1)245--269
Col:2002:ALC, 283(1)183--201
Cola, Dino Di, 258(1)393--407
Cola, Dino Di, see Corradini, Flavio
Colbourn, Charles J., 297(1)103--117
Colbourn, Charles J., see Cohen, Myra B.
Colby, Christopher, 290(2)1175--1199
Colby:2002:ATP, 290(2)1175--1199
Collage, 298(1)253--272
collapsing, 296(2)253--267, 312(2)143--188, 325(1)45--67
collection, 298(3)529--556, 298(3)557--581
collective, 233(1)165--189
Colonies, 244(1)289--298
color, 235(2)309--324, 257(1)167--183
colorability, 319(1)455--482
colored, 244(1)167--188, 307(2)277--302
colored-edges, 319(1)59--70
coloring, 230(1)75--95, 255(1)33--50, 265(1)227--264, 270(1)361--399, 281(1)291--309, 289(1)355--399, 297(1)119--143, 302(1)239--256
coloring, edge-, 295(1)263--278
colorings, -, 281(1)291--309
colorings, T-, 263(1)275--281
coloured, 273(1)271--282
colouring, 263(1)59--74, 297(1)145--155
colouring, edge-, 326(1)409--418
Colton, M. Martín, Farach-, 321(1)5--12
Colton, Martin, Farach-, 312(1)3--15
column-convex, 307(2)319--325
combination, 266(1)113--157, 290(1)291--353, 315(2)405--417
combinator, 247(1)277--290, 274(1)231--276, 290(1)779--830, 290(1)975--1019
combinatorial, 155(2)447--457, 238(1)477--482, 240(2)271--298, 249(2)265--288, 255(1)679--686, 263(1)235--245, 263(1)283--304, 270(1)441--461, 271(1)111--123, 273(1)11--33, 273(1)143--165, 301(1)45--78, 304(1)485--497, 310(1)479--488, 313(3)393--415, 313(3)539--543, 329(1)1--45
combinatorics, 281(1)37--80, 297(1)261--270, 303(2)333--351
combinatorist, 307(3)457--472
combinatory, 311(1)199--220
Combined, 320(2)247--267
combining, 280(1)137--162, 294(1)103--149, 299(1)633--662, 324(2)201--218
Comet, J.-P., 293(1)189--217
Comet:2003:AMP, 293(1)189--217
comma-free, 301(1)399--415
commerce, 291(3)223--283
committee, 284(1)25--51
common, 233(1)33--50, 250(1)1--30, 286(2)153--196, 299(1)707--718, 301(1)1--30, 303(1)53--62, 306(1)407--430, 315(2)405--417
Communicated, 276(1)147--181
communicating, 254(1)557--589, 255(1)163--191, 255(1)511--538, 274(1)3--41, 276(1)205--219
communication, 233(1)165--189, 233(1)191--199, 255(1)511--538, 264(1)65--90, 269(1)1--21, 287(1)337--353, 298(3)387--415, 300(1)379--409, 322(2)355--368
communications, 289(1)51--67, 290(3)1883--1895
commutation, 273(1)69--79, 324(1)107--131
commutative, 289(1)531--551
commutative, non-, 294(3)335--351, 294(3)551--573
comonad, 280(1)137--162
compact, 250(1)265--332, 270(1)935--946, 305(1)77--84, 313(1)45--56, 315(2)469--510, 316(1)113--136, 316(1)259--296, 328(3)221--244
Compagnoni, Adriana, 266(1)273--309
Compagnoni, Adriana, see Aspinall, David
companion, 324(2)183--200
comparable, 302(1)467--474, 315(2)405--417, 315(2)469--510
comparative, 238(1)81--130
comparator, 245(2)175--202, 250(1)235--245
compare, 315(2)469--510
compared, 315(2)469--510
comparing, 240(1)49--90, 279(1)3--27, 285(2)319--358
comparison, 268(2)351--366, 271(1)37--46, 276(1)449--459, 283(1)243--268, 290(1)465--498, 291(3)285--327, 293(1)189--217, 306(1)471--484, 309(1)65--109, 321(1)95--101
compartments, 325(1)141--167
compatible, 258(1)169--208, 281(1)177--206, 296(1)3--13, 310(1)159--180
competition, 313(3)377--392, 326(1)45--56
competitive, 234(1)203--218, 310(1)159--180, 310(1)457--467, 310(1)527--537, 324(2)253--271, 324(2)273--288, 324(2)337--345, 325(3)467--478
competitiveness, 242(1)313--325
compilation, 248(1)99--145, 282(1)151--190
compiler, 248(1)147--199, 291(3)351--385
Compiling, 293(2)447--475
complematarity, 250(1)163--178
complement, 238(1)247--274
complementary, 263(1)211--229
complete, 231(2)309--334, 234(1)273--286, 245(1)27--54, 249(2)325--342, 251(1)1--166, 257(1)115--151, 260(1)71--86, 266(1)489--512, 273(1)185--196, 286(1)139--149, 297(1)399--424, 306(1)177--194, 316(1)225--258, 326(1)137--153
complete, NP-, 230(1)39--48, 255(1)607--610, 299(1)451--475, 304(1)471--476, 307(3)567--572
complete, ``P-, 234(1)325--326
complete, P-, 127(1)181--186
complete, P-, 127(1)181--186
complete, PSPACE-, 242(1)247--281, 270(1)895--911, 289(1)829--843
complete, semi-, 258(1)435--451
completely, 300(1)1--45
completeness, 254(1)259--271, 254(1)543--556, 256(1)145--167, 266(1)365--405, 272(1)197--221, 272(1)341--398, 275(1)575--587, 281(1)471--498, 294(1)269--305, 308(1)227--237, 309(1)177--193
completeness, APX-, 237(1)123--134
completeness, NP-, 259(1)81--98, 263(1)305--310, 319(1)447--454
Completing, 301(1)399--415
completion, 278(1)141--158, 278(1)159--194, 306(1)123--137
complex, 235(2)225--237, 305(1)491--502, 315(2)651--669
complexité, 250(1)265--332
complexity-theoretic, 244(1)205--217, 249(2)243--263
component, 244(1)289--298, 259(1)307--321, 262(1)229--240, 299(1)179--210, 299(1)743--749, 299(1)785--794
composed, 299(1)451--475
Composing, 243(1)339--361
composition, 266(1)631--652, 292(1)263--281, 311(1)463--478, 329(1)251--269
compositional, 280(1)163--192, 290(1)599--635, 327(1)45--69
comprehensive, 322(2)383--407
compressed, 298(1)253--272
compression, 127(1)181--186, 234(1)325--326, 240(2)447--469, 302(1)211--222, 302(1)275--294, 304(1)87--101, 313(1)133--144
Comput, 234(1)323--323, 234(1)325--326, 254(1)691--694, 255(1)697--697, 266(1)997--998, 299(1)795--795, 302(1)497--498, 311(1)527--527, 347(1)437--440, 352(1)347--348, 377(1)282--283, 817(z)81--82
computability, 234(1)109--133, 262(1)473--499, 264(1)3--23, 271(1)15--35, 284(2)419--436, 284(2)487--498, 305(1)43--76, 312(2)295--319, 317(1)209--225, 326(1)187--211
computable, 243(1)449--466, 270(1)947--958, 271(1)47--58, 279(1)51--64, 284(2)279--318, 284(2)319--345, 284(2)373--396, 284(2)499--518, 315(1)109--133, 322(1)17--39
computably, 284(2)539--555
computation, 239(2)231--255, 240(2)319--335, 246(1)239--252, 249(1)81--161, 254(1)465--499, 255(1)593--600, 258(1)269--297, 258(1)523--553, 259(1)671--678, 261(1)157--178, 266(1)975--985, 272(1)293--314, 284(2)437--453, 284(2)467--485, 286(1)97--116, 287(1)39--58, 287(1)145--165, 287(1)187--207, 287(1)267--298, 289(1)485--501, 290(1)863--936, 292(1)33--43, 297(1)337--354, 306(1)69--84, 312(1)75--97, 314(1)287--292, 315(2)405--417, 317(1)115--145, 317(1)147--165, 318(1)3--27, 320(1)71--87, 322(1)85--136, 325(3)373--390, 326(1)229--240
computation-universal, 231(2)181--191
computational, 47(2)149--158, 127(1)181--186, 155(2)447--457, 233(1)91--106, 235(1)89--107, 237(1)33--55, 237(1)135--148, 244(1)1--33, 260(1)165--207, 270(1)591--608, 276(1)147--181, 282(2)381--395, 283(1)67--108, 284(2)199--206, 289(1)591--627, 294(3)353--378, 295(1)141--151, 305(1)3--15, 312(2)223--249, 312(2)401--431, 315(2)469--510, 318(1)139--161, 318(1)225--241, 320(1)89--109, 322(1)137--146
computationally, 327(3)375--390
compute, 315(2)405--417
computer, 257(1)85--105, 279(1)3--27, 286(2)323--366, 291(2)133--134, 313(3)315--324, 315(2)469--510, 322(1)175--179
computing, 231(2)275--296, 233(1)107--127, 255(1)555--568, 263(1)37--46, 270(1)761--777, 276(1)111--132, 287(1)3--38, 287(1)73--100, 287(1)267--298, 287(2)387--391, 287(2)501--514, 289(1)783--800, 290(2)1115--1126, 291(1)29--53, 292(3)597--610, 292(3)653--665, 296(1)47--58, 301(1)355--379, 311(1)221--256, 312(2)143--188, 312(2)337--358, 315(2)405--417, 317(1)61--69, 320(1)15--33, 321(1)149--170, 322(3)567--613, 326(1)383--398
concatenation, 259(1)533--548, 292(1)317--342, 293(2)391--416
concaténation, 233(1)217--231
concept, 268(2)323--349, 317(1)209--225
concerning, 329(1)47--70
Concrete, 258(1)233--267
concurrency, 281(1)131--176, 309(1)503--527, 316(1)153--190, 322(3)517--565
concurrent, 202(1)1--54, 254(1)501--542, 254(1)691--694, 259(1)359--377, 274(1)231--276, 278(1)223--255, 281(1)109--130, 281(1)369--421, 323(1)1--48
condensation, 319(1)29--57
condensing, 267(1)61--82
condition, 231(1)47--57, 239(1)165--185, 276(1)417--424, 293(1)13--24, 301(1)79--101, 309(1)287--311, 315(2)525--555
conditional, 236(1)209--232, 262(1)311--331, 271(1)59--67, 271(1)69--95, 271(1)97--109, 271(1)145--150, 285(2)245--288, 314(3)431--443
Conditioning, 230(1)149--166
Condon, Anne, 287(1)39--58, 320(1)35--50
Condon, Anne, see Brenneman, Arwen
Condon:2004:CRP, 320(1)35--50
Conejo, Ricardo, 312(1)1--2
Conejo, Ricardo, see Eidenbenz, Stephan
Conference, 257(1)31--49
confidence, 287(1)209--217
configuration, 283(1)183--201, 289(1)573--590, 319(1)83--101, 319(1)127--143, 325(2)171--214
confined, 307(2)257--276
conflict, 306(1)223--243
conflict-free, 286(1)65--95
confluence, 238(1)183--220, 238(1)465--475, 311(1)105--119
Confluency, 290(1)429--463
confluent, 262(1)583--632
conformance, 323(1)191--233
conformon-P, 312(2)295--319
congested, low-, 276(1)315--354
congruences, 262(1)161--189, 270(1)591--608, 274(1)183--230, 290(1)117--160, 300(1)209--234, 301(1)31--43, 304(1)449--459, 306(1)245--268, 324(1)87--105
congruences, pi-, 269(1)83--134
Congruential, 238(1)247--274
conjecture, 235(2)309--324, 240(2)257--269, 255(1)659--665, 257(1)167--183, 299(1)123--150, 314(3)459--466, 315(2)405--417, 325(2)249--271, 329(1)47--70
conjugacy, 289(1)297--312, 302(1)1--34, 310(1)273--285
conjugacy, root-, 292(1)111--130
conjunction, 315(2)419--452, 321(2)347--370
conjunctive, 239(2)211--229, 299(1)663--685, 302(1)365--399, 320(2)419--448
connect, Bounded-, 313(1)73--91
connected, 236(1)179--191, 250(1)1--30, 263(1)3--8, 305(1)221--235, 314(1)121--171, 326(1)137--153, 326(1)431--442, 329(1)325--330
connection, 232(1)231--272, 247(1)213--228, 255(1)63--83, 286(2)247--292, 290(1)1--57, 292(3)697--710, 322(2)237--244
connectives, 293(2)321--343, 300(1)235--258
connectivity, 283(1)171--182, 319(1)203--227
connectivity, finite-, 265(1)199--225
connectivity, link-, 304(1)461--469
connectivity, st-, 237(1)327--345
connectors, 281(1)131--176
coNP, 264(1)127--137
conquer, Divide-and-, 292(3)667--677
conquer, divide-and-, 242(1)377--401
consecutive, 234(1)59--84
Consel, Charles, 248(1)1--2
Consel:2000:F, 248(1)1--2
consequence, 309(1)177--193
conservative, 290(1)831--862, 325(2)285--316
conserving, 304(1)269--290
conserving, Number-, 299(1)523--535
conserving, number-, 292(3)711--721
consider, 315(2)469--510
consistency, 288(2)197--215
constant, 266(1)975--985, 276(1)435--444, 315(2)405--417, 320(1)123--134, 329(1)71--92
constant-round, 292(3)575--588
constant-space, 299(1)763--774
constrained, 275(1)215--258, 289(2)897--917, 290(3)1883--1895, 304(1)237--247, 326(1)261--292
constrained, class-, 321(1)103--123
constraint, 244(1)189--203, 248(1)29--98, 255(1)281--293, 258(1)453--490, 259(1)287--305, 262(1)649--667, 265(1)265--283, 266(1)113--157, 266(1)311--339, 268(2)275--322, 270(1)361--399, 278(1)223--255, 287(1)167--185, 288(1)85--100, 291(2)183--201, 292(3)639--652, 293(2)321--343, 293(3)557--577, 322(2)313--334, 325(1)3--24, 328(3)289--323, 329(1)93--113
constraint, linear-, 254(1)423--463
constraint-based, 258(1)299--392
constructible, 235(2)225--237, 270(1)797--809, 296(1)117--144
constructing, 255(1)151--162, 265(1)265--283, 289(1)277--295, 326(1)137--153
construction, 212(1)261--303, 232(1)187--229, 232(1)231--272, 243(1)199--215, 250(1)235--245, 255(1)539--553, 260(1)3--25, 262(1)101--115, 266(1)997--998, 267(1)17--34, 269(1)23--46, 289(1)137--163, 296(2)269--293, 299(1)687--706, 300(1)235--258, 304(1)485--497, 306(1)223--243, 320(2)269--291
constructive, 237(1)407--421, 277(1)47--103, 279(1)51--64, 284(2)207--240, 284(2)259--267, 305(1)85--109, 305(1)473--489
constructive, non-, 238(1)489--494
constructor-based, 298(3)471--510
consumption, 243(1)289--305
containment, 239(2)211--229
contemporary, 315(2)405--417
content, 301(1)477--489
context, 237(1)149--158, 237(1)423--427, 246(1)279--284, 248(1)3--27, 266(1)249--272, 270(1)959--967, 271(1)15--35, 275(1)463--479, 299(1)327--346, 301(1)217--270, 301(1)313--320
context-free, 230(1)247--256, 237(1)135--148, 242(1)327--359, 246(1)131--150, 255(1)511--538, 255(1)601--605, 255(1)667--677, 258(1)573--598, 262(1)669--697, 267(1)35--47, 269(1)283--315, 299(1)785--794, 306(1)113--122, 307(1)103--116, 314(3)445--449, 327(3)255--268
context-free-language, 248(1)29--98
Context-freeness, 314(3)445--449
context-freeness, non-, 293(2)261--289
contiguous, 270(1)843--856
contingency, 246(1)265--278, 326(1)117--135
Continuation-based, 240(1)117--146
continues, 250(1)265--332
continuity, 250(1)71--82, 276(1)445--447
continuous, 234(1)109--133, 263(1)345--354, 282(2)353--380, 290(1)407--428, 294(1)3--29, 300(1)331--363, 315(1)3--34, 316(1)75--87, 316(1)89--103, 318(3)355--372
continuous, semi-, 234(1)109--133
continuous-time, 306(1)353--372, 317(1)147--165
continuum, 280(1)105--122
contract, 283(2)419--450
contractile, 321(2)171--194
contracting, 312(1)75--97
contraction, 290(1)545--564
Contractivity, 279(1)65--82
Contrast-optimal, 240(2)471--485
control, 240(1)215--254, 244(1)135--165, 270(1)287--308, 279(1)3--27, 282(2)303--318, 293(1)25--44, 322(3)615--669, 326(1)399--408
control-driven, 240(1)3--47
controllers, 274(1)117--149, 303(1)7--34
convention, 319(1)367--384
convergence, 284(1)3--24, 284(1)181--196, 285(1)101--117, 305(1)159--186, 306(1)269--289, 310(1)181--231, 312(2)281--293, 315(2)557--579, 329(1)47--70
Conversation, 328(1)19--37
conversion, 230(1)235--245, 266(1)887--934, 292(1)221--235
Converting, 295(1)189--203
convex, 235(2)267--270, 235(2)271--282, 235(2)325--337, 283(1)223--242, 289(1)277--295, 292(1)145--164, 296(1)47--58, 304(1)35--57, 319(1)333--356, 321(1)25--40
convex, column-, 307(2)319--325
Convexity, 244(1)95--116, 263(1)191--204
convolution, 242(1)143--168
Conway, 289(1)705--725
Cook, 235(1)71--88
cooperating, 259(1)405--426, 262(1)229--240, 299(1)633--662
cooperative, 242(1)1--27
coordinated, 242(1)169--197
Coordinating, 240(1)91--115
coordination, 240(1)3--47, 240(1)117--146
Copeland, B. J. B. Jack, 317(1)251--267
Copeland:2004:HPI, 317(1)251--267
copies, 321(1)149--170
coping, 270(1)71--109
Coppo, Mario, 272(1)69--112
Coppo:2002:STN, 272(1)69--112
Coq, 272(1)293--314, 323(1)351--397, 323(1)399--442
Coquand, Thierry, 290(1)1107--1113, 305(1)77--84
Coquand:2002:SPM, 290(1)1107--1113
Coquand:2003:RSC, 305(1)77--84
corecursion, 260(1)139--163, 294(1)233--267
cores, 264(1)91--125
Cori, Robert, 276(1)1--15, 292(1)165--183
Cori:2002:PIS, 276(1)1--15
Cori:2003:DTT, 292(1)165--183
Corradini, A., 323(1)129--189
Corradini, A., see Baldan, P.
Corradini, Andrea, 260(1)27--55, 280(1)163--192, 286(2)293--322
Corradini, Flavio, 258(1)393--407, 269(1)47--82
Corradini:2001:CPS, 260(1)27--55
Corradini:2001:SDA, 269(1)47--82
Corradini:2001:TUT, 258(1)393--407
Corradini:2002:CSB, 280(1)163--192
Corradini:2002:FSM, 286(2)293--322
correctly, 315(2)405--417
correctness, 266(1)513--541, 283(2)305--331, 290(1)59--78
correlation, 292(3)697--710, 312(2)321--335
correspondence, 231(2)193--203, 232(1)273--298, 275(1)179--213, 276(1)183--204, 300(1)379--409, 315(1)135--149
corridor, 255(1)627--639
corrigendum, 202(1)1--54, 212(1)261--303, 254(1)691--694, 266(1)997--998, 272(1)41--68, 289(1)457--471, 299(1)795--795, 817(z)81--82
Corteel, Sylvie, 297(1)119--143, 320(2)395--418
Corteel, Sylvie, see Béal, M.-P. Marie-Pierre
Corteel:2003:PPC, 297(1)119--143
Cortesi, Agostino, 275(1)521--560
Cortesi:2002:OAS, 275(1)521--560
coset, 235(2)283--308
cost, 233(1)247--261, 255(1)555--568, 259(1)455--473, 268(1)3--16, 287(2)571--584, 292(1)145--164, 304(1)215--236, 326(1)431--442, 328(1)53--75
cost-effective, 277(1)185--217, 279(1)3--27
Coulon, F., 327(3)241--253, 347(1)437--440
Coulon, F., see Champarnaud, J.-M.
countable, 270(1)935--946, 288(1)129--152, 305(1)433--455
countably, 305(1)299--310
counter, 270(1)811--826, 289(1)165--189, 289(1)401--423, 289(1)573--590, 312(2)359--378, 320(2)175--185
counter, one-, 289(2)963--976, 304(1)157--183
counterexample, 307(1)117--127
counting, 234(1)255--272, 237(1)429--437, 237(1)465--475, 242(1)41--58, 242(1)199--218, 246(1)265--278, 257(1)107--114, 264(1)139--153, 281(1)291--309, 288(1)153--180, 293(2)391--416, 304(1)129--156, 313(1)17--29, 313(3)527--532, 319(1)385--409, 326(1)1--28, 329(1)315--323
Courcelle, Bruno, 237(1)1--32, 244(1)63--94, 281(1)177--206, 299(1)1--36
Courcelle:2000:MSOa, 237(1)1--32
Courcelle:2000:MSOb, 244(1)63--94
Courcelle:2002:EFO, 281(1)177--206
Courcelle:2003:MSO, 299(1)1--36
Cousineau, Guy, 281(1)207--217
Cousineau:2002:TPE, 281(1)207--217
Cousot, Patrick, 277(1)47--103, 290(1)531--544
Cousot, Radhia, 290(1)531--544
Cousot, Radhia, see Cousot, Patrick
Cousot:2002:CDH, 277(1)47--103
Cousot:2002:PAI, 290(1)531--544
covariances, 297(1)317--336
covarieties, 260(1)71--86
cover, 250(1)179--200, 262(1)349--375, 263(1)17--29
cover-automata, 267(1)3--16
covering, 230(1)97--116, 235(2)283--308, 263(1)311--332, 263(1)333--344, 265(1)199--225, 306(1)543--551
CPS, 234(1)309--321, 308(1)239--257
Crary, Karl, 290(2)1175--1199
Crary, Karl, see Colby, Christopher
Creignou, Nadia, 302(1)417--430
Creignou:2003:GSP, 302(1)417--430
Crescenzi, P., 288(1)85--100
Crescenzi, Pilu, 304(1)341--364
Crescenzi:2002:HDC, 288(1)85--100
Crescenzi:2003:TSL, 304(1)341--364
Crescenzo, Giovanni Di, 295(1)123--140
Crescenzo:2003:SOS, 295(1)123--140
CREW, 255(1)555--568
Crick, Watson-, 259(1)689--698, 281(1)537--553, 289(1)485--501, 301(1)187--200, 302(1)481--488, 306(1)101--112
criteria, 268(2)351--366, 302(1)295--317, 321(2)371--382
critical, 242(1)283--300, 279(1)3--27
Crochemore, Maxime, 292(1)185--197, 314(1)173--187
Crochemore, Maxime, see Amir, Amihood
Crochemore:2003:RSI, 292(1)185--197
Crolard, Tristan, 254(1)151--185
Crolard:2001:SL, 254(1)151--185
Croot, Ernie, 315(2)405--417
Croot:2004:ACC, 315(2)405--417
Cross, 301(1)79--101
Cross-monotonic, 326(1)431--442
crossing, 244(1)63--94, 245(2)281--294
Crutchfield, James P., 237(1)275--306
Crutchfield, James P., see Moore, Cristopher
Crvenkovi{\'c}, S., 230(1)235--245
Crvenkovi{\'c}, Sini{\v{s}}a, 289(1)531--551
Crvenkovic:2000:VKA, 230(1)235--245
Crvenkovic:2002:ACR, 289(1)531--551
cryptographic, 259(1)679--688, 268(2)199--219, 290(1)695--740
cryptographic, Non-, 306(1)139--154
Cryptographically, 276(1)133--146
cryptography, 240(2)471--485, 250(1)143--161, 314(3)351--374
cryptosystems, 255(1)401--422
Csirik, János A., 306(1)69--84, see Balogh, József
CSP, 280(1)3--34
Csuhaj-Varjú, Erzsébet, 255(1)511--538, 276(1)205--219, 299(1)785--794
Csuhaj-Varju:2001:CFP, 255(1)511--538
Csuhaj-Varju:2002:PCG, 276(1)205--219
Csuhaj-Varju:2003:PGS, 299(1)785--794
Cube, 297(1)355--366
cube-product, 245(1)103--113
cubes, 322(1)203--219
cubic, 237(1)123--134, 307(3)531--547
Cucker, Felipe, 255(1)593--600
Cucker:2001:WWC, 255(1)593--600
Culberson, Joseph, 265(1)227--264
Culberson:2001:FDG, 265(1)227--264
Cumulative, 292(1)97--109
Cuninghame-Green, R. A., 293(1)3--12
Cuninghame-Green:2003:EM, 293(1)3--12
Curi, Giovanni, 305(1)85--109
Curi:2003:CMP, 305(1)85--109
Curien, Pierre-Louis, 281(1)3--23
Curien:2002:BBS, 281(1)3--23
current, 315(2)469--510
Currie, J. D. James D., 319(1)441--446
Currie:2004:NBW, 319(1)441--446
Curti, M., 325(1)111--140
Curti:2004:MBP, 325(1)111--140
curve, 235(1)145--162, 235(1)163--170, 310(1)135--146, 315(2)627--650, 321(1)59--72
custom, 279(1)3--27
customizable, 290(2)1223--1251
cut, 252(1)151--175, 316(1)113--136, 323(1)71--127
cut, Multi-, 252(1)177--196
cut-elimination, 232(1)91--119, 281(1)471--498
Cut-free, 243(1)185--197
cutsets, 301(1)463--475
cutting, 328(3)271--287
cycle, 263(1)87--98, 296(1)117--144, 313(1)145--158, 322(2)237--244
cycle?, face-, 235(2)267--270
cycle-sum, 254(1)663--676
cyclic, 252(1)13--22, 281(1)325--349, 307(3)567--572, 322(2)313--334, 322(2)369--381
cyclicity, 262(1)25--36
Cylindric, 269(1)451--468
Czaja, Ludwik, 238(1)161--181
Czaja:2000:PLN, 238(1)161--181
Czeizler, Eugen, 325(2)273--284
Czeizler:2004:SIN, 325(2)273--284
Czumaj, Artur, 245(2)151--173, 262(1)569--582, 302(1)489--495
Czumaj, Artur, see Chlebus, Bogdan S.
Czumaj:2001:EWS, 262(1)569--582
Czumaj:2003:PTA, 302(1)489--495