Index file section C for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
C
-
C, 23(1)91--94, 31(1)151--162, 32(1)201--213
-
C1100, 22(1)19--55
-
C1110, 16(1)93--98, 19(1)39--67, 21(1)91--98, 21(1)99--103, 22(1)95--126,
25(1)67--94, 28(3)287--298, 32(1)1--24, 32(1)61--76, 32(1)201--213,
32(3)279--295, 33(2)327--329, 33(2)331--334
-
C1130, 22(3)233--251
-
C1140C, 23(2)107--127
-
C1140E, 19(1)69--84, 22(1)71--93, 29(1)49--73, 33(1)85--94
-
C1140G, 23(2)211--215
-
C1140Z, 12(1)19--37, 12(1)97--108
-
C1160, 11(1)39--47, 11(1)93--106, 11(2)117--121, 11(2)123--143,
11(3)247--275, 12(1)83--96, 13(2)137--150, 13(3)315--322,
14(1)103--111, 15(1)1--25, 15(2)159--179, 15(3)321--328, 16(1)5--24,
17(1)29--41, 17(1)75--89, 17(1)91--97, 17(1)103--110, 17(2)151--161,
17(2)217--228, 18(1)89--93, 18(2)115--148, 18(3)259--268,
19(1)1--16, 19(1)17--28, 19(1)29--38, 19(1)69--84, 19(2)189--201,
21(1)55--74, 21(1)91--98, 21(1)99--103, 22(3)233--251,
22(3)253--264, 22(3)331--346, 23(1)37--48, 23(1)83--89,
23(2)129--154, 23(2)211--215, 23(3)231--242, 23(3)243--272,
23(3)273--286, 24(2)143--159, 24(2)161--177, 25(2)95--169,
25(3)311--341, 28(1)171--196, 29(1)49--73, 29(1)75--85,
29(3)251--275, 30(3)241--318, 31(1)31--40, 31(1)61--71, 31(1)73--82,
31(3)307--315, 32(1)1--24, 32(1)87--120, 32(1)121--156,
32(1)173--183, 32(1)185--199, 32(1)215--219, 32(3)227--247,
32(3)309--319, 33(2)239--240, 34(1)3--15, 34(1)17--32, 34(1)33--82,
34(1)83--133, 34(1)169--206, 34(3)275--288, 34(3)337--341,
34(3)343--350
-
C1180, 10(2)123--131, 11(1)1--18, 12(1)83--96, 14(3)289--303,
15(1)27--39, 15(3)251--277, 15(3)279--289, 16(2)187--198,
19(1)1--16, 19(2)189--201, 19(3)337--341, 21(1)99--103,
21(3)255--267
-
C1210, 18(2)207--220
-
C1230, 24(2)207--219, 32(3)297--307, 34(1)17--32
-
C1250, 23(1)37--48, 24(2)161--177
-
C1260, 12(3)325--332, 22(1)71--93, 24(3)221--237, 24(3)291--300,
29(1)27--39
-
C1290, 19(2)189--201
-
C4100, 12(2)193--228
-
C4110, 23(2)211--215
-
C4130, 10(1)1--18, 10(1)53--61, 11(3)321--330, 11(3)331--335,
11(3)337--339, 12(2)161--173, 12(3)303--314, 15(2)201--211,
16(2)231--235, 20(3)323--352, 22(1)195--208, 23(3)273--286,
24(3)291--300, 28(1)135--150, 28(3)287--298, 29(1)1--25,
31(1)125--138
-
C4140, 12(3)229--254, 13(1)109--136, 15(1)77--110, 22(3)317--330,
23(1)95--101, 23(2)171--185, 33(1)117--138, 34(1)207--213
-
C4150, 16(2)231--235, 22(1)195--208
-
C4160, 22(3)317--330
-
C4190, 27(3)241--253
-
C4200, 12(1)1--17, 13(1)17--43, 22(1)19--55, 33(1)z--z
-
C4220, 10(1)19--35, 10(3)221--247, 10(3)249--272, 10(3)273--295,
11(2)167--180, 12(2)161--173, 12(3)333--338, 13(2)231--237,
13(3)295--314, 13(3)315--322, 13(3)323--330, 13(3)331--336,
14(1)39--61, 14(1)63--77, 14(1)91--101, 14(2)155--186,
14(3)211--226, 15(2)117--157, 15(3)311--320, 16(1)75--91,
16(2)115--148, 16(2)187--198, 16(2)223--229, 17(1)99--102,
17(2)229--231, 17(3)333--341, 18(1)33--40, 18(2)207--220,
19(2)161--187, 19(2)219--227, 19(3)253--266, 19(3)305--320,
19(3)331--335, 21(1)27--37, 21(1)39--53, 21(2)145--161,
21(3)237--253, 21(3)255--267, 22(1)57--69, 22(1)219--232,
22(3)297--315, 23(1)37--48, 23(1)95--101, 23(1)103--105,
23(2)155--169, 23(2)217--225, 23(3)231--242, 23(3)287--304,
23(3)305--315, 23(3)333--337, 24(1)95--104, 24(1)105--117,
24(2)123--130, 24(2)179--194, 24(3)313--322, 24(3)331--336,
25(2)193--120, 25(3)221--265, 25(3)311--341, 26(1)1--24,
26(1)25--52, 26(1)197--220, 26(1)221--223, 26(1)225--231,
26(3)327--333, 26(3)343--353, 27(1)61--83, 27(1)121--125,
27(1)217--224, 28(1)1--12, 28(1)223--233, 28(3)263--276,
28(3)277--285, 28(3)315--327, 28(3)329--336, 29(1)87--121,
29(1)123--153, 30(2)205--239, 31(3)297--306, 31(3)317--335,
32(1)87--120, 32(1)201--213, 32(1)221--224, 32(3)227--247,
32(3)309--319, 32(3)321--330, 32(3)331--337, 32(3)339--340,
33(1)3--11, 33(2)261--278, 33(2)335--342, 34(1)157--168,
34(3)241--254, 34(3)255--274
-
C4230B, 16(2)177--185, 25(3)267--310, 29(3)309--324, 31(1)151--162
-
C4250, 33(1)95--105, 33(1)107--116, 34(1)215--225, 34(3)315--335,
34(3)343--350
-
C4290, 17(3)317--331, 19(1)69--84, 19(2)143--160, 22(1)19--55,
24(1)1--20, 25(2)95--169, 32(1)77--86
-
C5220, 32(1)157--172
-
C5230, 12(1)97--108
-
C5420, 12(1)39--60, 23(2)107--127
-
C5620, 19(1)1--16, 24(1)1--20
-
C6110, 17(2)217--228, 30(2)139--204
-
C6120, 11(2)145--165, 12(3)315--323, 16(3)279--290, 16(3)307--319,
19(1)69--84, 20(3)209--263, 20(3)265--321, 22(1)71--93,
26(3)243--286, 33(1)107--116
-
C6130, 11(2)145--165, 12(3)325--332, 14(1)19--37, 19(3)321--330
-
C6140, 31(1)13--29
-
C6140D, 20(2)95--207, 22(1)19--55, 30(1)49--90, 31(1)49--59,
33(2)195--238, 34(1)227--240
-
C6150C, 15(3)223--249, 16(2)149--175, 34(1)227--240
-
C6150J, 12(1)1--17
-
C6160, 23(1)11--36, 26(3)243--286
-
C6160D, 10(1)93--105, 17(3)317--331, 19(2)143--160, 19(3)267--285,
22(1)175--194, 24(2)143--159, 26(1)149--195
-
calculi, 25(3)267--310, 32(1)121--156
-
calculus, 11(3)227--245, 11(3)277--301, 11(3)341--z, 13(3)239--270,
15(3)329--338, 22(3)265--284, 25(3)267--310, 26(1)149--195,
27(3)333--354, 29(3)251--275, 29(3)309--324, 30(1)91--131,
31(1)151--162, 32(3)297--307, 33(1)45--63
-
calculus, Lambda-, 20(2)95--207
-
calculus, lambda-, 29(3)309--324
-
calculus, mu-, 27(3)333--354
-
call-by-name, 20(2)95--207
-
call-by-value, 20(2)95--207
-
Callegarin, G., 14(3)305--315
-
Callegarin:1981:AIP, 14(3)305--315
-
calling, clause-, 34(1)227--240
-
calls, 23(2)187--210
-
cancellation, 14(2)127--154
-
canonical, 20(2)95--207, 33(2)175--193
-
Carlo, 23(2)211--215
-
Carter, I. L., 16(2)231--235
-
Carter:1981:NEC, 16(2)231--235
-
Cartesian, 27(1)109--119
-
case, 13(1)61--83, 14(3)289--303, 18(3)325--331, 19(3)305--320,
22(3)331--346, 29(1)1--25
-
case, average-, 33(1)85--94
-
Case, J., 25(2)193--120
-
case, worst-, 33(1)85--94
-
Case:1983:CIC, 25(2)193--120
-
categorical, 10(1)37--44, 34(1)33--82
-
category, 27(1)109--119, 31(1)175--209, 34(1)33--82
-
causal, 13(1)85--108, 28(1)171--196
-
CCS, 33(1)45--63, 33(1)z--z, 34(1)83--133
-
cedar, 29(1)49--73
-
cell, 14(3)247--265, 23(1)103--105
-
cellular, 14(3)211--226
-
center, 24(1)21--34
-
certain, 11(2)207--220, 17(2)229--231
-
CF, 31(3)227--261
-
cfl, 31(1)1--11
-
chain, 14(1)19--37, 27(3)287--295
-
Chan, Tat-hung, 23(1)95--101
-
Chan:1983:FVP, 23(1)95--101
-
channels, 33(1)45--63, 33(1)z--z
-
chaotic, 29(1)167--184
-
characterisation, 18(3)333--341, 19(1)29--38, 23(2)217--225,
24(1)53--71, 26(3)243--286, 27(3)311--332, 29(1)123--153,
31(1)49--59, 34(3)275--288
-
characteristic, 11(1)93--106
-
characterization, 13(3)295--314, 17(2)217--228, 17(3)333--341,
18(2)221--226, 21(3)255--267, 23(1)103--105, 26(1)53--82,
26(1)197--220, 26(3)243--286, 28(3)315--327, 29(1)123--153,
31(1)73--82
-
Characterizing, 31(1)49--59
-
chart, flow-, 25(1)1--66
-
Chazelle, B., 24(2)123--130
-
Chazelle:1983:UHE, 24(2)123--130
-
checking, 16(1)99--110, 23(2)129--154, 32(1)87--120, 33(2)239--240
-
Chin, F. Y., 32(1)77--86
-
Chin:1984:EIC, 32(1)77--86
-
Chlebus, B. S., 21(2)179--212
-
Chlebus:1982:CCS, 21(2)179--212
-
choice, 32(1)121--156, 34(1)135--156
-
Chomsky, 21(3)351--355, 24(1)53--71
-
Christofides, 19(2)189--201
-
Chromatic, 15(3)279--289
-
Chromsky, 21(3)341--349
-
Church, 11(3)247--275
-
Church--Rosser, 16(2)223--229, 18(3)325--331, 23(3)339--345,
24(1)73--94, 24(3)301--312, 25(2)171--192, 31(1)165--174,
33(2)261--278
-
circuit, 24(2)123--130
-
claim, 29(3)285--308
-
clairvoyant, 34(1)215--225
-
class, 10(3)221--247, 11(3)277--301, 15(2)181--200, 16(1)61--73,
17(2)229--231, 17(3)333--341, 18(1)95--103, 19(1)17--28,
19(1)29--38, 23(2)129--154, 23(2)217--225, 23(3)231--242,
23(3)333--337, 24(1)1--20, 24(1)53--71, 26(1)1--24, 26(1)197--220,
26(3)287--300, 27(1)61--83, 28(1)111--133, 31(1)73--82,
31(3)263--295, 31(3)317--335, 32(1)87--120, 32(1)121--156,
32(1)185--199, 32(3)261--277, 33(2)239--240, 33(2)305--326,
34(1)17--32, 34(1)83--133, 34(3)255--274, 34(3)337--341
-
classical, 32(1)61--76
-
classification, 12(1)83--96, 14(2)195--208, 22(3)331--346
-
clause, 28(1)13--43, 34(1)227--240
-
clause-calling, 34(1)227--240
-
Clerbout, M., 34(3)241--254
-
Clerbout:1984:PCF, 34(3)241--254
-
Clique, 15(3)279--289
-
cliques, 17(1)103--110
-
clopen, 34(3)275--288
-
closed, 15(3)329--338, 24(3)239--277, 27(1)109--119, 27(1)121--125,
28(3)239--261, 28(3)315--327, 34(3)275--288
-
closure, 15(1)77--110, 22(3)253--264, 23(3)231--242, 27(1)85--108,
29(1)167--184, 29(1)185--227
-
Codd, Boyce-, 26(3)243--286
-
code, 10(2)157--170, 11(3)337--339, 12(3)325--332, 21(2)225--230,
21(3)357--361, 22(3)331--346, 28(3)329--336, 32(1)201--213
-
codings, 33(1)13--43
-
coefficient, 10(1)1--18, 11(3)321--330, 34(1)207--213
-
Cohen, R., 10(3)249--272
-
Cohen, S., 34(1)215--225
-
Cohen:1980:COT, 10(3)249--272
-
Cohen:1984:SES, 34(1)215--225
-
colimits, 31(1)175--209
-
collapse, 34(1)17--32
-
collapsed, 32(1)1--24
-
Color-families, 17(1)29--41
-
colour, 14(3)317--336, 17(1)103--110
-
coloured, 14(3)317--336
-
colouring, 17(1)29--41
-
combination, 12(3)291--302
-
combinational, 16(2)177--185
-
combinator, 25(3)267--310, 29(3)309--324
-
combinatorics, 25(2)95--169, 34(1)169--206
-
combinatory, 22(1)1--17, 22(1)127--133, 31(1)31--40, 31(1)151--162
-
comma, 31(1)175--209
-
commands, 13(2)175--192
-
comment, 11(3)341--z
-
common, 14(3)317--336, 15(1)77--110, 16(2)187--198, 19(3)231--251,
23(1)83--89, 32(1)1--24, 32(1)157--172
-
communicating, 24(2)131--141, 26(1)105--120, 29(3)231--250, 32(1)25--46,
33(1)45--63, 33(2)279--304
-
communication, 32(1)25--46
-
communications, 19(1)1--16
-
commutation, 34(3)241--254
-
commutative, 22(1)95--126, 28(1)135--150, 30(1)133--138
-
commutativity, 10(2)171--185, 27(3)311--332, 28(1)135--150
-
compact, 34(3)275--288
-
compactness, 29(3)285--308, 34(1)135--156
-
comparison, 12(1)97--108, 13(3)315--322, 19(3)321--330, 25(2)193--120,
27(1)197--209, 29(1)185--227, 32(1)87--120
-
comparison-merging, minimum-, 14(1)19--37
-
compatibility, 26(1)83--103, 27(3)255--286
-
compilation, 18(1)41--67
-
compiler, 15(3)223--249, 16(2)149--175, 19(1)69--84, 34(1)227--240
-
complementation, 10(1)93--105
-
complete, 11(3)337--339, 12(1)19--37, 12(1)83--96, 12(3)325--332,
17(1)75--89, 17(2)193--212, 17(3)259--278, 21(1)105--111,
21(3)281--313, 22(1)127--133, 24(3)291--300, 26(1)25--52,
26(1)105--120, 26(1)131--147, 27(1)127--165, 28(3)239--261,
32(3)249--260, 33(2)139--174, 33(2)305--326, 34(1)33--82,
34(3)343--350
-
complete, bounded-, 34(3)275--288
-
complete, -, 33(2)305--326
-
complete, NP-, 13(3)295--314, 16(2)187--198, 19(1)1--16,
19(1)17--28, 31(1)125--138
-
complete, NP-, 12(1)83--96
-
complete, P-, 32(1)61--76
-
complete, P-, 32(1)61--76
-
complete, UR-, 24(3)291--300
-
completeness, 10(1)93--105, 10(2)111--121, 11(1)1--18, 11(1)93--106,
11(3)277--301, 13(1)3--15, 14(1)113--118, 16(2)199--210,
21(1)105--111, 22(1)1--17, 22(1)127--133, 24(3)291--300,
24(3)337--347, 28(1)215--221, 28(3)239--261, 29(3)309--324,
31(1)31--40
-
completeness, m-, 21(2)163--178
-
completeness, NP-, 24(3)291--300
-
completeness, P-, 32(3)279--295
-
completeness, p/-, 33(2)305--326
-
Completing, 28(3)329--336
-
completion, 24(1)21--34, 24(2)143--159
-
complex, 22(1)195--208, 23(2)107--127
-
components, 29(1)87--121, 32(1)185--199
-
composing, 21(3)315--340
-
composition, 10(1)53--61, 29(1)185--227, 30(1)91--131, 34(1)135--156
-
compression, 24(3)221--237
-
computability, 10(2)133--155, 11(3)331--335, 12(3)291--302,
15(3)329--338, 16(1)5--24, 17(2)163--191, 17(2)193--212,
18(1)69--87, 18(3)279--300, 19(1)17--28, 19(1)29--38, 19(2)219--227,
19(3)231--251, 19(3)331--335, 21(2)119--144, 23(1)37--48,
23(1)49--68, 23(3)231--242, 23(3)333--337, 23(3)339--345,
24(3)301--312, 24(3)313--322, 25(2)171--192, 26(1)131--147,
26(1)233--241, 27(1)3--38, 27(1)39--60, 28(1)13--43, 31(1)101--123,
31(1)165--174, 32(1)173--183
-
computable, 10(2)133--155, 23(1)37--48, 29(1)155--166
-
computation, 10(2)171--185, 11(2)181--205, 11(2)207--220, 12(1)1--17,
12(2)175--192, 13(1)17--43, 13(2)175--192, 14(2)127--154,
14(2)187--193, 14(3)247--265, 17(2)113--149, 18(1)41--67,
19(1)39--67, 19(2)143--160, 19(2)161--187, 20(3)323--352,
22(1)19--55, 23(1)95--101, 23(3)305--315, 24(1)105--117,
24(2)123--130, 24(2)195--205, 25(1)1--66, 25(3)267--310,
26(1)53--82, 26(1)121--130, 27(1)225--231, 30(1)49--90,
31(1)175--209, 31(3)263--295, 32(1)61--76, 32(1)157--172,
32(3)227--247, 33(1)z--z, 34(1)17--32, 34(1)227--240
-
computational, 10(1)1--18, 10(1)53--61, 10(1)83--92, 10(2)171--185,
10(3)221--247, 11(1)1--18, 11(1)71--77, 11(1)93--106, 11(3)321--330,
12(1)97--108, 12(2)119--126, 12(2)161--173, 12(3)255--263,
12(3)291--302, 13(3)271--293, 13(3)295--314, 14(1)1--17,
14(1)91--101, 14(3)227--246, 14(3)247--265, 14(3)289--303,
14(3)337--344, 15(1)77--110, 15(2)181--200, 15(2)201--211,
15(3)291--309, 15(3)321--328, 16(1)25--32, 16(1)99--110,
16(2)115--148, 16(3)279--290, 17(1)55--73, 17(2)213--216,
17(3)303--315, 18(1)95--103, 18(1)105--111, 18(3)259--268,
19(1)1--16, 19(1)17--28, 19(1)39--67, 19(2)161--187, 19(2)203--218,
19(3)337--341, 20(3)323--352, 21(1)1--25, 21(1)105--111,
21(2)179--212, 21(3)255--267, 22(1)19--55, 22(1)195--208,
22(3)285--296, 22(3)317--330, 23(2)171--185, 23(2)187--210,
23(3)333--337, 24(2)123--130, 24(3)221--237, 24(3)239--277,
24(3)279--289, 24(3)291--300, 25(2)95--169, 25(2)193--120,
26(1)197--220, 26(3)287--300, 26(3)327--333, 27(1)3--38,
27(3)241--253, 28(1)111--133, 28(1)135--150, 28(3)277--285,
29(1)123--153, 30(3)241--318, 30(3)319--341, 31(1)41--48,
31(1)101--123, 31(1)125--138, 31(1)175--209, 32(1)61--76,
32(1)77--86, 32(1)157--172, 32(1)173--183, 32(1)221--224,
32(3)227--247, 32(3)279--295, 33(1)117--138, 33(2)261--278,
33(2)305--326, 34(1)17--32, 34(1)83--133, 34(1)207--213,
34(3)337--341
-
compute, 11(3)331--335
-
computer, 12(1)1--17, 13(1)17--43, 17(3)317--331, 19(1)1--16,
19(1)69--84, 19(2)143--160, 22(1)19--55, 23(2)107--127, 24(1)1--20,
25(1)67--94, 25(2)95--169, 27(1)225--231, 32(1)77--86,
32(1)157--172, 33(1)z--z
-
computing, 10(2)133--155, 12(3)255--263, 26(3)343--353, 27(3)241--253,
29(1)123--153, 31(1)83--100
-
concatenation, 12(2)175--192, 13(2)137--150, 23(3)333--337,
27(1)121--125
-
concept, 17(2)193--212, 18(1)41--67
-
conceptual, 19(3)267--285
-
concerning, 14(1)119--123, 24(3)313--322
-
Concise, 14(3)227--246
-
concrete, 19(1)39--67, 20(3)265--321, 26(1)131--147
-
concurrency, 11(3)247--275, 13(1)61--83, 13(1)85--108, 25(3)221--265,
29(1)87--121, 34(1)33--82, 34(1)83--133
-
concurrent, 12(1)39--60, 13(1)45--60, 13(1)109--136, 25(3)221--265,
26(1)121--130, 30(3)241--318, 33(1)45--63, 33(1)65--84,
34(1)83--133
-
condition, 10(1)37--44, 11(2)167--180, 22(1)175--194, 26(3)287--300,
27(1)109--119, 28(3)277--285, 28(3)287--298, 31(3)297--306,
32(3)321--330
-
condition-event, 21(3)315--340
-
conditional, 15(2)159--179, 33(2)175--193
-
Conference, 33(1)z--z
-
configuration, 16(2)199--210
-
confluence, 24(1)73--94, 32(1)1--24
-
confluent, 19(3)231--251
-
confusion, 13(1)85--108
-
congruence, 13(2)151--174, 14(3)305--315, 16(1)61--73, 17(2)229--231,
23(3)339--345, 24(1)73--94, 24(3)301--312, 27(1)39--60,
33(2)139--174, 34(1)33--82
-
conjecture, 17(2)151--161, 29(3)285--308, 33(1)117--138
-
conjugacy, 32(3)279--295
-
conjugate, 15(1)77--110
-
conjunctive, 11(2)123--143, 26(3)287--300
-
connected, 27(1)61--83
-
connected, tree-, 32(3)227--247
-
connection, 32(1)185--199
-
CoNP, 34(1)17--32
-
consequence, 26(3)287--300
-
conservative, 30(1)1--48
-
consisting, 21(2)119--144
-
constant, 11(3)337--339, 19(1)17--28, 32(1)121--156
-
constraint, 12(3)265--290, 13(1)61--83, 19(2)143--160, 26(1)25--52
-
constructability, 17(1)99--102
-
Constructing, 22(1)57--69
-
construction, 21(1)91--98, 22(3)233--251, 24(1)73--94, 32(1)215--219,
34(1)33--82, 34(1)227--240
-
constructive, 30(2)139--204
-
constructs, 17(2)113--149, 24(1)35--52, 29(3)231--250, 33(2)175--193
-
containment, 31(3)317--335, 32(1)173--183, 34(3)255--274
-
context, 11(1)107--116, 12(2)127--134, 12(3)265--290, 18(3)333--341,
21(3)341--349, 31(3)227--261
-
context-free, 11(1)107--116, 12(2)127--134, 12(3)265--290,
14(3)227--246, 14(3)337--344, 16(1)61--73, 16(3)237--269,
16(3)291--305, 17(1)1--27, 17(1)43--54, 18(1)33--40, 19(1)29--38,
19(3)231--251, 21(1)75--90, 22(1)209--217, 22(3)253--264,
23(1)83--89, 23(1)91--94, 23(2)129--154, 23(2)155--169,
23(2)217--225, 23(3)231--242, 24(2)195--205, 26(1)233--241,
27(1)197--209, 27(3)287--295, 27(3)311--332, 28(1)197--214,
28(3)277--285, 28(3)299--314, 29(1)41--48, 29(3)277--284,
29(3)285--308, 29(3)325--349, 31(1)1--11, 31(1)139--149,
31(1)211--223, 31(3)227--261, 31(3)317--335, 31(3)337--349,
32(1)47--60, 32(3)261--277, 33(1)3--11, 33(2)305--326,
34(3)255--274
-
context-sensitive, 18(3)333--341, 21(1)75--90, 21(3)341--349
-
continued, 10(1)53--61, 29(1)49--73
-
continuity, 20(3)323--352, 34(1)135--156
-
continuous, 16(2)211--221, 16(2)231--235, 17(2)151--161, 18(3)227--258,
20(3)323--352, 23(2)187--210, 27(1)39--60, 27(1)225--231,
29(3)309--324, 34(1)33--82, 34(3)275--288
-
continuous, D-, 28(1)171--196
-
continuous, D-, 28(1)171--196
-
control, 12(2)175--192, 13(1)61--83, 20(2)95--207, 21(3)281--313,
24(1)1--20, 24(1)35--52, 27(3)297--310, 32(1)77--86, 33(2)195--238
-
controlled, 31(1)211--223, 33(1)3--11, 33(1)z--z
-
controlled, neighbourhood-, 21(1)55--74
-
convergence, 14(2)195--208, 14(3)247--265, 22(1)195--208, 31(3)227--261
-
convergent, 22(1)195--208
-
convex, 11(1)1--18, 34(1)169--206
-
convexity, 12(3)291--302
-
convolution, 22(3)233--251
-
copies, 11(2)167--180
-
Coping, 33(1)85--94
-
Coppo, M., 29(3)309--324
-
Coppo-Dezani, 28(1)235--236
-
Coppo:1984:CTA, 29(3)309--324
-
Cori, R., 21(1)91--98
-
Cori:1982:CMP, 21(1)91--98
-
correct, 15(3)223--249
-
correcting, 24(1)95--104
-
correction, 24(1)95--104
-
correctness, 11(1)39--47, 12(1)61--81, 12(3)265--290, 13(1)61--83,
13(2)175--192, 13(2)193--223, 13(3)239--270, 15(1)1--25,
15(1)51--75, 15(2)159--179, 15(3)223--249, 17(2)113--149,
17(3)303--315, 19(2)117--141, 21(2)231--235, 22(3)265--284,
24(2)131--141, 28(1)83--109, 30(1)1--48, 30(1)49--90, 33(1)65--84,
34(3)289--313
-
correspond, 28(1)235--236
-
Correspondence, 21(2)119--144
-
corresponding, 32(1)1--24
-
coset, 32(1)61--76
-
cost, 24(3)221--237
-
Costa, G., 32(1)121--156
-
Costa, G., see Astesiano, E.
-
counter, 16(3)271--278, 21(1)39--53, 22(1)95--126, 24(3)313--322,
28(1)215--221
-
counter, multi-weak-, 21(1)27--37
-
counter-example, 23(1)103--105
-
counterexample, 23(1)103--105
-
counterintuitive, 31(1)41--48
-
counting, 12(2)161--173
-
coupled, 13(1)61--83, 24(1)1--20
-
Courcelle, B., 17(2)163--191, 17(3)235--257, 25(2)95--169,
30(2)205--239
-
Courcelle, B., see Braquelaire, J. P.
-
Courcelle:1982:AGRa, 17(2)163--191
-
Courcelle:1982:AGRb, 17(3)235--257
-
Courcelle:1983:FPI, 25(2)95--169
-
Cousineau, G., 12(2)175--192
-
Cousineau:1980:ADC, 12(2)175--192
-
covering, 11(1)93--106
-
covering, edge-, 11(1)93--106
-
Cox, P. T., 28(3)239--261
-
Cox:1984:CNA, 28(3)239--261
-
CPO, 12(1)19--37, 26(1)131--147, 34(3)275--288
-
cpo, 16(1)5--24
-
CPOs, 12(1)19--37, 34(3)275--288
-
criteria, 25(2)193--120
-
criterion, 27(1)211--215, 32(1)1--24, 34(3)289--313
-
Crochemore, M., 18(2)221--226
-
Crochemore:1982:SCS, 18(2)221--226
-
cross, 34(3)315--335, 34(3)343--350
-
Csirmaz, L., 16(2)199--210, 21(2)231--235
-
Csirmaz:1981:PPV, 16(2)199--210
-
Csirmaz:1982:DPE, 21(2)231--235
-
CSP, 24(2)131--141, 29(3)231--250, 33(2)279--304
-
cube-free, 23(1)69--82
-
Culik, II, K., 18(3)279--300, 19(1)29--38, 32(3)227--247
-
Culik, K., 14(3)227--246, 23(3)231--242, 28(3)277--285
-
Culik, K., see Bucher, W.
-
Culik:1982:DFM, 18(3)279--300
-
Culik:1982:IWO, 19(1)29--38
-
Culik:1983:FLR, 23(3)231--242
-
Culik:1984:ITA, 32(3)227--247
-
Curien, P. L., 20(3)265--321
-
Curien, P. L., see Berry, G.
-
Curry, 22(1)1--17, 22(1)127--133, 28(1)151--169, 29(3)309--324
-
cycle, 13(1)3--15
-
cyclic, 14(3)247--265, 22(3)233--251, 29(3)251--275
-
cylindrification, 15(2)213--221, 29(1)185--227