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