Index file section C for actainfo.bib

Last update: Thu Mar 27 02:00:11 MDT 2025

Return to index directory

C

C, 1(2)115--138, 6(3)317--318, 8(4)315--324
C++, 43(1)45--71
CA, 9(1)1--21, 58(4)451--462
CAAP, 19(3)255--268
Cabibbo, Luca, 35(8)637--643
Cabibbo, Luca, see Van den Bussche, Jan
Cache, 30(2)131--146
caching, 42(1)21--42, 43(3)195--222
Cadilhac, Michaël, 59(4)321--336
Cadilhac:2022:RLW, 59(4)321--336
CADP, 52(4)337--392
cake, 26(4)381--407
calculate, 36(7)545--590
calculated, 8(4)341--357
calculation, 1(z)139--144, 1(z)320--335, 2(z)64--79, 27(6)481--503, 29(3)281--302
calculi, 16(2)161--197, 33(8)707--737, 46(4)255--284
calculs, 19(3)255--268
calculus, 11(3)287--304, 21(5)417--441, 25(6)593--624, 27(8)725--747, 28(5)411--445, 28(6)559--574, 30(1)1--59, 31(6)513--524, 33(1)69--97, 35(5)353--400, 35(11)921--949, 35(12)1007--1036, 37(6)385--448, 41(9)525--593, 42(2)83--141, 42(2)143--190, 42(2)191--225, 42(4)291--347, 46(2)87--137, 55(4)269--307, 57(6)801--827, 61(2)161--181
calculus, CPS-, 47(2)111--132
calculus, pi-, 40(6)385--430
Calculus, Situational-, 16(4)371--426
Calders, Toon, 44(7)591--624
Calders:2007:CSC, 44(7)591--624
Caleiro, Carlos, 35(9)729--773, 36(8)591--616
Caleiro, Carlos, see Ehrich, Hans-Dieter, see Sernadas, Amílcar
called, so-, 21(5)473--484
calls, 6(1)41--60, 8(2)145--152, 23(4)357--360
Calzarossa, Maria, 23(3)255--266
Calzarossa:1986:WMR, 23(3)255--266
Campbell, Roy H., 5(4)297--332, 7(3)325--325
Campbell, Roy H., see Lauer, P. E.
Câmpeanu, Cezar, 46(3)193--207
Campeanu:2009:CPE, 46(3)193--207
cannot, 8(1)21--36, 8(2)153--175
Cano, Mauricio, 59(1)1--87
Cano:2022:SBC, 59(1)1--87
Canonical, 1(z)111--114, 24(2)157--171, 40(2)95--118
Cantor, David G., 28(7)693--701
Cantor, J., 23(6)657--678
Cantor-Bernstein, 35(12)1075--1096
Cantor:1986:ITA, 23(6)657--678
Cantor:1991:FMP, 28(7)693--701
Cao, Chunhua, 53(1)23--33, 60(4)453--465
Cao:2016:CKK, 53(1)23--33
Cao:2023:SSC, 60(4)453--465
capability, 60(3)317--329
capacity, 10(3)273--296, 13(1)87--107, 60(3)317--329
capacity-preserving, 62(1)z--99999999
Caporaso, Salvatore, 35(8)665--672
Caporaso:1998:RBU, 35(8)665--672
capture, 37(10)699--725
Caracterise, 19(3)255--268
Carayol, Arnaud, 43(4)265--292
Carayol:2006:LBI, 43(4)265--292
Carbone, Marco, 54(3)243--269
Carbone:2017:MST, 54(3)243--269
Careful, 59(4)479--504
Carlo, 23(6)697--705
Carlsson, Svante, 29(3)267--280
Carlsson:1992:PPS, 29(3)267--280
Caron, Pascal, 49(6)413--436
Caron:2012:MTB, 49(6)413--436
Carpi, Arturo, 36(12)983--1006, 37(8)597--618, 38(6)409--436, 46(8)591--607
Carpi:2000:SFP, 36(12)983--1006
Carpi:2001:PLW, 37(8)597--618
Carpi:2002:WUF, 38(6)409--436
Carpi:2009:STA, 46(8)591--607
carried, 31(7)601--627
Carter, Lynn Robert, 18(2)135--147
Carter:1982:FAC, 18(2)135--147
Cartwright, Robert, 15(4)365--384
Cartwright:1981:LA, 15(4)365--384
Casanova, Marco A., 14(3)195--220, 15(4)471--471
Casanova:1980:GPS, 14(3)195--220, 15(4)471--471
Casanova:1981:EGP, 14(3)195--220, 15(4)471--471
case, 7(2)123--136, 8(3)267--283, 8(4)303--314, 17(1)43--61, 17(3)245--265, 22(2)171--186, 22(4)451--473, 24(4)475--489, 24(5)555--564, 26(4)349--362, 29(8)689--736, 30(3)215--231, 53(3)207--246, z(z)z--z
case, Average-, 35(3)211--243
case, average-, 35(1)17--89
Case, Worst-, 9(2)23--29, 13(2)155--168
case, Worst-, 26(3)269--277
case, worst-, 30(3)215--231, 38(11)735--792
Cash, 43(1)45--71
Caspi, Paul, 22(6)595--627
Caspi:1986:FMD, 22(6)595--627
Cassaigne, Julien, 30(4)385--395
Cassaigne:1993:UBP, 30(4)385--395
Cassar, Ian, 60(4)385--451
Cassar, Ian, see Aceto, Luca
Castellani, Ilaria, 56(7)553--583
Castellani:2019:RSF, 56(7)553--583
Castellanos, Juan, 39(6)517--529, 50(1)1--14
Castellanos, Juan, see Arroyo, Fernando
Castellanos:2003:NEP, 39(6)517--529
categorical, 34(12)927--963
category, 32(1)61--78
Category-Based, 33(5)477--510
Category-theoretic, 38(1)1--44
catenation, Bi-, 35(8)689--707
Catenative, 2(z)214--248
Cau, A., 33(2)153--176
Cau:1996:PCA, 33(2)153--176
causal, 34(9)667--686, 42(6)389--418
causality, 31(8)697--718, 33(4)317--350, 35(5)353--400, 36(5)335--374, 52(1)5--33, 55(3)227--267
cause, 8(1)21--36, 8(4)325--334
caused, 8(4)325--334
Cavadini, Salvador Valerio, 40(5)349--365
Cavadini, Salvador Valerio, see Andrei, Stefan
Cavalcanti, Ana, 48(2)97--147, 59(1)125--162, 59(2)283--283
Cavalcanti, Ana, see Baxter, James
Cavalcanti:2011:TRC, 48(2)97--147
Cazzola, Walter, 51(7)419--447
Cazzola:2014:IGS, 51(7)419--447
CCS, 23(1)9--66, 23(5)507--527, 26(1)59--91, 27(6)533--565, 31(1)55--80, 49(5)313--341, 52(2)175--205, 58(1)1--34
ccs, 21(1)61--88, 21(5)417--441, 23(5)507--527, 26(1)59--91
{CD}-systems, pushdown-, 50(4)229--255
CDAWGs, 61(4)445--468, 62(1)z--99999999
Cederbaum, Mila E., Majster-, 31(1)81--104, 34(9)701--735
Cederbaum, Mila, Majster-, 39(8)531--577, 42(6)389--418
Celentano, Augusto, 10(4)307--321
Celentano:1978:ILP, 10(4)307--321
cell, 6(1)41--60, 22(4)397--420, 36(11)913--926, 62(1)z--99999999
cellular, 19(4)397--407, 21(4)393--407, 31(4)379--397, 35(4)329--352, 58(4)319--333
Cenciarelli, Pietro, 56(5)405--431
Cenciarelli:2019:DCD, 56(5)405--431
cent, 18(4)377--392
center, 17(3)245--265
central, 3(4)321--345, 8(2)177--192
centrale, 3(4)321--345
centralisées, 12(4)321--338
Centralized, 12(4)321--338
{\v{C}}ern{\'a}, Ivana, 36(3)233--256
Cerna:1999:CEN, 36(3)233--256
certain, 5(4)297--332, 6(4)407--415, 7(1)35--60, 8(3)267--283, 15(2)153--166, 17(1)43--61, 19(3)297--304, 20(2)179--196, 27(6)505--517
Certificate, 31(5)479--502, 34(11)859--879
ces, 19(3)255--268
Ceska, Milan, 54(6)589--623
Ceska:2017:PPS, 54(6)589--623
Cf, 19(3)255--268
CFFD, 57(3)353--383
CFG, 7(1)61--73
CFL, Co-, 26(8)749--769
chain, 17(4)425--433, 29(6)579--594, 54(5)447--485, 55(6)521--545, 58(6)653--674, 60(3)317--329
Chain-Free, 22(5)499--536
Chakaravarthy, Venkatesan T., 38(8)587--598
Chakaravarthy:2002:NAP, 38(8)587--598
Chakka, Ram, 37(11)881--919, 48(4)243--269
Chakka, Ram, see Do, Tien Van
Chakka:2001:MMM, 37(11)881--919
Chakrabarti, Amit, 48(7)417--426
Chakrabarti:2011:QCE, 48(7)417--426
challenging, 60(3)317--329
Champarnaud, Jean-Marc, 49(6)413--436
Champarnaud, Jean-Marc, see Caron, Pascal
Chan, Edward P. F., 25(5)475--496, 28(8)777--799
Chan, Edward P. F., see Atzeni, Paolo
Chan:1988:GDS, 25(5)475--496
Chandra, Ashok K., 6(1)89--94, 20(1)103--111
Chandra, Ashok K., see Book, Ronald V.
Chandra:1983:SBV, 20(1)103--111
Chandy, K. Mani, 40(4)265--301
Chandy, K. Mani, see Charpentier, Michel
Chang, Maw-Shang, 34(5)337--346
Chang, Maw-Shang, see Liang, Y. Daniel
Chang, S. C., 29(3)281--302
Chang, S. C., see Du, M. W.
change, 2(2)143--161, 29(3)281--302, 60(4)331--333
Channel, 22(1)1--14
channels, 36(6)425--446, 41(9)525--593, 43(3)147--164, 56(5)405--431
Chanson, Samuel T., 34(8)579--595
Chanson, Samuel T., see Hui, Chi-Chung
Chanzy, Philippe, 37(4)355--383
Chanzy:2001:ARS, 37(4)355--383
CHAP, 48(5)317--361
Chapman, N. P., 21(1)29--45
Chapman:1984:LPG, 21(1)29--45
chaque, 19(3)255--268
character, 26(7)597--614, 29(3)281--302, 59(6)709--724
Characterisation, 30(8)773--785
characterised, 8(2)193--199
characterises, 8(4)303--314
characteristic, 3(4)365--383, 7(4)395--398, 8(4)341--357, 23(3)255--266, 54(3)271--341, 57(3)671--687
characterization, 5(4)297--332, 11(2)149--168, 15(2)129--139, 16(1)1--13, 16(1)63--85, 16(4)427--464, 20(2)159--170, 21(2)171--181, 21(2)193--207, 28(1)83--94, 28(2)179--186, 29(8)761--778, 30(1)61--87, 34(8)637--652, 36(8)617--663, 48(1)19--24, 49(4)225--248, 53(1)23--33
characterize, 19(3)255--268, 27(6)505--517
characterizing, 28(2)121--163, 41(4)293--314, 55(5)445--457, 60(4)453--465
Charakteristik, 7(4)395--398
Charlier, Baudouin, Le, 32(3)209--253
Charpentier, Michel, 40(4)265--301
Charpentier:2004:STP, 40(4)265--301
Charting, 45(7)565--591
Charts, 6(4)361--364
Charts, -, 6(4)361--364
Chatterjee, Kingshuk, 54(5)487--499, 58(3)231--240
Chatterjee, Kingshuk, see Ganguly, Debayan
Chatterjee, Krishnendu, 51(3)129--163, 51(3)193--220, 54(6)543--544
Chatterjee, Krishnendu, see Bloem, Roderick
Chatterjee:2014:SSM, 51(3)129--163
Chatterjee:2017:RWC, 54(5)487--499
Chatterjee:2017:SIS, 54(6)543--544
Chau, Siu-Cheung, 34(1)1--22
Chau, Siu-Cheung, see Wang, Ke
Chaudhuri, Ranjan, 32(4)395--413, 35(10)859--874
Chaudhuri, Soma, 37(3)161--192
Chaudhuri:2000:OWA, 37(3)161--192
Chauhan, Archit, 59(4)289--319
Chauhan, Archit, see Allender, Eric
Chazelle, Bernard, 24(5)565--582
Chazelle:1987:STG, 24(5)565--582
check, 20(2)159--170, 38(7)489--529
checking, 18(3)227--253, 20(2)159--170, 26(1)25--57, 27(8)725--747, 28(5)411--445, 29(6)523--543, 32(2)155--170, 34(2)85--107, 35(8)645--664, 44(1)41--71, 46(1)1--28, 46(3)169--191, 47(1)33--66, 49(5)313--341, 50(2)77--122, 52(2)269--297, 53(6)587--619, 54(8)765--787, 54(8)789--818, 56(1)1--33, 56(4)321--383, 56(6)487--519
checking, Model-, 54(7)625--654
Checkpointing, 15(1)67--81
Checkpoints, 27(6)519--531
Chen, Dongfeng, 50(4)257--287
Chen, Huiyan, 56(6)471--486
Chen, Jingsen, 29(3)267--280
Chen, Jingsen, see Carlsson, Svante
Chen, Kuo-Hsiang, 47(4)209--219
Chen, Kuo-Hsiang, see Fan, Chen-Ming
Chen, Marina C., 21(6)585--598
Chen, Mingshuai, 58(5)497--528
Chen, Mingyuan, 28(8)801--815
Chen, Mingyuan, see Alfa, Attahiru Sule
Chen, Shiping, 61(3)231--260
Chen, X. J., 32(5)415--458
Chen, Yifeng, 41(7)383--414
Chen, Yu-Fang, 61(1)23--52
Chen, Yu-Fang, see Wu, Hao
Chen:1985:DFR, 21(6)585--598
Chen:1995:CRM, 32(5)415--458
Chen:2005:WS, 41(7)383--414
Chen:2013:QOI, 50(4)257--287
Chen:2019:IBS, 56(6)471--486
Chen:2021:IDP, 58(5)497--528
Chen:2024:RAL, 61(3)231--260
Cheng, Edward, 33(4)351--385
Cheng, Edward, see O'Neil, Patrick E.
Cheng, Edward Y. C., 35(3)245--267
Cheng, J. H., 21(3)251--269
Cheng, J. H., see Barringer, H.
Cheng, T. C. E., 36(9)673--692
Cheng:1998:CFL, 35(3)245--267
Cheng:2000:SMS, 36(9)673--692
Cherkasova, Ludmila, 32(3)189--207
Cherkasova:1995:BSS, 32(3)189--207
Chiba, Norishige, 22(2)187--201
Chiba:1985:DPG, 22(2)187--201
child, 26(7)597--614
Chimani, Markus, 62(1)z--99999999
Chimani:2025:DCP, 62(1)z--99999999
Chin, Wei-Ngan, 32(2)93--115, 40(5)349--365
Chin, Wei-Ngan, see Andrei, Stefan
Chin:1995:TMD, 32(2)93--115
Chirkova, Rada, 44(5)289--321, 50(4)257--287
Chirkova, Rada, see Afrati, Foto, see Chen, Dongfeng
Chistikov, Dmitry, 54(8)729--764
Chistikov:2017:ACS, 54(8)729--764
CHOCS, 30(1)1--59
Choe, Kwang-Moo, 31(3)261--283
Choe, Kwang-Moo, see Lee, Myung-Joon
Choffrut, Christian, 21(4)393--407, 49(4)225--248
Choffrut:1984:RTC, 21(4)393--407
Choffrut:2012:FOL, 49(4)225--248
Choi, Hyeong-Ah, 43(3)147--164
Choi, Hyeong-Ah, see Arora, Amrinder
choice, 7(1)35--60, 8(2)125--144, 17(2)121--134, 21(1)89--100, 37(4)329--354, 56(7)553--583
choice-free, 55(7)575--611
Choo, Q. H., 17(4)399--409, 21(5)485--500
Choo, Q. H., see Leung, Clement H. C.
Choosing, 3(4)297--319
Choquet, Annie, 25(1)15--36
Choquet, Annie, see Finkel, Alain
chosen, 8(2)153--175, 26(7)597--614
Chothia, Tom, 54(4)343--378
Chothia, Tom, see Jaghoori, Mohammad Mahdi
Chowdhury, Shyamal K., 24(5)555--564
Chowdhury:1987:WCP, 24(5)555--564
Choy, D. M., 10(3)273--296
Choy:1978:OTC, 10(3)273--296
Christ, Marie G., 50(5)343--357
Christ:2013:OMC, 50(5)343--357
Chrobak, Marek, 59(6)687--708
Chrobak:2022:HWA, 59(6)687--708
Chromatic, 33(6)547--557
Chung, Moon-Jung, 22(4)379--395
Chung:1985:CPS, 22(4)379--395
Chunhua, Cao, 49(7)437--444, 51(6)339--346, 55(5)445--457
Chunhua:2012:DLR, 49(7)437--444
Chunhua:2014:SKP, 51(6)339--346
Chunhua:2018:FSC, 55(5)445--457
Chunlin, Li, 40(3)211--233
Chunlin, Li, see Layuan, Li
Churchhouse, R. F., 16(1)87--91
Ciancaglini, Mariangiola, Dezani-, 56(7)553--583
Cie{\'s}lik, Iwona, 42(1)1--20, 45(2)79--91
Cieslik:2005:LCC, 42(1)1--20
Cieslik:2008:LGC, 45(2)79--91
ciliates, 45(5)383--402
Cimatti, Alessandro, 53(6)681--722
Cimatti:2016:DCT, 53(6)681--722
Cin, M. Dal, 33(1)1--20, 34(12)881--904
Ciobanu, Gabriel, 32(6)509--543, 46(5)361--374, 48(7)409--415, 54(4)435--445
Ciobanu, Gabriel, see Aman, Bogdan
Ciobanu:2009:FSB, 46(5)361--374
circ, 17(2)185--192, 21(4)375--391
circuit, 1(1)64--78, 23(6)697--705, 26(4)381--407, 28(5)463--476, 41(2)99--110, 44(5)345--359
circuit-size, lower-bounds-to-, 26(4)381--407
circular, 21(3)239--250, 24(1)57--77, 50(5)331--341
Circularity, 17(2)185--192, 21(4)375--391
Circus, 48(2)97--147
Clarifications, 12(1)73--94
clarified, 26(7)615--642
Clarke, Edmund Melson, 13(2)169--188
Clarke:1980:PCC, 13(2)169--188
class, 3(3)265--283, 5(4)297--332, 7(3)325--325, 8(1)37--59, 8(1)61--73, 8(2)113--123, 8(2)193--199, 8(4)315--324, 9(2)73--86, 10(2)169--173, 10(2)175--201, 12(4)305--320, 13(3)229--256, 16(4)427--464, 19(3)255--268, 20(2)179--196, 20(3)249--260, 20(4)345--369, 21(5)473--484, 24(1)57--77, 26(3)213--239, 28(5)477--510, 28(6)559--574, 29(5)461--481, 29(6)499--522, 29(6)623--643, 29(8)779--791, 30(1)61--87, 30(3)267--278, 32(4)395--413, 34(5)325--335, 34(5)389--410, 35(3)181--210, 36(12)927--982, 37(3)193--211, 37(10)699--725, 58(4)427--450, 59(6)709--724, 61(1)67--81
classical, 1(2)115--138, 8(3)243--266, 8(4)341--357, 31(5)399--430
classical, non-, 31(5)399--430
classically, 31(5)399--430
classification, 5(4)297--332, 19(3)255--268, 27(1)73--80, 43(3)173--194, 43(4)243--264, 53(3)207--246
classified, 5(4)297--332
Claus, Volker, 1(1)64--78, 2(z)283--291, 16(2)139--160
Claus:1971:VPS, 1(1)64--78
Claus:1973:MAP, 2(z)283--291
Claus:1981:BEP, 16(2)139--160
Clause, 13(1)9--20
Clauss, Philippe, 31(2)137--160
Clauss, Philippe, see Mongenet, Catherine
claw, 62(1)z--99999999
Clean, 11(3)195--210, 16(2)199--217
CLEAR, 21(5)443--472
clear, 2(4)293--309, 6(3)227--249
Cleaveland, Rance, 27(8)725--747
Cleaveland:1990:TBM, 27(8)725--747
Cleophas, Loek, 58(3)177--194
Cleophas, Loek, see Björklund, Johanna
Climent, August, 51(6)347--418
Climent, August, see Bertran, Miquel
Clint, 6(3)317--318
Clint, M., 1(z)214--224, 2(z)50--63, 6(3)317--318, 16(1)15--30
Clint, M., see Ashcroft, E. A.
Clint:1972:PPJ, 1(z)214--224, 6(3)317--318
Clint:1973:PPC, 2(z)50--63
Clint:1981:UHV, 16(1)15--30
cliques, 42(1)1--20
clocked, 36(11)837--912
closed, 2(z)180--188, 12(2)159--175, 22(5)579--588, 37(7)467--509, 38(9)599--619
Closed, Bracket-, 2(z)383--393
closely, 8(1)1--20
closer, 5(4)333--352, 61(4)357--382
closure, 8(2)193--199, 8(4)303--314, 20(2)179--196, 23(3)289--309, 30(4)369--384, 45(3)177--191, 46(3)193--207, 49(4)225--248, 50(2)123--156
clustering, 23(3)311--323, 26(5)485--499, 48(1)51--66
clusters, 27(3)195--215
Co-CFL, 26(8)749--769
Co-Nested, 30(4)397--403
Co-routines, 2(z)50--63
coalgebraically, 52(1)5--33
Cocomparability, 34(5)337--346
code, 6(4)403--406, 17(2)143--155, 17(3)327--348, 18(2)135--147, 25(1)85--109, 29(3)281--302, 31(8)741--760, 34(8)597--635, 40(6)491--527, 41(2)171--180, 42(4)227--290, 43(6)431--447, 46(5)375--401, 47(5)347--357, 52(7)573--592, 53(1)23--33, 53(4)327--356, 55(5)445--457, 60(4)453--465, 61(1)67--81, 62(1)z--99999999
Coders, 29(8)779--791
codes, PS-, 61(1)67--81
coding, 35(8)665--672
Codings, 3(4)357--364, 4(1)87--106
coffee, 57(3)323--327
Coffman, E. G., 39(8)597--612
Coffman, Edward G., 1(1)1--13, 1(3)200--213, 49(1)1--14
Coffman, Jr., E. G., 6(1)1--14, 38(10)673--693
Coffman, Jr., Edward G., 9(3)263--271, 21(4)409--415, 30(5)409--423, 34(12)881--904
Coffman, Jr., Edward G., see Bruno, John
Coffman:1971:PPE, 1(1)1--13
Coffman:1972:OST, 1(3)200--213
Coffman:1976:AMM, 6(1)1--14
Coffman:1978:PMN, 9(3)263--271
Coffman:1984:PGG, 21(4)409--415
Coffman:1993:SSF, 30(5)409--423
Coffman:2002:PRS, 38(10)673--693
Coffman:2003:IPS, 39(8)597--612
Coffman:2012:EAF, 49(1)1--14
Cohen, J. W., 12(3)245--284
Cohen, Jacques, 6(4)341--355
Cohen:1976:ISF, 6(4)341--355
Cohen:1979:MPS, 12(3)245--284
Cohérence, 14(1)39--62
coherence, 54(3)243--269
coincidence, 62(1)z--99999999
Coincidental, 39(5)307--314, 39(9)699--699
coinduction, 49(3)117--137, 54(2)127--190
Cole, 8(2)177--192
Coleman, D., 11(3)195--210
Coleman:1979:CTP, 11(3)195--210
Collatz, 35(2)167--179, 37(2)145--160
collecting, 6(3)227--249
collection, 6(1)41--60, 37(10)727--742
Collette, P., 33(2)153--176
Collette, P., see Cau, A.
Colomb, Robert M., 38(1)1--44
Colomb:2001:CTF, 38(1)1--44
colored, 46(1)43--55, 62(1)z--z
coloring, 22(1)115--123, 34(3)191--209, 42(1)1--20, 45(2)79--91, 55(1)57--80
coloring, multi-, 50(5)343--357
colors, 55(1)57--80
coloured, 59(6)725--759
Columbia, 23(4)393--427
column, 31(3)285--299
Column, -, 31(3)285--299
Combi, Carlo, 53(6)547--585
Combi:2016:MAI, 53(6)547--585
combination, 8(2)125--144, 46(6)433--474
Combinational, 28(5)463--476
Combinator-Based, 24(6)653--678
combinator-based, 28(6)559--574
combinatorial, 23(3)325--356, 26(8)771--785, 40(8)585--602
combined, 6(3)227--249, 7(2)153--166, 58(6)585--610
combines, 8(4)303--314, 21(3)239--250
combining, 6(1)41--60, 31(7)601--627, 52(1)3--4, 52(4)303--304
comma, 53(1)23--33
Command, 6(1)15--40
comment, 1(1)35--63, 1(3)190--199, 1(z)375--376, 2(z)189--190, 3(1)47--57, 4(3)231--243, 8(4)335--340, 11(1)57--60
Commentz-Walter, Beate, 12(3)227--243, 14(3)257--269
Commentz-Walter:1979:SDT, 12(3)227--243
Commentz-Walter:1980:SDT, 14(3)257--269
Commit, 26(6)577--595
Commitment, Assumption-, 33(2)153--176
common, 2(3)191--213, 6(1)41--60, 17(2)135--141, 18(2)171--179, 24(3)353--362, 25(1)37--54, 49(3)173--202
communicating, 15(3)281--302, 21(5)417--441, 23(1)9--66, 25(2)179--201, 25(3)333--354, 29(6)499--522, 30(4)351--367, 37(7)511--540, 58(4)263--279
communication, 1(2)115--138, 22(1)1--14, 28(6)593--601, 29(5)425--441, 34(8)579--595, 36(6)425--446, 36(8)591--616, 40(3)159--210, 40(9)609--636, 51(6)347--418
Communication-Bounded, 31(4)315--327
communications, 57(3)313--320
communities, 36(11)913--926
Commutative, 22(4)421--432
Commutativity, 3(3)203--216
Comp, 23(4)393--427
compact, 8(4)335--340, 21(2)125--169
Comparative, 25(1)1--14, 31(7)651--671, 62(1)z--z
compared, 8(1)1--20, 8(3)201--220, 26(7)597--614
Comparing, 31(8)697--718, 36(3)233--256, 38(11)735--792
comparison, 1(3)190--199, 1(z)375--376, 2(z)189--190, 6(3)227--249, 7(2)123--136, 17(3)245--265, 20(3)227--248, 22(2)171--186, 23(4)393--427, 24(4)433--445, 28(8)713--732, 29(6)623--643, 31(8)729--740, 39(9)613--698, 47(7)359--374, 48(4)243--269
compatibility, 52(4)305--336, 56(4)287--319
Competitive, 34(11)805--835
Compilation, 13(1)9--20, 24(6)653--678
compile, 6(1)41--60
compiler, 9(3)217--241, 16(1)45--56, 28(6)539--558, 30(8)701--739, 34(3)191--209, 34(10)737--772, 43(1)1--43
Compilers, 12(3)209--225
Compiling, 14(1)1--20, 41(7)435--474, 43(1)1--43
complains, 3(1)47--57
Complaints, 3(1)47--57
complement, 10(2)169--173, 33(8)781--797, 58(5)463--495, 59(5)619--669
Complementary, 3(2)135--153
Complementation, 10(3)297--305
complete, 6(1)61--75, 6(1)77--88, 8(1)61--73, 8(3)201--220, 8(3)243--266, 14(4)359--369, 16(2)161--197, 20(1)59--101, 21(5)521--540, 22(4)379--395, 27(2)125--156, 30(2)147--180, 34(6)429--447, 36(8)617--663, 40(2)81--94, 41(4)257--272, 53(3)207--246, 57(3)689--725
Complete, NP-, 26(5)485--499
complete, NP-, 20(2)171--178, 48(7)409--415
Complete, PSPACE-, 13(1)59--66, 15(2)167--191
completeness, 1(1)64--78, 8(1)61--73, 17(1)69--87, 24(4)395--415, 45(7)565--591
completeness, Sufficient-, 28(4)311--350
completion, 25(5)497--514, 36(4)287--293
complex, 7(1)35--60, 8(3)201--220, 20(4)345--369, 28(6)559--574
complexity, 2(z)80--96, 3(2)123--133, 3(3)217--225, 6(1)95--108, 7(1)95--107, 8(2)145--152, 8(2)193--199, 8(3)201--220, 8(3)267--283, 8(4)371--382, 8(4)383--384, 9(2)87--104, 9(2)171--181, 9(2)183--193, 9(4)309--329, 11(1)71--77, 12(1)33--61, 13(1)39--52, 13(2)109--114, 15(2)147--152, 15(3)303--307, 16(3)347--362, 17(1)89--99, 17(4)451--476, 18(3)299--318, 18(4)377--392, 18(4)411--430, 19(1)57--84, 21(3)229--237, 21(5)521--540, 22(2)229--240, 22(4)421--432, 23(3)325--356, 23(6)679--688, 25(3)333--354, 25(5)515--535, 26(4)381--407, 26(6)577--595, 27(5)399--421, 28(4)311--350, 28(6)593--601, 30(1)61--87, 30(3)267--278, 32(3)271--284, 32(3)285--298, 33(5)457--462, 35(3)211--243, 35(4)269--292, 37(2)83--120, 37(10)699--725, 38(11)839--845, 39(6)469--499, 40(6)431--458, 40(8)603--607, 41(2)83--97, 41(6)367--381, 44(7)591--624, 46(1)57--72, 46(2)139--154, 48(1)43--50, 48(7)417--426, 49(2)55--68, 51(7)473--497, 53(1)67--85, 55(3)191--212, 55(6)489--520, 58(1)95--152, 58(4)281--299, 59(4)337--355, 60(1)79--100, 60(3)257--278, 62(1)z--99999999
component, 8(4)303--314, 48(5)317--361, 56(2)161--203, 56(3)229--253, 56(4)287--319
component-based, 57(6)761--800, 57(6)829--829
composed, 46(3)169--191
Composite, 4(1)1--9
composition, 25(4)355--423, 32(4)299--312, 33(2)153--176, 40(4)265--301, 46(8)561--590, 52(7)559--571, 55(5)363--400, 56(3)229--253, 58(1)95--152, 60(3)317--329
compositional, 32(5)415--458, 32(7)627--645, 38(8)531--564, 43(1)45--71, 50(2)77--122, 52(4)337--392, 52(4)443--482, 54(4)343--378
Compositionality, 52(1)3--4, 52(4)303--304
Comprehending, 52(2)107--108
comprehensive, 31(5)399--430, 41(7)475--524
Compression, 20(4)371--389
compressions, 61(1)53--66
computability, 35(4)329--352
computable, 37(10)765--780
computation, 8(1)21--36, 8(2)125--144, 8(3)267--283, 12(3)209--225, 19(3)255--268, 20(3)249--260, 21(2)171--181, 21(5)473--484, 26(4)381--407, 27(2)179--191, 29(3)281--302, 30(5)409--423, 31(7)601--627, 32(2)145--153, 33(7)641--667, 34(2)109--133, 35(6)441--455, 35(8)645--664, 43(2)73--130, 49(5)343--359, 53(6)587--619, 59(4)409--426, 61(2)101--113
computational, 8(3)267--283, 21(5)501--519, 22(4)433--449, 26(6)559--576, 27(2)157--177, 31(5)431--477, 34(2)151--166, 34(6)449--489, 37(2)83--120
computationally, 41(4)257--272
compute, 7(2)123--136, 13(1)9--20, 13(4)383--408, 15(3)251--263, 19(3)297--304, 21(3)271--291
computer, 2(z)162--171, 4(1)49--53, 4(3)243--269, 6(2)187--209, 7(1)35--60, 7(2)123--136, 7(2)137--152, 7(2)153--166, 7(2)167--182, 7(2)183--195, 8(4)341--357, 9(4)331--343, 12(4)285--303, 14(4)337--357, 19(3)255--268, 19(3)269--296, 20(4)345--369, 21(4)321--338, 22(6)679--698, 23(6)621--642, 23(6)643--655, 24(4)381--393, 26(7)597--614, 29(3)281--302, 31(4)379--397, 60(3)317--329
computing, 1(z)336--344, 6(4)361--364, 7(1)1--13, 8(2)177--192, 8(4)303--314, 15(2)141--145, 15(4)319--328, 20(2)159--170, 22(6)595--627, 27(8)685--696, 34(12)881--904, 35(5)401--420, 36(6)425--446, 41(6)341--365, 60(3)317--329
Concatenation, 34(10)773--803
Concentrates, 12(1)73--94
concept, 1(3)190--199, 1(z)375--376, 2(z)189--190, 8(1)61--73, 8(2)125--144, 8(3)243--266, 8(4)359--370, 35(12)1007--1036, 41(7)475--524
conceptual, 34(12)927--963, 35(3)181--210
concerning, 7(1)35--60, 8(1)75--96, 17(1)43--61, 18(3)299--318, 18(4)411--430, 35(7)625--636
concerns, 8(1)37--59
conclusions, 8(3)221--242
CONCUR, 33(1)69--97, 54(1)1--2
concurrency, 6(3)227--249, 9(1)1--21, 14(1)39--62, 19(1)1--11, 24(5)491--511, 26(7)597--614, 27(5)381--397, 29(2)121--160, 32(3)271--284, 33(2)153--176, 34(5)367--388, 42(2)79--81, 42(6)389--418, 45(4)279--320, 52(1)3--4, 52(4)303--304, 52(4)393--442, 54(1)1--2, 56(2)93--159, 57(3)403--438, 59(1)1--87
concurrent, 5(4)297--332, 7(3)325--325, 8(4)325--334, 8(4)335--340, 11(1)57--60, 12(1)1--31, 14(1)21--37, 14(1)63--86, 18(4)361--376, 19(1)57--84, 23(1)9--66, 24(1)33--55, 26(7)597--614, 27(4)343--368, 28(3)231--264, 28(6)511--538, 32(6)509--543, 33(6)547--557, 34(2)85--107, 35(10)813--857, 35(12)1037--1073, 37(4)229--327, 38(8)531--564, 39(8)531--577, 42(6)389--418, 49(4)249--279, 52(4)337--392, 53(5)469--492, 61(1)1--21
condensed, 43(5)307--330
condi, 6(3)227--249
condition, 1(1)64--78, 2(2)143--161, 7(2)123--136, 8(1)21--36, 8(1)61--73, 8(4)303--314, 22(4)347--377, 43(6)431--447
condition-response, 55(6)489--520
conditional, 6(3)227--249, 8(3)201--220, 18(1)47--64, 30(2)147--180, 30(6)537--568
Conditionash, 26(1)59--91
conditions, post-, 8(2)145--152
Condotta, Jean-François, 53(2)149--170
Condotta:2016:OTQ, 53(2)149--170
conducted, 29(3)281--302
cones, 18(1)65--78
Conference, 22(6)679--698, 54(1)1--2, 54(8)727--728
Configurable, 59(1)1--35
conflict-free, 35(8)673--688
conflictable, 31(3)261--283
conflictable, -, 31(3)261--283
conflicts, 45(3)155--175
Confluence, 33(6)595--606
Confluence, Innermost-, 33(6)595--606
Confluence, Outermost-, 33(6)595--606
Confluent, 25(5)573--591, 28(5)477--510
confusion, 3(1)47--57
congestion, 8(4)341--357
congruence, 1(z)159--172, 28(5)477--510, 30(8)773--785, 40(6)385--430, 57(3)329--351, 57(3)353--383
conjecture, 3(3)293--295, 35(2)167--179, 46(8)591--607, 50(7)381--402
conjunctive, 32(1)1--26, 34(7)557--578, 38(7)489--529, 44(5)289--321, 50(3)175--197, 55(1)17--56
connect, 8(3)267--283
connected, 8(4)303--314, 62(1)z--99999999
Connected, Mesh-, 24(2)121--130, 26(7)643--655
connectedness, 38(9)621--648
connection, 6(1)61--75, 13(1)67--86, 31(1)81--104
Connective-Free, 30(5)489--502
connectives, 8(3)243--266
connectivity, 42(1)43--56, 48(4)213--242
conquer, 24(3)353--362
Conquer, Divide-and-, 21(3)271--291
Conradi, 11(1)57--60
Conradi, Reidar, 8(4)335--340
Conradi:1977:SCC, 8(4)335--340, 11(1)57--60
consensus, 33(3)255--275, 44(6)377--425, 54(5)501--520, 56(5)433--446
consequence, 5(4)297--332, 29(8)689--736, 59(6)709--724, 62(1)z--99999999
Conservation, 10(1)105--109
Conservative, 3(1)37--41
consider, 7(2)183--195, 8(3)221--242, 12(2)159--175, 26(7)597--614
consideration, 17(3)311--325, 40(4)303--315
considered, 8(2)153--175, 8(3)221--242, 8(3)243--266, 8(4)315--324, 8(4)359--370, 11(3)287--304, 17(3)245--265, 29(8)689--736
considering, 54(7)655--692
consistency, 36(2)97--141, 41(2)65--81
consistent, 3(2)135--153, 8(3)243--266, 35(6)441--455, 57(3)657--670
constant, 7(2)183--195, 19(4)397--407, 30(3)215--231, 34(3)231--243, 35(10)859--874, 37(2)83--120, 54(5)501--520, 56(5)391--404, 58(4)335--356, 60(2)123--144
Constant-time-maintainable, 25(5)475--496
constrained, 58(6)653--674, 60(3)279--316
constraint, 8(4)341--357, 10(3)273--296, 18(4)377--392, 22(2)139--148, 24(5)513--524, 25(1)55--84, 28(6)511--538, 29(3)281--302, 34(3)167--189, 35(9)795--811, 39(6)391--449, 44(7)591--624, 51(7)473--497, 53(2)149--170, 58(1)35--56, 61(1)23--52
construct, 6(1)61--75, 8(3)221--242, 28(7)631--656, 59(6)709--724
constructed, 8(2)125--144, 30(3)215--231
constructibility, 24(2)131--144, 52(2)207--234
constructing, 6(1)61--75, 7(3)249--268, 11(2)119--137, 11(2)177--193, 20(2)121--132, 23(3)267--288
construction, 5(4)237--255, 6(3)227--249, 13(2)115--139, 19(2)151--166, 20(2)197--206, 24(4)461--474, 28(4)351--363, 28(6)539--558, 33(2)177--202, 33(8)781--797, 34(8)579--595, 34(10)737--772, 37(8)563--595, 52(4)443--482, 54(8)727--728
constructive, 32(1)27--59, 52(4)393--442
constructor, 8(1)1--20, 38(6)367--408
contain, 8(2)145--152, 8(3)243--266, 26(7)597--614, 28(2)121--163
contained, 7(2)227--247, 8(4)371--382, 10(2)117--125, 48(1)1--18
container, 49(3)173--202
containing, 10(1)95--104, 26(7)615--642
containment, 38(5)325--342, 38(7)489--529, 55(1)17--56
Containment, Bag-, 34(7)557--578
Contention, 21(6)585--598, 24(2)173--190
context, 6(4)397--402, 7(1)61--73, 8(4)315--324, 10(1)85--94, 14(3)271--294, 14(4)317--335, 15(4)447--470, 17(4)425--433, 19(3)255--268, 27(6)505--517, 27(8)781--786, 28(5)411--445, 32(3)285--298, 39(5)307--314, 39(9)699--699, 45(7)593--608, 48(3)149--163, 49(2)55--68, 55(3)227--267
Context-Free, 2(z)40--49, 3(3)285--291, 4(1)55--75, 11(4)373--386, 13(3)257--268, 16(1)63--85, 17(1)89--99, 17(4)435--449, 18(1)109--115, 21(2)209--227, 29(2)161--210, 31(4)341--378, 33(5)409--420, 33(5)457--462, 34(10)773--803
context-free, 8(1)1--20, 14(3)295--298, 16(3)303--308, 31(2)161--206, 35(3)245--267, 40(5)349--365, 45(3)177--191, 54(4)399--433
Context-Sensitive, 2(z)249--252, 3(1)59--73, 3(2)155--170, 4(4)359--371, 9(4)309--329, 27(1)81--95
context-sensitive, 3(2)155--170, 8(1)1--20, 41(4)293--314
Context-Sensitivity, 5(4)387--394
contextfree, 12(1)33--61, 51(3)221--260
Contextual, 30(2)147--180, 32(6)545--596, 33(6)571--593, 52(6)497--524
continuation, 8(2)113--123
Continued, 1(z)139--144
Continuity, 23(1)1--7
continuous, 18(4)377--392, 18(4)431--448, 22(5)537--578, 26(8)771--785, 57(1)223--244, 60(2)101--122
continuous-time, 48(5)291--315, 53(2)171--206
Contour, 21(3)271--291
contracted, 56(7)619--648
contraction, 32(2)145--153, 43(4)243--264, 51(7)473--497
contrary, 26(7)615--642
contribution, 11(3)287--304
Contributions, 25(6)691--711
control, 2(2)143--161, 4(4)373--386, 7(2)153--166, 8(2)177--192, 14(1)39--62, 19(1)1--11, 27(7)627--663, 29(2)121--160, 32(3)271--284, 34(1)23--57, 39(3)143--209, 43(7)477--500, 46(5)375--401, 48(5)291--315, 56(5)447--469, 58(5)497--528
Control, Kernel-, 9(3)195--216
Contrôle, 14(1)39--62
controllability, 53(6)681--722, 53(6)723--752
controllable, 23(5)507--527, 53(2)89--147, 60(2)101--122
Controlled, 1(z)242--252, 16(1)63--85, 51(5)327--337
Controlled, Meta-, 10(4)323--339
controlled, path-, 56(1)35--59
controller, 51(3)165--192, 52(4)443--482, 57(1)195--221, 57(1)223--244
controlling, 42(4)227--290
conventional, 7(2)167--182
Conventions, 25(1)1--14
convergence, 44(2)91--121
conversion, 61(1)23--52
converting, 6(1)41--60, 35(8)637--643, 59(6)709--724
Convex, 15(4)329--346, 21(5)501--519, 34(5)337--346
convex, non-, 8(4)359--370
convexity, 61(4)357--382
Conway, Richard, 22(1)35--45
Conway, Richard, see Schneider, Fred B.
Cook, Curtis R., 23(3)289--309
cooperating, 5(4)297--332
cooperation, 44(7)525--569
cooperative, 25(6)663--676, 39(2)119--140, 51(1)51--60, 53(1)1--22
coordinate, 8(2)177--192, 18(4)377--392
Coordinating, 5(4)297--332, 7(3)325--325
coordination, 8(3)201--220, 17(2)121--134, 21(2)125--169, 26(1)59--91, 45(7)479--536
cope, 42(8)583--602
Coppo, Mario, 20(2)159--170
Coppo:1983:SP, 20(2)159--170
Copy, 16(2)161--197
Cordeiro, Lucas, 57(1)223--244
Cordeiro, Lucas, see Abate, Alessandro
Cordero, P., 38(9)599--619
Cordero:2002:BCS, 38(9)599--619
core, 26(7)597--614, 53(3)247--299, 55(4)269--307
Cormack, Gordon V., 33(1)21--68
Cormack, Gordon V., see Duggan, Dominic
coroutine, 13(2)169--188, 19(3)221--233
Corradini, F., 43(2)73--130
Corradini, Flavio, 34(4)291--324, 34(11)805--835, 37(7)467--509, 38(11)735--792, 46(3)209--235, 52(2)107--108
Corradini, Flavio, see Lüttgen, Gerald
Corradini:1997:LBS, 34(4)291--324
Corradini:1997:PPC, 34(11)805--835
Corradini:2001:CIP, 37(7)467--509
Corradini:2002:CWC, 38(11)735--792
Corradini:2006:FAS, 43(2)73--130
Corradini:2009:LMA, 46(3)209--235
correct, 2(z)110--142, 6(1)61--75, 8(4)341--357, 9(2)121--132, 12(1)1--31, 21(5)473--484, 48(7)363--396
Correct, Prefix-, 22(5)499--536
Correcting, 13(2)115--139
correction, 4(3)271--292, 11(1)1--30, 13(2)141--154, 26(1)19--23, 26(7)615--642, 28(6)603--605, 29(3)281--302, 48(1)43--50, 57(3)513--550, 57(3)591--626, 57(6)761--800, 57(6)829--829, 58(6)675--676, 58(6)677--677, 59(2)283--283, 59(5)671--671, 62(1)z--99999999
correctness, 1(2)115--138, 1(4)271--281, 3(3)243--263, 5(4)273--285, 5(4)297--332, 8(3)243--266, 9(2)61--71, 9(3)217--241, 11(3)211--221, 13(2)169--188, 14(1)1--20, 15(3)233--249, 18(1)31--45, 22(1)67--83, 23(2)193--215, 26(1)25--57, 35(11)951--1005, 38(1)45--88, 43(1)1--43, 46(4)297--330
Correll, Claus H., 9(2)121--132
Correll:1978:PPC, 9(2)121--132
correspondence, 8(2)97--112, 8(3)267--283, 19(4)357--367, 30(5)441--457
corresponding, 3(3)285--291, 5(4)297--332, 8(2)193--199, 59(6)709--724
corrigenda, 2(4)335--355, 3(3)296--296, 5(4)297--332, 6(1)95--108, 7(3)325--325, 8(4)383--384
corrigendum, 18(4)377--392, 40(8)603--607
COST, 36(3)215--232
cost, 1(z)307--310, 7(4)361--394, 8(4)341--357, 9(3)273--292, 15(4)319--328, 18(1)17--30, 18(3)255--263, 27(7)627--663, 33(3)255--275, 34(8)579--595, 40(4)235--263, 41(2)83--97, 41(6)315--340, 55(2)129--152
COST, EU-, 53(4)325--326
cost, min-, 54(1)85--125
cost-effectiveness, 36(6)463--487
Costa, Gerardo, 21(5)417--441
Costa, J. F., 31(1)5--26
Costa:1984:FCC, 21(5)417--441
Costa:1994:OIB, 31(1)5--26
costlier, 55(2)129--152
COSY, 12(2)109--158
Coulondre, Stéphane, 39(1)1--29
Coulondre:2003:TPP, 39(1)1--29
counter, 8(1)21--36, 8(4)371--382, 41(2)145--170
Counter, One-, 8(4)371--382, 22(5)579--588
counter, one-, 8(4)371--382
Counter, Stack-, 17(1)63--67
Counterexamples, 34(3)167--189
counterparts, 40(5)349--365
counting, 26(4)363--379, 37(8)563--595, 54(8)729--764, 55(3)191--212, 60(1)79--100
counting, step-, 8(3)267--283
Coupled, 25(4)355--423, 57(3)439--463
Coupled, Feedback-, 8(4)341--357
Courant, 21(2)125--169
Courtois, P. J., 1(z)375--376
Courtois, P.-J., 6(3)251--275
Courtois:1972:CCT, 1(3)190--199, 1(z)375--376, 2(z)189--190
Courtois:1976:DMP, 6(3)251--275
Cousot, Patrick, 24(1)1--31
Cousot, Radhia, 24(1)1--31
Cousot, Radhia, see Cousot, Patrick
Cousot:1987:EII, 24(1)1--31
cover, 14(3)271--294, 20(2)143--158, 22(1)115--123, 44(7)509--523, 53(5)459--468
Coverage, 4(4)321--336
covered, 2(4)335--355, 7(1)35--60
covering, 17(4)435--449, 21(3)251--269, 22(6)663--678, 42(1)1--20, 49(6)361--379
CPP/GE/c/L, 37(11)881--919
CPS-calculus, 47(2)111--132
Craig, 53(4)387--424
Cranen, Sjoerd, 55(5)401--444
Cranen:2018:PGR, 55(5)401--444
CRCW, 33(7)607--619
create, 28(6)539--558
creation, 29(4)303--334, 50(7)403--436
Cremers, Armin B., 3(1)59--73, 9(3)243--261, 9(4)293--307
Cremers:1973:NFC, 3(1)59--73
Cremers:1978:FBD, 9(4)293--307
Cremers:1978:OIS, 9(3)243--261
Crescenzi, Pierluigi, 28(5)453--461
Crescenzi, Pierluigi, see Bovet, Daniel P.
Crestin, J. P., 2(z)383--393
Crestin, J. P., see Boasson, Luc
Crick, Watson-, 54(5)487--499, 58(3)153--175, 58(3)231--240, 59(5)557--584
Cristian, Flaviu, 17(4)365--397
Cristian:1982:RDT, 17(4)365--397
Cristofor, Dana, 38(5)307--324
Cristofor, Dana, see Simovici, Dan A.
Cristofor, Laurentiu, 38(5)307--324
Cristofor, Laurentiu, see Simovici, Dan A.
Critchlow, Carol, 28(5)447--452
Critchlow:1991:EPD, 28(5)447--452
criteria, 5(4)297--332
criterion, 5(4)353--375, 29(3)281--302, 38(5)343--366, 44(2)123--151
criterion, bi-, 40(4)303--315
critical, 3(1)47--57, 6(3)227--249, 13(4)325--346
Critical, Life-, 23(6)621--642
crochet, 2(z)383--393
cross, 29(1)33--62
cross-bifix-free, 50(3)157--173
cross-entropy, 17(1)43--61
Crossing-Over, 34(4)257--266
Crypt-equivalent, 25(2)111--153
CS, 15(2)141--145
CSci, 15(2)141--145, 20(2)159--170
CSG, 28(5)411--445
Csibi, S., 27(3)247--286
Csirik, J., 26(8)697--709
Csirik:1989:LAV, 26(8)697--709
CSMA, 13(4)299--324
CSP, 23(1)9--66, 23(2)193--215, 24(2)145--156, 30(5)467--487
{CSP, tock}-, 59(1)125--162, 59(2)283--283
Csuhaj-Varjú, Erzsébet, 36(11)913--926, 41(4)257--272
Csuhaj-Varju:2000:ESL, 36(11)913--926
Csuhaj-Varju:2005:HNE, 41(4)257--272
CTL, 56(1)1--33, 56(6)487--519
CTMDPs, 48(5)291--315
ctr127, 6(1)1--14
cube, 41(9)595--606
cubic, 44(6)427--461
Cui, Rongdong, 61(1)67--81
Cui, Rongdong, see Liu, Haiyan
Culik II, Karel, 10(1)79--84, 18(4)335--344, 21(4)393--407, 23(5)597--605, 27(2)179--191, 30(3)279--302, 31(8)761--773, 32(7)681--703, 34(2)151--166, 34(5)347--366
Culik II, Karel, see Choffrut, Christian
Culík, Karel, 2(z)162--171
Culik:1973:SJM, 2(z)162--171
Culik:1978:UEP, 10(1)79--84
Culik:1983:SAV, 18(4)335--344
Culik:1986:SDP, 23(5)597--605
Culik:1989:HMC, 27(2)179--191
Culik:1993:SMR, 30(3)279--302
Culik:1994:PSI, 31(8)761--773
Culik:1995:IWF, 32(7)681--703
Culik:1997:CFG, 34(2)151--166
Culik:1997:IDW, 34(5)347--366
Cunningham, R. J., 22(2)149--169
Cunningham:1985:RSL, 22(2)149--169
Cunto, Walter, 24(5)583--594, 26(3)193--211, 29(5)443--460
Cunto, Walter, see Baeza-Yates, Ricardo A.
Cunto:1987:ITS, 24(5)583--594
Cunto:1988:TUM, 26(3)193--211
Cura, Carlos, Zamora-, 37(4)355--383
current, 8(2)177--192, 8(4)341--357
Currie, James D., 39(6)451--468, 43(8)521--533
Currie:2003:WLW, 39(6)451--468
Currie:2007:AAB, 43(8)521--533
Curteanu, Neculai, 25(4)425--438
customers, 37(11)881--919
cut, 24(3)353--362, 29(3)281--302
cut-off, 29(3)281--302
cut-points, 56(4)321--383
cycle, 1(2)115--138, 18(3)319--334, 34(3)231--243, 61(4)333--356
cyclic, 6(2)187--209, 9(2)133--157, 18(3)319--334, 26(3)241--267, 26(5)501--501, 26(8)787--787, 53(5)493--508
Cylinder, 11(3)241--258
Cylindre, 11(3)241--258
Czachórski, Tadeusz, 24(5)525--553, see Duda, Andrzej