Index file section C for tcs1975.bib
Last update: Thu Sep 27 02:46:39 MDT 2018
Return to index directory
C
-
C1110, 1(3)227--235, 3(1)35--49, 4(1)77--82, 5(2)101--111, 5(2)183--204,
5(2)205--209, 7(1)1--24, 7(1)117--121, 7(3)239--249, 7(3)325--332
-
C1140C, 7(1)79--98
-
C1160, 1(2)185--190, 1(3)237--267, 2(3)305--315, 2(3)339--344,
3(1)51--59, 3(3)371--384, 4(2)125--135, 4(2)137--142, 4(2)155--169,
4(3)277--299, 5(1)51--84, 5(2)179--182, 5(3)257--274, 6(1)93--107,
6(3)281--315, 7(2)217--236, 8(1)13--30, 8(1)45--55, 9(2)265--286
-
C1180, 3(3)293--304, 4(3)237--244, 7(3)239--249
-
C1230, 3(2)123--171, 8(1)31--44, 9(2)347--362
-
C4120, 1(1)21--25
-
C4130, 9(1)147--150
-
C4140, 2(3)305--315, 7(2)127--148, 7(3)251--261, 8(2)189--201,
8(3)359--377
-
C4160, 1(1)21--25
-
C4220, 1(1)77--91, 1(2)95--101, 1(4)269--288, 1(4)297--316, 1(4)317--323,
2(1)1--7, 2(1)29--44, 2(1)49--71, 2(1)115--130, 2(2)147--154,
2(2)155--181, 2(3)271--294, 3(2)173--181, 3(2)213--224,
3(2)243--259, 3(2)261--266, 3(3)305--320, 4(2)143--153,
4(3)245--276, 5(2)101--111, 5(2)183--204, 6(1)1--23, 6(1)25--39,
6(2)175--221, 7(2)149--167, 7(2)185--195, 7(3)311--324,
7(3)333--339, 8(2)227--237, 8(2)239--253, 8(2)255--259,
9(1)127--140, 9(1)141--145, 9(2)221--241, 9(2)311--328
-
C4230, 1(2)161--133, 2(2)249--269, 2(3)383--396, 2(3)397--400,
9(1)83--97, 9(1)147--150
-
C4230D, 4(1)47--57
-
C4240, 1(1)13--20, 1(1)21--25, 1(2)103--123, 1(3)193--198, 1(3)215--216,
1(4)269--288, 1(4)289--295, 2(1)73--76, 2(2)183--207, 2(2)228--247,
3(2)267--272, 3(3)349--357, 4(1)59--76, 4(2)155--169, 4(2)171--197,
5(1)25--50, 5(2)113--128, 5(2)135--177, 5(2)205--209, 5(3)275--305,
6(1)41--67, 6(1)93--107, 6(2)109--141, 6(2)223--231, 6(3)233--254,
6(3)281--315, 6(3)317--325, 7(1)79--98, 7(1)99--116, 7(3)239--249,
7(3)273--286, 8(1)57--68, 8(1)73--87, 8(3)325--357, 8(3)379--391,
9(1)39--65, 9(1)83--97, 9(1)127--140, 9(2)329--346, 9(2)347--362
-
C4290, 1(2)125--159, 2(3)305--315, 3(1)1--22, 3(1)23--33, 3(1)105--117,
8(2)189--201, 9(1)17--26
-
C5230, 1(1)1--12, 3(3)321--348, 4(2)227--233, 4(2)235--z, 5(2)219--z,
5(3)321--324, 7(3)251--261, 7(3)311--324, 9(1)1--16
-
C6110, 9(2)265--286
-
C6120, 1(4)331--354, 3(2)183--211, 4(2)171--197, 5(1)1--23, 5(2)113--128,
5(3)275--305, 8(1)13--30, 8(1)89--127
-
C6130, 1(2)185--190, 1(4)355--361
-
C6140D, 5(2)135--177
-
C7250, 1(4)331--354
-
CACI, 9(2)265--286
-
calculating, 5(2)183--204
-
calculi, 4(1)1--22
-
calculi, lambda-, 4(1)1--22
-
calculus, 1(1)27--57, 1(2)125--159, 2(1)97--114, 2(2)133--145,
2(2)155--181, 2(3)323--337, 3(2)173--181, 3(2)225--242,
8(3)271--291, 9(1)27--38, 9(1)73--81
-
calculus, K-, 2(1)97--114
-
calculus, lambda-, 1(2)125--159, 2(1)97--114
-
call, 1(2)125--159, 2(2)155--181
-
Call-by-name, 1(2)125--159
-
call-by-value, 1(2)125--159
-
cardinal, 5(2)183--204
-
cardinality, 5(2)183--204
-
case, 5(1)1--23
-
category, 4(2)125--135, 8(1)13--30
-
cellular, 2(1)115--130
-
certain, 2(2)249--269, 5(1)51--84, 7(1)117--121, 9(2)363--375
-
certificates, 9(1)1--16
-
chain, 1(1)1--12, 4(2)125--135, 9(2)153--172, 9(2)287--309
-
chain-complete, 4(2)125--135
-
Chaitin, G. J., 2(1)45--48
-
Chaitin:1976:ITC, 2(1)45--48
-
Chandra, A. K., 3(3)293--304
-
Chandra:1976:AAS, 3(3)293--304
-
characterisations, 9(2)265--286
-
characterization, 2(1)45--48, 2(3)323--337, 3(1)61--74, 5(3)325--337,
8(3)325--357, 9(2)265--286
-
characterize, 8(3)379--391
-
checker, 5(2)135--177
-
checking, 4(3)321--349
-
Chinese, 8(3)359--377
-
Choffrut, C., 5(3)325--337
-
Choffrut:1977:RRC, 5(3)325--337
-
choice, 3(3)293--304, 5(3)321--324
-
Chottin, L., 5(1)51--84
-
Chottin:1977:SSC, 5(1)51--84
-
Christol, G., 9(1)141--145
-
Christol:1979:ARP, 9(1)141--145
-
Church, 2(2)183--207, 3(2)225--242, 9(1)27--38
-
Church--Rosser, 2(2)183--207, 9(1)27--38
-
Ciancaglini, M., Dezani-, 2(3)323--337, 8(3)271--291
-
circuit, 2(3)397--400
-
class, 1(1)59--75, 1(2)161--133, 1(3)193--198, 2(1)1--7, 2(2)228--247,
6(3)281--315, 7(3)239--249, 9(1)127--140
-
closed, 7(3)311--324, 9(2)385--398
-
closure, 2(3)271--294, 4(1)59--76, 7(1)57--77, 7(1)79--98, 9(2)311--328
-
code, 1(2)95--101, 3(1)35--49, 7(2)211--215
-
codings, 6(3)327--341
-
coefficient, 1(3)227--235, 5(2)219--z
-
Cohen, R. S., 6(1)1--23
-
Cohen:1978:OCT, 6(1)1--23
-
combinational, 1(2)161--133, 1(4)289--295, 2(3)383--396
-
combinatorial, 1(2)95--101, 1(2)185--190, 1(3)237--267, 2(3)305--315,
2(3)339--344, 3(1)51--59, 3(2)183--211, 3(3)371--384, 4(2)125--135,
4(2)137--142, 4(2)155--169, 4(3)277--299, 5(1)51--84, 5(2)179--182,
5(3)257--274, 6(1)93--107, 6(3)281--315, 7(2)217--236, 7(3)325--332,
8(1)13--30, 8(1)45--55, 9(2)265--286
-
combinators, 8(3)271--291
-
combinatory, 8(3)393--394
-
commutation, 8(3)379--391
-
commutative, 5(2)183--204, 5(2)211--217, 9(2)207--220
-
comparison, 1(2)103--123
-
complete, 1(3)237--267, 3(1)23--33, 3(1)105--117, 4(2)125--135,
6(1)69--92, 6(1)93--107, 7(3)273--286, 8(1)73--87, 8(2)227--237,
9(1)67--72
-
complete, chain-, 4(2)125--135
-
complete, NP-, 1(3)237--267, 4(3)237--244, 5(2)179--182
-
completeness, 3(1)105--117
-
complex, 9(2)329--346, 9(2)347--362
-
complexity, 1(1)13--20, 1(1)21--25, 1(1)59--75, 1(2)103--123,
1(2)161--133, 1(3)193--198, 1(3)215--216, 1(4)269--288,
1(4)289--295, 2(1)73--76, 2(3)305--315, 2(3)383--396, 2(3)397--400,
3(1)1--22, 3(1)23--33, 3(1)105--117, 3(2)213--224, 3(2)267--272,
3(3)305--320, 3(3)349--357, 4(1)23--46, 4(2)171--197, 4(3)277--299,
5(2)205--209, 6(1)41--67, 6(1)93--107, 6(2)223--231, 6(3)233--254,
6(3)317--325, 7(1)79--98, 7(1)99--116, 7(3)273--286, 8(2)189--201,
8(2)203--225, 8(2)227--237, 8(2)239--253, 8(2)255--259, 9(1)83--97,
9(1)127--140
-
complexity, paging-, 4(2)171--197
-
composite, 9(2)207--220
-
composition, 2(2)228--247
-
computability, 2(1)73--76, 2(1)77--95, 2(2)133--145, 3(1)75--84,
3(1)85--104, 3(3)283--292, 4(1)83--98, 4(1)99--119, 4(2)199--225,
4(3)245--276, 4(3)321--349, 6(2)223--231, 6(3)317--325,
7(2)169--183, 8(2)135--159, 8(2)203--225, 9(2)173--205,
9(2)207--220, 9(2)377--384
-
computable, 7(3)273--286, 8(2)135--159
-
computation, 1(4)289--295, 2(3)305--315, 4(2)235--z, 5(2)205--209,
5(3)321--324, 6(1)41--67, 7(1)1--24, 7(2)127--148, 7(3)239--249,
8(2)189--201, 8(2)227--237, 8(2)239--253, 9(1)147--150,
9(2)311--328
-
computational, 1(1)13--20, 1(1)21--25, 1(2)103--123, 1(3)193--198,
1(3)215--216, 1(4)269--288, 1(4)289--295, 2(1)73--76, 2(3)305--315,
2(3)397--400, 3(1)1--22, 3(1)23--33, 3(1)105--117, 3(2)267--272,
3(3)305--320, 3(3)349--357, 4(1)23--46, 4(3)277--299, 5(2)205--209,
6(1)41--67, 6(1)93--107, 6(2)223--231, 6(3)233--254, 6(3)317--325,
7(1)79--98, 7(1)99--116, 7(3)273--286, 8(2)189--201, 8(2)203--225,
8(2)227--237, 8(2)239--253, 8(2)255--259, 9(1)17--26, 9(1)83--97,
9(1)127--140
-
computations, Omega-, 6(1)1--23
-
computer, 1(2)125--159, 2(2)183--207, 2(3)305--315, 3(1)1--22,
3(1)23--33, 3(1)105--117, 8(2)189--201, 9(1)17--26
-
computing, 2(3)339--344, 8(2)189--201
-
concatenation, 7(2)197--210
-
concepts, 2(2)133--145
-
conceptual, 5(1)25--50
-
concerning, 1(4)317--323, 3(3)273--282
-
condition, 3(1)51--59
-
cone, 5(2)129--134
-
conjecture, 9(1)147--150
-
conjunction, 1(1)13--20, 7(3)325--332
-
connectivity, 4(1)77--82, 4(1)99--119, 6(1)41--67
-
considered, 5(3)223--255
-
Constable, R. L., 2(2)133--145
-
Constable, R. L., see Egli, H.
-
construction, 5(3)321--324, 7(3)325--332, 8(1)13--30
-
constructive, 5(3)321--324
-
containment, 8(2)135--159
-
context, 1(1)77--91, 2(1)49--71, 2(2)209--223, 2(3)295--304,
2(3)361--382, 3(3)273--282, 3(3)359--369, 4(1)83--98, 8(3)293--323,
8(3)395--399, 9(2)173--205
-
context, bounded-right-, 3(3)273--282
-
context-free, 1(1)77--91, 2(1)29--44, 2(2)209--223, 2(3)295--304,
2(3)361--382, 3(3)273--282, 3(3)359--369, 4(1)83--98, 6(3)255--279,
8(3)293--323, 8(3)395--399, 9(2)173--205
-
context-free, omega-, 4(1)83--98
-
continuation, 1(2)125--159
-
continuous, 4(2)137--142, 8(1)13--30
-
control, 5(2)113--128
-
controllability, 4(3)277--299
-
convergence, 1(1)27--57, 6(2)109--141
-
convex, 7(2)217--236
-
correctness, 2(2)183--207, 5(2)135--177
-
counter, 1(4)269--288, 2(1)29--44
-
counterexample, 9(1)147--150
-
counting, 8(2)189--201
-
Courcelle, B., 6(3)255--279, 7(1)25--55
-
Courcelle:1978:RTLa, 6(3)255--279
-
Courcelle:1978:RTLb, 7(1)25--55
-
cover, 1(3)237--267
-
covering, 2(3)361--382, 6(1)41--67, 6(2)223--231, 8(1)1--11
-
Cremers, A. B., 5(2)113--128
-
Cremers:1977:FDD, 5(2)113--128
-
CSL, 7(3)273--286
-
Culik, II, K., 3(1)75--84, 6(1)69--92, 6(2)143--173
-
Culik:1976:DSE, 3(1)75--84
-
Culik:1978:IFE, 6(2)143--173
-
Culik:1978:TSC, 6(1)69--92
-
cut, 1(3)237--267
-
cyclic, 5(2)179--182, 5(2)205--209
-
cylinder, 8(3)395--399