Index file section C for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
C
-
c, pseudo-, 66(3)323--331
-
C-levelable, 61(2)103--119
-
C-tree, 56(2)155--186
-
C1110, 40(2)329--337, 44(3)333--339, 51(1)229--238, 68(3)347--348
-
C1130, 51(3)331--339
-
C1140, 53(1)67--97, 53(1)99--124, 65(2)149--152, 65(2)171--188
-
C1140C, 52(3)269--280, 64(2)203--219
-
C1140E, 38(1)69--82, 47(2)205--218, 56(3)289--301, 67(1)5--18
-
C1140Z, 41(2)325--330
-
C1180, 40(1)67--84, 45(1)87--119, 49(1)81--84, 51(1)53--80, 54(1)87--102,
54(1)129--137, 59(3)297--307, 63(3)295--302, 64(1)107--118
-
C1230, 35(2)129--164, 44(2)127--153, 54(1)3--28, 54(1)29--51,
56(3)277--288, 65(1)1--33, 66(2)205--232, 66(3)255--272,
67(2)173--201, 67(2)203--260, 68(2)135--154, 68(2)203--220
-
C1250, 43(1)31--41, 43(2)239--249, 48(2)145--152, 52(3)177--191,
63(1)1--17, 66(1)99--104
-
C1260, 35(2)295--312, 36(1)99--108, 37(1)77--121, 41(2)215--222,
48(2)283--296, 51(1)215--220, 54(2)165--179, 56(3)339--344,
57(1)97--111, 57(1)131--145, 57(2)283--302, 58(1)103--128,
63(2)157--184, 63(2)185--202, 65(2)143--148, 65(2)171--188,
65(2)249--263, 65(2)z--z, 68(2)175--202
-
C1290, 37(2)217--243, 66(2)157--180
-
C4110, 54(1)129--137
-
C4130, 36(2)309--317, 38(2)157--165, 39(1)69--88, 39(2)207--224,
39(2)225--237, 40(2)195--210, 40(2)319--322, 41(2)125--139,
41(2)319--323, 42(1)1--122, 44(1)1--16, 46(2)329--338,
51(1)177--204, 54(1)129--137, 57(2)239--249, 58(1)183--199,
64(1)15--23, 68(1)1--17
-
C4140, 54(1)65--85, 64(2)135--157, 64(2)159--173, 65(2)243--248
-
C4190, 53(2)345--352, 58(1)183--199, 65(2)213--220, 67(1)55--63
-
C4200, 40(2)323--328, 46(2)159--174, 46(2)319--327, 53(2)201--224,
60(3)231--254, 60(3)297--340, 62(3)311--317, 64(1)55--66
-
C4230, 43(2)277--291, 47(3)323--328, 48(2)135--144, 54(2)237--247,
64(1)83--96, 64(1)125--132, 64(2)191--201
-
C4230B, 38(1)55--68, 39(2)337--342
-
C4230D, 54(2)277--298
-
C4250, 35(2)165--177, 38(1)1--16, 38(1)99--116, 39(2)239--265,
39(2)309--317, 41(2)271--287, 43(1)81--89, 46(1)67--82,
48(2)145--152, 48(2)297--328, 52(3)281--306, 54(1)103--128,
54(2)299--313, 56(2)187--209, 58(1)3--16, 62(1)3--38, 62(1)67--104,
62(1)105--122, 62(1)187--220, 62(1)221--233, 63(1)63--90,
69(1)1--53
-
C4290, 38(1)123--132, 39(1)47--68, 44(2)209--224, 48(2)283--296,
54(1)87--102, 58(1)183--199, 67(1)37--54, 68(3)239--252
-
C5210B, 61(1)49--66
-
C5220, 64(2)191--201
-
C5320G, 48(1)53--73, 58(1)379--397, 59(3)297--307, 61(2)121--136
-
C5440, 64(2)175--189
-
C5470, 64(2)175--189
-
C5600, 53(2)169--185, 54(1)53--64
-
C5620, 39(2)319--325, 40(2)101--130, 48(1)75--94, 53(2)281--293,
57(1)97--111
-
C5620L, 52(3)193--203
-
C5690, 49(2)171--184
-
C6110, 36(2)145--171, 39(1)15--25, 39(1)z--z, 40(2)301--314,
46(2)141--158, 46(2)239--259, 55(2)265--289, 59(1)157--180,
61(2)259--277, 65(1)1--33, 65(1)35--83, 69(1)55--68, 69(1)69--115
-
C6120, 35(2)329--336, 45(3)293--351, 49(2)239--265, 50(2)103--135,
50(2)137--181, 51(1)129--176, 51(1)205--214, 56(3)345--353,
57(1)3--45, 58(1)57--68, 58(1)143--154, 59(3)211--234,
59(3)259--276, 62(3)251--266, 63(2)113--139, 68(1)37--47,
68(1)57--70
-
C6130, 39(2)319--325, 40(2)101--130, 46(2)261--284, 50(2)137--181,
50(3)323--349, 52(3)193--203, 54(2)315--324, 66(1)45--53,
66(2)137--155
-
C6140, 58(1)249--261, 59(3)211--234
-
C6140D, 54(1)3--28, 56(1)3--15, 60(2)177--229
-
C6150C, 56(1)3--15, 56(1)17--36, 56(1)59--133, 63(3)253--274
-
C6150G, 46(2)175--195, 50(3)285--321, 61(2)225--258, 66(3)299--321,
66(3)333--340, 69(2)117--242
-
C6150J, 36(1)1--19, 38(2)193--122, 55(1)1--45
-
C6160, 58(1)57--68, 62(1)3--38, 62(1)187--220, 62(3)251--266
-
C6160D, 39(2)239--265, 39(2)309--317, 62(1)105--122, 63(1)63--90
-
C6160Z, 69(1)1--53
-
C6170, 62(1)39--65, 62(1)187--220, 69(1)1--53, 69(1)55--68
-
C7330, 64(1)107--118
-
CA, 57(2)225--238
-
CAD, 61(1)49--66
-
calculation, 35(1)71--87, 47(2)191--203
-
calculi, 40(2)329--337, 56(3)277--288
-
calculi, Lambda-, 65(3)291--342
-
calculus, 37(3)245--267, 38(2)343--347, 39(2)135--153, 39(2)297--308,
41(1)95--104, 44(1)51--68, 44(2)127--153, 45(2)121--157,
45(3)293--351, 46(1)67--82, 48(1)95--100, 52(1)1--14, 52(1)145--153,
52(3)205--237, 52(3)307--340, 53(2)335--343, 56(2)223--231,
58(1)143--154, 59(1)25--84, 59(1)85--114, 59(1)181--209,
59(3)317--325, 60(3)297--340, 64(1)55--66, 65(3)291--342,
67(1)129--139, 68(1)105--111, 68(3)333--342, 69(1)55--68
-
calculus, lambda-, 39(2)337--342, 45(2)159--192, 52(1)1--14
-
calculus-theory, 69(3)243--287
-
call, subroutine-, 61(2)175--198
-
call-by-value, 61(1)83--92
-
call/cc, 52(3)205--237
-
calls, 59(1)133--155
-
cancellation, 39(1)3--13, 39(1)z--z
-
canonical, 35(2)337--344, 38(1)55--68, 39(1)69--88, 41(1)81--93,
45(2)121--157, 47(1)39--60, 50(3)323--349, 54(2)299--313,
61(1)83--92, 67(2)143--172, 68(3)333--342
-
capacity, 41(1)1--17
-
cardinality, 36(2)265--289, 48(2)329--337, 66(1)27--43, 66(1)55--63,
68(3)347--348
-
Carpi, A., 51(1)215--220, 56(2)233--241
-
Carpi, Arturo, 60(3)285--296
-
Carpi:1987:URM, 51(1)215--220
-
Carpi:1988:MUC, 56(2)233--241
-
Carpi:1988:SUA, 60(3)285--296
-
cartesian, 41(1)95--104, 64(1)55--66, 68(3)221--237, 68(3)239--252
-
cascade, 39(2)319--325, 47(1)1--14
-
case, 52(3)307--340, 53(2)243--255, 58(1)325--346, 62(3)251--266,
63(3)239--252, 64(1)119--124, 67(1)87--97, 68(1)57--70
-
case, average-, 62(3)251--266
-
case, Worst-, 68(1)57--70
-
case, worst-, 56(2)211--222, 58(1)325--346, 62(3)251--266,
66(1)105--111
-
Castellani, I., 59(1)25--84
-
Castellani, I., see Boudol, G.
-
categorical, 41(1)95--104, 50(2)103--135, 53(1)3--24, 53(1)z--z,
65(3)271--290, 65(3)291--342
-
category, 41(1)95--104, 45(2)159--192, 50(2)103--135, 52(1)37--58,
64(1)55--66, 64(3)221--269, 68(3)221--237
-
Cauchy, 47(3)299--313
-
causality, 60(1)1--82
-
Cayley, 37(1)51--75, 53(2)307--317
-
Cazanescu, V. E., 41(1)33--50
-
Cazanescu:1985:CFT, 41(1)33--50
-
CCC, 64(1)55--66
-
CCC, E-, 64(1)55--66
-
CCL, 46(2)305--312, 65(3)271--290, 65(3)291--342
-
CCS, 37(3)305--336, 49(2)311--347, 50(3)241--284, 68(2)175--202
-
cell, 58(1)183--199, 64(2)191--201
-
cellular, 37(1)51--75, 38(2)167--192, 41(2)231--246, 57(1)47--86,
57(2)225--238
-
central, 44(3)247--257
-
Cerro, L., Farinas Del, 36(2)251--264
-
Cerro, Luis, Farinas del, 65(1)1--33
-
certain, 44(1)107--110, 51(1)221--227, 54(2)165--179, 67(2)143--172,
68(3)253--265
-
Cesari-Schützenberger, 58(1)103--128
-
CFG, 44(2)229--236
-
CFL, co-, 49(2)113--119
-
CFSMs, 44(1)69--105
-
chain, 35(1)71--87, 36(2)173--202, 43(2)277--291, 49(2)267--282,
58(1)325--346, 68(3)239--252
-
chain-free, 44(2)229--236
-
chaining, 54(1)3--28, 62(1)187--220, 69(1)55--68
-
Chan, Edward P. F., 62(1)67--104
-
Chan:1988:DAB, 62(1)67--104
-
Chang, J. H., 39(2)89--106, 44(1)111--121, 68(1)19--36
-
Chang, J. H., see Ibarra, O. H.
-
Chang:1986:PA, 44(1)111--121
-
Chang:1989:ESS, 68(1)19--36
-
change, 55(2)291--348
-
channel, 44(1)69--105, 52(3)193--203, 68(2)175--202
-
channel, multi-, 52(3)193--203
-
character, 38(2)167--192
-
characterisation, 39(1)z--z, 43(1)1--10, 46(1)91--99, 48(1)75--94,
51(1)117--127, 66(3)299--321
-
characteristic, 36(2)309--317, 43(1)91--98, 51(1)81--115, 54(1)53--64,
54(1)65--85, 61(1)83--92, 61(2)299--306
-
characterization, 35(1)17--42, 35(1)43--53, 35(2)261--269,
36(1)109--112, 36(2)341--344, 38(1)117--122, 39(1)27--45,
40(2)275--300, 43(1)1--10, 43(1)31--41, 44(2)225--228,
45(2)121--157, 46(1)91--99, 46(1)101--106, 49(1)23--42,
50(3)285--321, 51(1)27--52, 51(1)117--127, 51(1)205--214,
51(3)301--308, 52(1)165--171, 52(3)251--267, 53(2)335--343,
54(2)199--214, 57(1)47--86, 62(1)105--122, 62(1)221--233,
64(2)191--201, 66(3)299--321, 67(1)75--85, 67(2)143--172,
68(2)155--173, 68(2)203--220, 69(3)289--318
-
Characterizing, 59(1)115--131
-
charts, 61(2)175--198
-
checking, 39(2)267--280, 44(1)111--121, 46(2)197--217, 64(1)39--53,
64(3)305--329
-
Chen, 40(1)31--55
-
Chen, see Blumer, A.
-
Chenadec, P., Le, 51(1)27--52
-
Chlebus, B. S., 68(1)113--119
-
Chlebus:1989:HPH, 68(1)113--119
-
Choffrut, C., 58(1)81--101
-
Choffrut:1988:CRF, 58(1)81--101
-
choice, 36(1)1--19, 49(2)87--112, 56(1)37--57, 58(1)249--261
-
Chomsky, 36(1)109--112, 40(2)315--317, 46(2)313--318
-
Choppy, C., 46(1)13--45, 67(2)261--282
-
Choppy, C., see Bernot, G.
-
Choppy:1989:CAT, 67(2)261--282
-
chordal, 53(2)257--265
-
Chrobak, M., 36(2)341--344, 47(2)149--158, 48(2)153--181
-
Chrobak, M., see Rytter, W.
-
Chrobak, Marek, 302(1)497--498
-
Chrobak:1986:FAU, 47(2)149--158, 302(1)497--498
-
Chrobak:1986:HOW, 48(2)153--181
-
Chrobak:2003:EFA, 47(2)149--158, 302(1)497--498
-
Church--Rosser, 35(1)109--114, 35(2)227--243, 35(2)337--344,
37(2)123--150, 39(2)123--133, 39(2)337--342, 49(1)13--22,
49(1)43--79, 65(3)271--290, 66(1)55--63, 68(3)319--332,
68(3)333--342
-
Ciancaglini, M., Dezani-, 45(2)121--157
-
cigarette, 36(1)27--58
-
circle, 49(1)81--84
-
circuit, 36(2)239--250, 36(2)333--339, 38(1)55--68, 38(2)269--291,
41(2)141--167, 43(2)201--211, 43(2)277--291, 52(3)239--249,
57(0)3--159, 57(1)97--111, 57(1)113--129, 61(1)49--66,
64(1)125--132, 64(3)271--280, 68(1)19--36, 68(1)113--119,
68(3)267--276
-
Circuit-Size, 61(2)299--306
-
circuit-size, 61(2)299--306
-
circular, 57(2)283--302, 63(3)303--331, 68(3)253--265
-
circularity, 45(2)159--192
-
CL-term, 66(3)323--331
-
Clarke, E., 38(2)269--291
-
Clarke, E., see Mishra, B.
-
Clarke, E. M., 59(1)115--131
-
Clarke, E. M., see Browne, M. C.
-
Clarkson, K. L., 49(1)81--84
-
Clarkson, K. L., see Guibas, L. J.
-
class, 35(1)17--42, 35(2)313--327, 37(2)123--150, 38(2)143--156,
38(2)157--165, 39(2)267--280, 40(1)57--66, 41(1)105--107,
42(2)123--249, 43(2)213--238, 44(2)237--245, 46(2)313--318,
47(1)1--14, 47(1)39--60, 47(1)71--84, 47(1)99--105, 47(2)111--120,
47(2)131--147, 47(3)247--262, 47(3)263--276, 48(2)145--152,
48(2)329--337, 52(3)177--191, 52(3)251--267, 54(1)87--102,
58(1)129--142, 60(3)255--283, 61(1)17--24, 61(2)103--119,
63(1)43--61, 64(2)203--219, 67(1)75--85, 67(1)99--110,
67(2)143--172, 67(2)283--301, 68(2)155--173
-
classical, 37(3)305--336, 39(2)207--224, 42(1)1--122, 53(1)25--65,
56(1)37--57
-
classification, 36(2)145--171, 36(2)217--229, 47(2)121--130,
58(1)17--56, 65(2)143--148, 65(2)z--z
-
clausal, 35(2)129--164, 65(1)1--33
-
clause, 35(2)129--164, 44(2)127--153, 52(3)281--306, 54(1)3--28,
59(3)287--296, 62(1)187--220, 63(3)253--274, 66(1)113--114,
68(2)135--154, 68(2)203--220, 69(1)1--53
-
Clausen, Michael, 67(1)55--63
-
Clausen:1989:FGF, 67(1)55--63
-
clean, 59(1)157--180
-
clique, 38(1)55--68
-
closed, 40(2)257--274, 41(1)95--104, 43(1)59--79, 47(2)159--168,
52(1)1--14, 64(1)55--66, 64(2)203--219, 66(1)1--14, 68(2)155--173,
68(3)221--237
-
closure, 35(2)313--327, 36(2)291--308, 39(2)281--295, 40(2)163--174,
40(2)257--274, 43(2)251--263, 43(2)315--335, 46(2)141--158,
46(2)159--174, 47(2)159--168, 47(3)315--321, 48(2)145--152,
48(2)229--255, 49(1)1--12, 51(1)53--80, 51(3)281--299,
52(3)251--267, 52(3)281--306, 57(2)225--238, 58(1)325--346,
61(2)199--224, 61(2)283--287, 63(1)43--61
-
Clote, P., 43(1)99--105
-
Clote:1986:FCP, 43(1)99--105
-
clustering, 38(2)293--306
-
clusters, 64(2)175--189
-
clutter, 54(2)237--247
-
CNF, 68(2)123--134
-
co-CFL, 49(2)113--119
-
Co-NP, 54(1)87--102
-
co-NP-complete, 48(1)127--132
-
coalgebras, 54(2)215--236
-
coarsest, 40(1)67--84
-
Cockett, J. R. B., 54(2)215--236
-
Cockett:1987:DDT, 54(2)215--236
-
Codd, Boyce-, 62(1)67--104
-
code, 35(2)295--312, 36(1)99--108, 36(2)173--202, 38(1)123--132,
40(1)3--11, 41(1)61--80, 41(2)215--222, 41(2)289--303,
48(2)283--296, 51(1)215--220, 54(2)165--179, 56(1)59--133,
56(3)339--344, 57(2)283--302, 58(1)103--128, 63(2)157--184,
65(0)123--270, 65(2)171--188, 65(2)265--270, 66(1)27--43,
66(1)45--53, 68(3)239--252, 68(3)253--265
-
code-compatible, 38(1)123--132
-
coded, 44(1)17--49
-
codes, n-, 46(1)83--89
-
coding, 48(2)257--272, 65(0)123--270, 65(2)171--188, 65(2)z--z
-
coefficient, 41(2)289--303, 44(1)1--16, 58(1)17--56, 65(2)131--141
-
Cognitive, 58(1)155--174
-
Cohen-Culik, 52(1)91--143
-
coherent, 65(1)85--119
-
cohesion, 63(1)63--90
-
Cole, R., 49(2)239--265
-
Cole:1987:PPS, 49(2)239--265
-
collapse, 59(1)85--114
-
collecting, 69(2)117--242
-
collection, 52(1)91--143
-
colloquium, 49(2)z--z, 53(1)z--z, 58(0)3--397, 66(0)117--232
-
colorability, 41(2)141--167
-
coloring, 68(1)89--103
-
colourability, 38(2)343--347
-
colourability, 2-, 38(2)343--347
-
coloured, 41(2)185--213
-
coloured-Petri-net, 35(2)191--214
-
colouring, 38(2)343--347, 43(2)337--343, 68(1)89--103
-
colouring, k-, 43(2)337--343
-
column, 64(2)135--157
-
combination, 38(1)55--68, 47(1)61--69, 65(3)271--290
-
combinational, 44(3)247--257, 65(2)221--242
-
combinator, 39(2)337--342, 41(2)289--303, 48(1)95--100, 49(2)311--347,
56(1)17--36, 64(1)97--105, 65(3)271--290, 66(1)99--104
-
Combinatorial, Techniques-, 65(2)221--242
-
combinatorics, 61(2)121--136
-
combinators, BCK-, 64(1)97--105
-
combinators, BCK-, 64(1)97--105
-
combinatory, 39(2)337--342, 61(2)259--277, 65(3)291--342, 66(1)27--43,
66(3)323--331
-
comment, 52(3)341--342, 68(3)347--348
-
common, 57(0)3--159, 57(1)131--145, 61(1)67--81
-
communicating, 37(1)77--121, 39(1)47--68, 39(1)z--z, 44(1)69--105,
45(1)1--61, 49(2)121--143, 49(2)311--347, 49(2)z--z, 54(2)277--298,
58(1)249--261, 59(3)235--257
-
communication, 40(2)101--130, 45(1)1--61, 47(3)323--328, 48(1)75--94,
48(1)109--115, 49(2)171--184, 52(3)193--203, 53(2)169--185,
53(2)281--293, 53(2)335--343, 54(1)53--64, 57(1)97--111,
57(2)225--238, 58(1)183--199, 61(1)93--102, 64(1)83--96,
64(2)175--189, 64(2)203--219, 68(2)175--202
-
communication, S-, 57(1)97--111
-
communication-time, 54(1)53--64
-
communications, 40(2)101--130, 49(2)145--169, 54(1)53--64,
61(2)121--136
-
Communicative, 66(2)117--136
-
commutation, 54(2)277--298, 64(1)67--81
-
Commutations, 64(1)67--81
-
commutations, Semi-, 64(1)67--81
-
commutative, 35(2)295--312, 41(1)109--112, 43(1)91--98, 46(2)159--174,
46(2)319--327, 48(2)183--199, 48(2)329--337, 52(1)59--75,
56(3)345--353, 57(2)239--249, 58(1)201--208, 67(1)19--35
-
commutative, non-, 46(2)319--327
-
commutativity, 40(1)13--30, 56(3)345--353, 60(1)1--82, 67(1)19--35
-
commutator, 56(3)253--275
-
commuting, 36(1)1--19
-
compact, 66(1)27--43
-
compactness, 47(2)159--168, 57(2)251--282
-
comparative, 60(1)83--108
-
comparison, 43(2)345--350, 54(2)249--265, 58(1)3--16, 61(1)67--81,
63(2)185--202, 66(1)105--111, 66(2)137--155
-
compatibility, 51(1)205--214, 64(2)175--189
-
compatible, Code-, 38(1)123--132
-
compatible, code-, 38(1)123--132
-
Compilation, 63(3)253--274
-
compile-time, 56(1)17--36, 56(1)59--133, 69(2)117--242
-
compiler, 56(1)3--15, 56(1)17--36, 56(1)59--133, 63(3)253--274
-
complementary, 52(1)91--143
-
complementation, 38(1)133--136, 47(1)95--98, 49(2)217--237,
51(3)325--330, 67(1)111--113
-
complete, 35(2)245--260, 37(1)1--30, 38(1)55--68, 38(2)157--165,
38(2)249--267, 40(2)85--99, 41(2)141--167, 42(2)123--249,
43(2)189--200, 44(2)199--208, 44(3)275--305, 45(1)1--61,
46(2)319--327, 47(1)1--14, 47(1)27--38, 47(2)169--180,
52(3)177--191, 54(2)199--214, 56(2)211--222, 57(2)317--325,
58(1)129--142, 63(1)43--61, 63(3)239--252, 64(1)125--132,
65(3)343--371, 67(2)203--260, 67(2)303--332, 68(1)37--47,
68(3)267--276
-
complete, co-NP-, 48(1)127--132
-
complete, EXPTIME-, 58(1)263--324
-
complete, F-, 45(2)121--157
-
complete, F-, 45(2)121--157
-
complete, NP-, 36(2)173--202, 38(2)323--341, 39(2)207--224,
40(1)57--66, 40(2)323--328, 41(2)141--167, 44(3)247--257,
46(2)219--237, 47(1)85--93, 51(1)221--227, 54(2)181--198,
58(1)209--229, 63(3)239--252
-
complete, NP-, 52(1)145--153, 58(1)209--229, 63(3)239--252
-
complete, P-, 43(1)43--58, 51(1)53--80
-
complete, PSPACE-, 36(2)265--289, 58(1)263--324
-
completely-specified, 39(2)309--317
-
completeness, 35(2)345--348, 37(1)1--30, 39(2)135--153, 39(2)189--206,
44(2)127--153, 46(2)197--217, 47(1)1--14, 47(3)263--276,
48(2)257--272, 54(2)249--265, 56(1)135--154, 56(3)289--301,
57(2)161--184, 58(1)155--174, 61(1)17--24, 63(1)43--61, 65(1)1--33,
65(1)35--83, 65(1)85--119, 65(3)343--371, 67(2)203--260,
68(3)277--302, 69(1)55--68, 69(3)289--318
-
completeness, F-, 45(2)121--157
-
completeness, NP-, 35(2)165--177, 35(2)245--260, 52(1)145--153,
53(2)257--265
-
completeness, np-, 58(1)209--229
-
completeness, omega-, 43(2)149--167
-
completing, 39(2)309--317
-
completion, 44(2)127--153, 66(2)117--136, 67(2)173--201, 67(2)203--260,
67(2)303--332
-
complex, 36(1)119--125, 44(1)1--16, 62(1)3--38, 69(1)69--115
-
complicated, 51(1)53--80
-
component, 55(2)291--348
-
composition, 41(1)105--107, 42(3)251--368, 44(1)1--16, 44(3)307--331,
47(1)1--14, 49(2)87--112, 49(2)121--143, 53(2)243--255,
55(2)265--289, 58(1)249--261, 59(3)211--234, 61(2)199--224,
66(3)289--297
-
compositional, 49(2)311--347
-
compositive, 66(1)27--43
-
comprehension, 66(3)299--321
-
compression, 53(2)295--306, 57(1)131--145, 57(1)153--159
-
Comput, 302(1)497--498
-
computability, 38(1)17--33, 38(1)35--53, 42(2)123--249, 43(2)251--263,
46(2)197--217, 47(3)263--276, 47(3)299--313, 51(3)255--264,
51(3)265--280, 63(3)239--252, 66(2)117--136, 67(1)87--97,
68(3)267--276
-
Computability, Theory-, 65(2)265--270
-
computable, 39(2)225--237, 43(2)251--263, 46(2)285--303, 47(2)131--147,
47(3)263--276, 47(3)299--313, 50(2)137--181, 51(1)177--204,
54(2)341--343, 65(1)85--119, 66(2)117--136
-
computably, 38(1)17--33
-
computation, 35(2)191--214, 36(1)1--19, 36(1)127--137, 39(2)107--121,
40(2)211--235, 40(2)275--300, 40(2)323--328, 41(2)325--330,
43(2)149--167, 44(1)1--16, 46(2)159--174, 46(2)319--327,
47(1)39--60, 47(2)111--120, 47(2)131--147, 47(2)205--218,
47(3)315--321, 48(2)257--272, 49(2)171--184, 52(3)193--203,
52(3)251--267, 53(1)125--150, 53(2)201--224, 53(2)267--279,
54(1)65--85, 57(2)327--330, 58(1)347--359, 59(1)25--84,
59(1)133--155, 59(3)277--286, 59(3)297--307, 60(3)231--254,
60(3)297--340, 62(1)187--220, 62(3)311--317, 64(1)55--66,
64(3)221--269, 67(1)99--110, 68(1)19--36, 68(3)267--276,
68(3)277--302
-
computation-tuple, 48(2)297--328
-
compute, 47(1)99--105
-
compute, hard-to-, 47(1)99--105
-
computed, 47(1)99--105, 66(1)113--114, 69(3)289--318
-
Computer-aided, 61(1)49--66
-
computer-system, 52(3)269--280
-
computing, 40(2)275--300, 41(1)81--93, 53(1)151--167, 54(2)315--324,
56(1)3--15, 58(0)3--397, 58(1)17--56, 58(1)249--261, 63(2)203--221,
64(1)107--118, 64(3)271--280
-
concatenation, 61(2)199--224, 63(2)141--156, 68(3)253--265
-
Concave, 64(1)107--118
-
concealment, 58(1)249--261
-
concept, 45(2)159--192
-
conceptual, 56(1)135--154
-
concerning, 41(2)169--184, 46(2)107--140, 47(3)329--334, 64(3)305--329,
66(1)45--53
-
concrete, 68(1)37--47
-
concurrency, 45(1)1--61, 46(2)261--284, 49(2)87--112, 49(2)z--z,
58(1)3--16, 59(0)3--209, 59(1)25--84, 61(2)199--224, 62(1)123--185
-
concurrent, 36(1)27--58, 38(1)1--16, 38(2)193--122, 39(2)107--121,
40(2)149--162, 43(2)213--238, 43(2)277--291, 45(1)1--61,
46(2)285--303, 49(2)185--215, 50(3)241--284, 51(3)281--299,
55(1)1--45, 55(1)87--136, 56(1)37--57, 58(0)3--397, 58(1)3--16,
58(1)183--199, 58(1)263--324, 58(1)347--359, 58(1)379--397,
59(1)25--84, 60(1)1--82, 61(1)93--102, 61(2)121--136, 64(3)221--269,
64(3)281--304, 65(1)35--83, 66(0)117--232, 66(2)117--136,
66(3)333--340, 69(1)69--115
-
concurrent-read, 47(3)277--298
-
concurrent-read-exclusive-write, 58(1)379--397
-
concurrent-write, 47(3)277--298
-
condition, 35(2)215--225, 36(1)27--58, 39(2)309--317, 40(1)13--30,
40(2)301--314, 41(2)223--230, 43(1)11--30, 43(2)251--263,
46(1)53--66, 48(1)1--8, 48(2)297--328, 52(3)269--280, 53(1)3--24,
53(2)169--185, 56(2)223--231, 56(3)321--338, 57(2)303--316,
58(1)81--101, 61(1)17--24, 61(2)137--147, 66(1)113--114,
66(2)157--180, 66(3)233--245, 66(3)341--347
-
conditional, 37(3)245--267
-
conditional, semi-, 41(1)1--17
-
conditions, post-, 53(1)3--24
-
cone, 57(1)147--152
-
conference, 39(1)z--z, 59(0)3--209, 62(0)3--233, 65(0)123--270,
65(2)z--z
-
configuration, 54(2)315--324, 56(2)233--241
-
Conflict-Free, 64(3)305--329
-
conflict-free, 44(3)275--305, 62(1)105--122, 62(1)221--233,
64(3)305--329
-
conflicting, 38(1)1--16, 52(1)91--143
-
confluence, 65(3)291--342, 67(1)19--35
-
confluent, 46(2)319--327, 61(1)83--92
-
confluent, almost-, 35(2)227--243, 44(2)237--245
-
conglomerates, 68(1)19--36
-
congruence, 36(2)203--216, 37(2)123--150, 39(2)333--335, 57(2)303--316,
59(3)317--325, 67(1)19--35, 67(2)173--201, 69(1)69--115
-
conjecture, 39(2)171--188, 41(1)121--123, 43(1)117--122, 44(3)333--339,
46(2)313--318, 47(1)71--84, 47(2)159--168, 54(2)165--179,
67(1)87--97
-
Conjuctive, 58(1)175--181
-
conjugacy, 35(2)227--243, 46(2)159--174, 47(1)27--38, 68(3)319--332
-
conjugacy, left-, 47(1)27--38
-
conjugaison, 60(3)255--283
-
conjugation, 60(3)255--283
-
conjunction, 38(1)55--68
-
conjunctions, omega-, 35(1)43--53
-
conjunctive, 61(2)307--316
-
connected, 35(2)179--189, 46(2)159--174, 58(1)201--208, 68(3)239--252
-
connected, cube-, 59(3)297--307
-
connected, two-, 68(2)155--173
-
connecting, 68(2)155--173
-
connection, 47(2)131--147, 53(1)3--24, 64(2)191--201
-
connection-trap-free, 62(1)67--104
-
coNP, 39(2)225--237
-
consequence, 47(3)329--334, 65(3)343--371
-
conservative, 48(2)229--255
-
conservativity, 37(1)77--121
-
consistency, 37(1)77--121, 38(1)1--16, 51(1)129--176, 62(1)39--65,
69(3)243--287
-
constant, 39(2)327--332
-
constant-formula-depth, 62(3)311--317
-
constrained, 41(2)141--167
-
constraint, 50(3)323--349, 56(3)277--288
-
construct, 41(2)125--139, 61(2)259--277
-
constructed, 65(2)143--148, 65(2)z--z
-
constructibility, 35(2)215--225, 68(2)123--134
-
constructing, 36(2)203--216, 57(1)131--145, 61(1)33--47
-
constructing, process-, 49(2)185--215
-
construction, 36(1)99--108, 37(3)269--304, 39(1)3--13, 40(2)315--317,
43(1)43--58, 44(2)229--236, 54(2)165--179, 61(2)121--136,
61(2)225--258, 63(2)157--184, 65(2)171--188, 68(2)175--202
-
constructive, 50(1)1--102, 51(1)229--238, 63(2)113--139
-
constructor, 50(2)103--135, 61(1)83--92
-
contact, 57(1)113--129
-
contain, 40(2)163--174, 52(3)341--342
-
containment, 43(1)99--105, 43(2)277--291, 46(2)107--140, 47(1)39--60,
53(2)345--352, 62(1)39--65
-
context, 37(1)51--75, 37(2)151--181, 37(3)357--360, 41(1)1--17,
48(2)201--228, 49(2)185--215, 49(2)z--z, 52(3)177--191,
52(3)341--342, 57(1)147--152, 58(1)69--80, 62(3)267--287,
67(1)75--85
-
context-free, 35(1)1--15, 35(2)191--214, 35(2)295--312, 35(2)313--327,
36(1)89--97, 36(1)109--112, 37(2)217--243, 37(3)357--360,
38(1)133--136, 38(2)323--341, 39(1)3--13, 39(1)z--z, 39(2)89--106,
40(2)131--148, 40(2)149--162, 40(2)315--317, 41(1)1--17,
41(1)33--50, 41(1)51--59, 41(1)105--107, 41(2)169--184,
41(2)231--246, 42(1)1--122, 44(2)229--236, 44(3)259--274,
45(1)87--119, 46(1)83--89, 47(1)71--84, 47(1)95--98, 47(1)107--110,
47(2)219--223, 47(2)225--232, 47(3)247--262, 47(3)315--321,
48(1)101--108, 48(2)201--228, 48(2)283--296, 49(1)23--42,
49(2)113--119, 49(2)283--309, 51(1)81--115, 51(1)117--127,
51(3)301--308, 52(1)59--75, 52(3)177--191, 52(3)205--237,
53(2)295--306, 53(2)319--333, 55(2)141--181, 56(3)321--338,
57(1)147--152, 57(2)185--204, 58(1)69--80, 62(3)267--287,
67(1)75--85
-
Context-Free, 2-, 62(3)267--287
-
context-free, 2-, 62(3)267--287
-
Context-Free, K-, 62(3)267--287
-
context-sensitive, 40(2)163--174, 41(1)1--17, 44(2)225--228,
52(3)341--342
-
continuation, 44(3)307--331
-
continued, 47(3)299--313, 54(2)341--343, 65(2)197--212, 65(2)221--242,
65(2)z--z
-
continuity, 57(2)251--282
-
continuity, join-, 43(2)293--313
-
continuous, 35(2)345--348, 38(1)17--33, 43(1)59--79, 43(2)251--263,
43(2)293--313, 48(2)229--255, 51(3)309--324, 63(2)185--202,
68(3)277--302, 68(3)303--317
-
continuous, left-, 47(3)299--313
-
continuous, Lipschitz-, 65(2)189--196
-
continuous, right-, 47(3)299--313
-
Continuously, 68(3)303--317
-
contribution, 37(2)151--181
-
control, 35(2)271--293, 36(2)145--171, 38(2)193--122, 39(2)107--121,
40(2)301--314, 42(3)251--368, 52(3)205--237, 52(3)307--340,
58(1)3--16, 62(1)123--185
-
controlled, 59(3)309--315
-
controlling, 58(1)3--16
-
convergence, 61(2)279--282
-
convergent, 47(3)299--313, 54(2)341--343
-
conversion, 37(2)183--216, 66(1)99--104
-
convex, 35(1)55--69, 64(1)107--118
-
convolution, 36(1)59--69, 38(1)55--68
-
Cook, 52(1)145--153
-
Cooper, Manna-, 50(3)285--321
-
Cooperative, 64(1)67--81
-
coordinated, 37(1)31--50, 40(2)149--162
-
copying, 53(2)225--241
-
Coquand, T., 68(3)221--237
-
Coquand, Thierry, 59(1)85--114
-
Coquand, Thierry, see Breazu-Tannen, Val
-
Coquand:1989:CE, 68(3)221--237
-
core, 47(2)121--130, 61(2)103--119, 63(3)239--252
-
Cori, R., 35(2)179--189, 61(1)93--102
-
Cori:1985:RSS, 35(2)179--189
-
Cori:1988:AA, 61(1)93--102
-
corner, left-, 66(1)65--85
-
correct, 38(1)1--16
-
correctness, 36(1)127--137, 37(2)183--216, 38(2)269--291, 39(1)47--68,
39(2)189--206, 40(2)257--274, 43(2)123--147, 50(3)285--321,
56(1)59--133, 56(3)345--353, 59(1)133--155, 61(2)225--258,
62(1)123--185, 63(1)91--111, 67(2)173--201, 69(2)117--242
-
Correlations, 65(2)249--263
-
correspond, 44(3)275--305
-
Correspondence, 55(2)183--263
-
corresponding, 68(2)123--134
-
Cosnard, M., 67(1)115--120
-
Cosnard:1989:CSX, 67(1)115--120
-
cost, 53(1)99--124, 58(1)143--154, 67(2)261--282
-
cost, dilation-, 36(2)319--331
-
cost, unit-, 39(2)89--106
-
Costs, 58(1)143--154
-
COSY, 43(2)213--238
-
countable, 40(2)211--235, 48(1)95--100, 61(2)103--119
-
counter, 39(2)89--106, 51(3)325--330, 61(1)17--24, 67(1)5--18
-
counter-free, 53(2)169--185
-
counterexample, 39(2)337--342
-
counting, 36(2)345--348, 43(2)169--188, 47(2)131--147, 49(2)283--309,
58(1)81--101, 58(1)129--142, 62(1)187--220
-
Courcelle, B., 42(1)1--122, 55(2)141--181
-
Courcelle:1986:ETR, 42(1)1--122
-
Courcelle:1987:ADC, 55(2)141--181
-
cover, 41(2)141--167, 62(1)105--122, 68(3)253--265
-
coverability, 35(2)191--214
-
covering, 38(2)323--341
-
covering, set-, 54(2)237--247
-
CPDL, 61(2)259--277
-
creation, 60(2)109--176
-
creative, 47(2)169--180
-
creative, k-, 39(2)225--237
-
CREW, 59(3)297--307, 68(3)343--346
-
CREW-PRAM, 61(2)121--136
-
critical, 51(1)27--52, 61(1)17--24, 61(1)49--66, 66(2)117--136,
67(2)203--260
-
critical, time-, 58(1)249--261
-
Crochemore, M., 45(1)63--86
-
Crochemore:1986:TR, 45(1)63--86
-
crossing, 40(2)175--193, 63(2)141--156
-
cryptoanalysis, 48(2)283--296
-
cryptography, 39(2)319--325, 40(2)101--130, 47(1)85--93, 48(2)283--296,
66(1)45--53
-
cryptosystem, 40(2)101--130, 48(2)283--296, 66(1)45--53
-
cryptotext, 66(1)45--53
-
CSP, 49(2)145--169, 54(2)277--298, 58(1)249--261
-
csp, 58(1)249--261
-
CTL, 59(1)115--131
-
CTS, 40(2)149--162
-
cube-connected, 59(3)297--307
-
cube-free, 38(1)117--122
-
cubic, 63(3)295--302
-
Culik, Cohen-, 52(1)91--143
-
Culik, II, K., 37(2)183--216, 47(1)15--26, 47(1)71--84
-
Culik:1985:TTT, 37(2)183--216
-
Culik:1986:EFV, 47(1)71--84
-
Culik:1986:RTP, 47(1)15--26
-
cut, 41(2)141--167, 47(3)299--313, 57(1)87--95, 58(1)209--229
-
cut-elimination, 68(3)333--342
-
cybernetics, 52(3)239--249, 58(1)155--174
-
cycle, 36(2)231--237, 40(2)275--300, 41(1)19--32, 44(2)209--224,
52(3)193--203, 61(2)121--136
-
cyclic, 41(1)81--93, 46(2)159--174, 47(1)27--38, 53(2)307--317,
58(1)81--101, 63(3)253--274, 66(3)341--347
-
cyclicly, 36(2)265--289