Last update: Fri Apr 26 02:15:38 MDT 2024
Return to index directory
C
-
Cache, 12(3)275--307
-
calculus, 1(1)3--37, 1(1)50--76, 1(3)346--363, 2(2)126--145,
14(3)173--201
-
calculus, -, 1(1)50--76
-
calculus, pi-, 9(2)70--z, 10(2)70--z
-
Capturing, 12(2)89--115
-
Carbone, M., 10(2)70--z
-
Carbone:2003:EPP, 10(2)70--z
-
card, 12(2)68--88
-
Cardinality, 2(4)496--501
-
Carelius, G. J., 9(3)231--z
-
Carelius, G. J., see Arisholm, E.
-
Cares, 10(1)40--z
-
Carrez, Cyril, 14(4)245--263
-
Carrez:2008:SES, 14(4)245--263
-
CASE, 6(1)22--z
-
Case, 6(4)372--z, 11(2)75--z, 11(3)254--z, 12(3)229--250, 12(3)308--318
-
Case, Worst-, 7(3)151--z
-
Categorically, 6(3)343--z
-
category, 10(2)163--z
-
Celiku, O., 11(2)102--z
-
Celiku:2004:CBA, 11(2)102--z
-
Cell, 6(2)137--z
-
Cellular, 14(3)202--215
-
certifying, 14(1)87--108
-
chain, 13(4)309--327
-
Change, 6(1)129--z, 7(2)143--z
-
Changing, 4(3)233--258
-
Characterization, 14(1)126--150
-
Chaudhuri, Shiva, 3(4)337--351
-
Chaudhuri, Shiva, see Brodal, Gerth St{\o}lting
-
checking, 1(3)364--385, 2(2)89--125, 8(1)88--z
-
Checking, Model-, 14(3)216--241
-
Chen, J.-C., 3(3)271--279
-
Chen, Y.-L., 3(2)89--119
-
Chen, Y.-L., see Lin, C.-Z.
-
Chen, Yu Wei, 2(3)326--337
-
Chen, Yu Wei, see Chung, Kuo Liang
-
Chen:1996:PSS, 3(3)271--279
-
Chi, 14(1)65--86
-
Chip, 12(4)361--378
-
Chiril{\u{a}}, Ciprian-Bogdan, 15(1)32--52,
see Sakkinen, Markku
-
Chlebus, Bogdan S., 1(3)332--345
-
Chlebus:1994:SNS, 1(3)332--345
-
chordal, 2(1)41--50, 3(3)220--237
-
chords, 1(4)433--457
-
Christensen, Henrik Bærbak, 6(1)4--z
-
Christensen:1999:RSD, 6(1)4--z
-
Chung, Kuo Liang, 2(3)326--337
-
Chung, Kuo-Liang -L., 2(4)397--406
-
Chung:1995:FMF, 2(4)397--406
-
Chung:1995:MPD, 2(3)326--337
-
Church, 9(1)1--z
-
Ciancarini, Paolo, 6(3)215--z
-
Ciancarini:1999:CTI, 6(3)215--z
-
Cieliebak, Mark, 14(3)151--172
-
Cieliebak:2008:CVE, 14(3)151--172
-
Cieslak, Pawel, 14(4)245--263
-
Cieslak, Pawel, see Carrez, Cyril
-
Cinque, L., 10(1)13--z
-
Cinque:2003:WOP, 10(1)13--z
-
Circular, 3(3)256--270
-
Circumvent, 9(1)1--z
-
Clairvoyance, 6(2)181--z
-
Class, 12(2)89--115, 12(3)251--274, 12(4)361--378
-
Class, First-, 7(4)348--z
-
Clausen, Christian, 2(2)221--249
-
Clausen, Christian, see Nielsen, Mogens
-
Clausen, Jens, 2(4)496--501
-
Clausen:1995:FBC, 2(4)496--501
-
Claw, 7(3)178--z
-
clique, 1(2)173--201, 8(4)424--436
-
Clock, 6(3)271--z
-
Clones, 15(1)3--17
-
Closed, 10(2)99--z
-
closest, 2(1)3--27, 2(1)28--40
-
Closure, 3(4)323--336
-
clustering, 1(2)246--263, 7(3)185--z
-
code, 9(4)269--z, 13(3)162--179, 15(1)3--17
-
Coinserters, 10(4)290--z
-
Colloquium, 1(3)275--316, 1(3)317--331, 1(3)332--345, 1(3)346--363,
1(3)364--385
-
colorable, 3(4)425--439
-
colored, 2(1)28--40
-
Coloring, 3(4)425--439, 6(4)422--z
-
coloring, 10(3)206--z
-
coloring, -, 10(3)206--z
-
colors, 3(4)425--439
-
Coloured, 12(3)200--228, 12(3)229--250, 12(3)251--274
-
COM, 6(1)22--z
-
combination, 9(4)301--z
-
Command, 14(4)264--281
-
common, 1(4)402--432, 2(3)303--325, 2(4)444--461, 4(3)303--316
-
Communication, 5(2)87--104
-
Comonads, 8(3)366--z
-
Compact, 4(2)187--216
-
Comparing, 6(4)372--z
-
comparison, 12(4)321--342, 13(4)328--339, 13(4)340--346
-
Competitive, 8(4)463--472
-
Compilation, 6(1)93--z
-
Compiler, 4(1)66--92
-
Compilers, 11(3)213--z
-
complete, NP-, 4(3)259--286
-
complete, PSPACE-, 1(3)275--316
-
completion, 1(1)135--156, 3(2)131--143
-
complexity, 1(1)94--110, 1(1)157--171, 1(3)275--316, 2(4)462--495,
3(4)337--351, 5(2)87--104, 5(3)173--z, 7(1)14--z, 12(2)89--115,
13(4)340--346, 14(3)151--172
-
Component, 14(4)282--300
-
Composition, 2(2)89--125
-
Compositional, 12(2)116--132
-
Comprehensibility, 13(3)149--161
-
Compression, 2(4)462--495, 10(1)13--z
-
Computational, 1(1)94--110, 4(4)330--341, 6(3)241--z
-
compute, 1(4)458--474
-
computer, 2(4)397--406, 8(3)279--z
-
Computing, 3(4)295--322, 5(1)1--18, 10(1)29--z, 11(2)194--z
-
concurrency, 2(2)146--180, 9(2)69--z, 9(2)70--z, 9(2)102--z, 9(2)118--z,
9(z)145--z, 10(2)69--z, 10(2)70--z, 10(2)99--z, 10(2)134--z,
10(2)163--z
-
concurrent, 2(2)181--220, 4(4)380--413, 9(z)145--z, 11(2)165--z
-
Conditional, 6(1)93--z
-
Conference, 10(1)1--1, 10(1)2--z, 10(1)13--z, 10(1)21--z, 10(1)29--z,
10(1)40--z, 10(1)52--z
-
congruence, 2(2)274--302
-
Congruences, 10(2)163--z
-
Conic, 6(4)462--z
-
Connected, Mesh-, 2(4)397--406
-
Conscious, 12(3)275--307
-
Constant, 3(3)238--255
-
Constrained, Service-, 3(4)367--387
-
constraint, 2(2)181--220, 3(4)405--424, 5(4)304--z, 9(z)145--z,
13(4)309--327
-
Constraint-Based, 7(4)312--z, 7(4)375--z
-
construction, 1(4)389--401, 10(1)52--z, 11(4)374--z
-
Constructive, 5(1)19--49
-
context-free, 1(3)364--385
-
Continuous, 8(1)2--z
-
control, 1(2)214--230, 6(4)363--z, 8(1)43--z, 9(2)70--z, 11(2)75--z,
13(4)266--293
-
Controlling, 2(2)146--180
-
Conventions, 4(1)93--122
-
Convex, 7(3)227--z
-
Coolsaet, K., 1(2)202--213
-
Coolsaet:1994:TMV, 1(2)202--213
-
Coordination, 6(3)215--z
-
Corecursion, 12(2)133--156
-
Cores, 6(3)299--z
-
corridor, Widest-, 1(2)231--245
-
Cost-Based, 11(2)102--z
-
Coulston, Chris, 6(2)181--z
-
Coulston, Chris, see Berman, Piotr
-
Countries, 6(1)1--z, 7(2)65--z, 11(3)211--z
-
Covering, 5(3)173--z
-
covering, 10(3)206--z
-
covering, -, 10(3)206--z
-
CPN, 12(3)200--228
-
Crochemore, 10(1)21--z
-
Crochemore, M., 9(1)54--z
-
Crochemore:2002:ASM, 9(1)54--z
-
Crolard, Tristan, 13(1)46--57
-
Crolard:2006:EPL, 13(1)46--57
-
Cryptographic, 5(4)267--z, 12(3)200--228
-
CSP, 10(2)99--z
-
CSP-OZ-DC, 9(4)301--z
-
Curzon, Paul, 6(4)372--z
-
Curzon, Paul, see Tahar, Sofiène
-
Cut, 7(1)14--z