Index file section C for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
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
-
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
-
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
-
cells, 6(1)41--60, 22(4)397--420, 36(11)913--926
-
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, 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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