Last update: Mon Mar 13 02:22:13 MDT 2017
Return to index directory
C
-
C, 892(0)376--z, 907(0)433--z
-
C++, 919(0)542--z
-
C, ParMod-, 919(0)514--z
-
CAB, 935(0)141--z
-
Caballero, A., 930(0)634--z
-
Caballero, A., see Diaz-Otero, F.
-
Caballero-Gil, P., 917(0)80--z
-
Caballero-Gil, P., see Fuster-Sabater, A.
-
Cabello, D., 930(0)860--z
-
Cabello, D., see Vilaritho, D. L.
-
Cabestany, J., 930(0)752--z
-
Cabestany, J., see Castillo, F.
-
Cabibbo, L., 893(0)208--z
-
Cabibbo:1995:PSL, 893(0)208--z
-
Cabruja, E., 930(0)114--z
-
Cabruja, E., see Valderrama, E.
-
Cachin, Christian, 950(0)266--274
-
Cachin:1995:LIR, 950(0)266--274
-
Cactus, 937(0)191--z
-
Cadoli, M., 900(0)205--z
-
Cadoli:1995:CRP, 900(0)205--z
-
Caferra, R., 918(0)154--z
-
Caferra:1995:MBI, 918(0)154--z
-
Cai, J.-Y., 900(0)38--z
-
Cai:1995:CCK, 900(0)38--z
-
Caillaud, B., 915(0)711--z
-
Caillaud, B., see Bareau, C.
-
Calabretta, R., 929(0)862--z
-
Calabretta:1995:ALM, 929(0)862--z
-
Calculating, 915(0)546--z
-
calculation, 919(0)554--z, 919(0)820--z
-
Calculi, 906(0)453--z, 907(0)229--z, 914(0)257--z, 944(0)672--z,
945(0)348--z
-
calculi, lambda-, 902(0)328--z
-
calculus, 900(0)243--254, 902(0)201--z, 907(0)187--z, 907(0)413--z,
915(0)172--z, 915(0)187--201, 915(0)471--z, 928(0)217--z,
933(0)16--z, 933(0)61--z, 933(0)76--z, 933(0)151--z, 934(0)79--z,
936(0)169--183, 936(0)489--z, 938(0)133--z, 939(0)114--126,
939(0)141--z, 939(0)196--z, 945(0)409--z, 946(0)328--z,
947(0)128--z, 947(0)214--z, 947(0)322--z, 947(0)351--z,
953(0)159--z, 953(0)200--z
-
calculus, Lambda-, 902(0)154--z
-
calculus, lambda-, 902(0)1--z, 902(0)235--z, 902(0)249--z,
902(0)381--z, 902(0)397--z, 902(0)414--z, 914(0)102--z, 933(0)61--z
-
Calculus, Pi-, 936(0)277--z
-
Caleb, P., 934(0)439--z
-
Caleb:1995:PIA, 934(0)439--z
-
calibration, 905(0)471--z
-
Call, 892(0)217--z
-
call-by-value, 902(0)381--z
-
Callejas Bedregal, B. R., 911(0)195--z
-
CallejasBedregal:1995:LPC, 911(0)195--z
-
Caltech, 947(0)159--z
-
Calvet, J. M., 930(0)627--z
-
Calvet, J. M., see Monte, E.
-
Calvin, C., 919(0)600--z
-
Calvin:1995:OTC, 919(0)600--z
-
Calzarossa, M., 919(0)102--z
-
Calzarossa:1995:HAW, 919(0)102--z
-
Calzolari, N., 898(0)121--z
-
Calzolari:1995:EET, 898(0)121--z
-
Cambridge, 898(0)77--z
-
Camenisch, Jan L., 921(0)209--z, 950(0)428--432
-
Camenisch, Jan L., see Stadler, Markus A.
-
Camenisch:1995:BSB, 950(0)428--432
-
Camera, 905(0)471--z
-
Camilleri, A., 901(0)126--z
-
Camilleri, A., see Johnson, S. D.
-
Campanai, M., 926(0)64--z
-
Campanai:1995:QES, 926(0)64--z
-
Campos, L. M., De, 945(0)149--z, 945(0)190--z, 946(0)77--z
-
Cancer, 934(0)239--z, 934(0)431--z
-
Cannings, C., 929(0)772--z
-
Cannings, C., see Fletcher, R. P.
-
Cano Izquierdo, J. M., 930(0)934--z
-
Cano Izquierdo, J. M., see Perez Maroto, J.
-
Cano, A., 945(0)98--z
-
Cano:1995:HAT, 945(0)98--z
-
Canonical, 933(0)397--z
-
cap, 893(0)125--z, 910(0)209--z, 944(0)384--z
-
capability, 926(0)49--z, 929(0)876--z, 930(0)283--z, 949(0)239--z
-
Capable, 905(0)123--z, 929(0)555--z
-
Capacitated, 920(0)388--z
-
Capacities, 946(0)115--z
-
Cappelle, B., 945(0)311--z
-
Cappelle:1995:GPF, 945(0)311--z
-
Capstone, 895(0)279--z
-
Caravel, J.-P., 905(0)23--z
-
Caravel, J.-P., see Peria, O.
-
Carboni, P., 919(0)257--z
-
Carboni:1995:XIP, 919(0)257--z
-
card, 930(0)752--z, 950(0)445--449
-
Card, D. N., 895(0)443--z
-
Card:1995:TPP, 895(0)443--z
-
Cardell-Oliver, R., 891(0)261--z
-
Cardell-Oliver:1995:HH, 891(0)261--z
-
Cardelli, L., 915(0)471--z
-
Cardelli, L., see Abadi, M.
-
Cardelli, Luca, 952(0)145--z
-
Cardelli, Luca, see Abadi, Martin
-
cardiac, 919(0)248--z, 934(0)435--z
-
Cardiology, 934(0)415--z
-
Cardon, H. R. A., 931(0)235--z
-
Cardon:1995:KIS, 931(0)235--z
-
CARDS, 895(0)325--z
-
Care, 890(0)219--z, 934(0)295--z, 934(0)417--z, 937(0)230--z
-
Carenini, G., 934(0)129--z
-
Carenini:1995:IBB, 934(0)129--z
-
Carini, P., 892(0)234--z
-
Carini, P., see Burke, M.
-
Carlbom, I., 905(0)84--z
-
Carlbom, I., see Klinker, G.
-
Carlson, C. R., 895(0)305--z
-
Carlson, C. R., see Burnstein, I.
-
Carlsson, M., 925(0)137--z
-
Carlsson, M., see Hallgren, T.
-
CARMI, 949(0)259--z
-
Carneiro, J., 929(0)406--z
-
Carneiro-Coffin, L. M. F., 896(0)141--z
-
Carneiro-Coffin:1995:EUJ, 896(0)141--z
-
Carneiro:1995:SNR, 929(0)406--z
-
Caroli, F., 898(0)203--z
-
Caroli:1995:TLC, 898(0)203--z
-
Carr, D. C., 913(0)119--z
-
Carr, R. D., 920(0)40--z
-
Carr:1995:EPI, 913(0)119--z
-
Carr:1995:SCT, 920(0)40--z
-
Carrasco, R. C., 930(0)605--z
-
Carrasco:1995:SOR, 930(0)605--z
-
Carreira, J., 919(0)582--z
-
Carreira, J., see Alves, A.
-
Carrete, N., Piera, 930(0)478--z
-
Carriero, N., 924(0)66--z
-
Carriero:1995:BL, 924(0)66--z
-
Carse, B., 929(0)463--z
-
Carse, B., see Pipe, A. G.
-
Carter, D., 895(0)159--z
-
Carter, D., see Mead, N. R.
-
Carter, G., 917(0)427--z
-
Carter, J. G., 919(0)434--z
-
Carter:1995:CTC, 919(0)434--z
-
Carter:1995:DVD, 917(0)427--z
-
Cartesian, 903(0)140--z, 929(0)65--z, 933(0)427--z, 952(0)2--z
-
Carver, D., 895(0)47--z
-
Carver, D., see Barbacci, M.
-
CAS, 905(0)247--z
-
Casaccia, C. R., 919(0)664--z
-
Casaccia, C. R., see Taraglio, S.
-
Casacuberta, F., 930(0)433--z
-
Casacuberta, F., see Castatho, M. A.
-
Casavant, T. L., 919(0)86--z
-
Casavant, T. L., see Strumpen, V.
-
Cascades, 950(0)450--455
-
case, 890(0)71--z, 890(0)203--z, 895(0)339--z, 900(0)503--z,
900(0)628--z, 901(0)52--z, 904(0)342--z, 905(0)523--z, 906(0)1--z,
912(0)55--z, 913(0)60--z, 915(0)424--z, 915(0)636--z, 920(0)244--z,
920(0)329--z, 922(0)165--z, 929(0)657--z, 933(0)309--z,
934(0)401--z, 936(0)475--z, 948(0)183--z
-
Case, J., 904(0)140--z
-
case, worst-, 904(0)69--z
-
Case-Based, 912(0)138--z, 912(0)161--z, 934(0)209--z, 934(0)395--z
-
Case-Databases, 934(0)393--z
-
Case:1995:LRF, 904(0)140--z
-
Caselli, S., 919(0)709--z, 935(0)181--z
-
Caselli:1995:ASG, 919(0)709--z
-
Caselli:1995:PSS, 935(0)181--z
-
Cash, 911(0)131--z
-
Castatho, M. A., 930(0)433--z
-
Castatho:1995:FSA, 930(0)433--z
-
Castelfranchi, C., 890(0)56--z
-
Castelfranchi:1995:GAC, 890(0)56--z
-
Castella, A., 935(0)141--z
-
Castella, A., see Bruno, G.
-
Castellanos, M., Perez-, 930(0)252--z
-
Castelo, F. J., Perez, 930(0)448--z
-
Castillo, E., 946(0)89--z
-
Castillo, F., 930(0)752--z, 930(0)761--z
-
Castillo, F., see Moreno, J. M.
-
Castillo:1995:CCF, 930(0)752--z
-
Castillo:1995:PSP, 946(0)89--z
-
Catala Mallofre, A., 930(0)478--z
-
Catala Mallofre, A., see Morcego Seix, B.
-
Cataloging, 916(0)225--z
-
Cate, E., Ten, 919(0)136--z
-
categorical, 902(0)78--z, 902(0)381--z, 902(0)414--z, 914(0)210--z,
914(0)225--z, 953(0)159--z, 953(0)182--z, 953(0)200--z,
953(0)240--z
-
category, 915(0)334--z, 933(0)249--z, 933(0)427--z, 944(0)558--z,
953(0)3--z, 953(0)117--z
-
Category-Based, 936(0)91--z
-
Category-Theoretic, 953(0)180--z
-
Catlow, G., 940(0)249--z
-
Catlow, G., see Watson, P.
-
Catros, J.-Y., 905(0)252--z
-
Catros, J.-Y., see Burel, G.
-
Cattell, R. G. G., 940(0)1--z
-
Cattell:1995:ODS, 940(0)1--z
-
causal, 934(0)151--z, 935(0)258--z, 938(0)197--z, 945(0)3--z,
945(0)139--z, 945(0)149--z, 946(0)320--z, 946(0)352--z
-
Causality, 900(0)243--254, 936(0)277--z, 944(0)660--z
-
causally, 935(0)21--z, 938(0)64--z
-
Causes, 945(0)463--z
-
Cavalcanti, M., 897(0)144--z
-
Cavalcanti:1995:SAT, 897(0)144--z
-
Cavalloro, P., 901(0)286--z
-
Cavalloro, P., see Bezzi, G.
-
CAVEAT, 939(0)70--z
-
Cawsey, A., 934(0)29--z
-
Cawsey, A., see Binsted, K.
-
Cayley, 911(0)483--z
-
Cayrol, C., 946(0)107--z
-
Cayrol:1995:NMS, 946(0)107--z
-
CC, 910(0)68--z
-
cc(FD), 910(0)293--z
-
CEAash, 919(0)799--z
-
Cecconi, F., 929(0)439--z
-
Cecconi, F., see Parisi, D.
-
CEL-V, 919(0)799--z
-
Cell, 930(0)85--89, 930(0)90--z, 935(0)335--z
-
Cellular, 888(0)53--z, 900(0)95--z, 911(0)230--z, 911(0)483--z,
929(0)544--z, 929(0)555--z, 929(0)564--z, 929(0)824--z,
930(0)689--z, 930(0)736--z
-
Cengarle, M. V., 936(0)261--z
-
Cengarle:1995:STP, 936(0)261--z
-
center, 895(0)439--z, 917(0)333--z, 934(0)407--z, 949(0)304--z
-
Centered, 913(0)255--z
-
Centered, Process-, 913(0)200--z
-
Central, 930(0)151--z
-
centres, 919(0)341--z
-
Ceria, S., 920(0)438--z
-
Ceria:1995:CSG, 920(0)438--z
-
Cerioli, M., 906(0)188--z, 906(0)499--z
-
Cerioli, M., see Gogolla, M.
-
Cerioli:1995:LAP, 906(0)188--z
-
CERN, 919(0)672--z
-
Cerneaz, N., 905(0)372--z
-
Cerneaz:1995:FCS, 905(0)372--z
-
Cerro, L. F., Del, 909(0)196--z
-
Cerro, L., Farithas del, 945(0)292--z
-
Certificates, 911(0)131--z, 921(0)231--z
-
Cervera, E., 930(0)345--z
-
Cervera:1995:MSO, 930(0)345--z
-
CFD, 919(0)820--z, 919(0)831--z
-
CG, 894(0)270--z
-
CG-algorithm, 919(0)618--z
-
Chabaud, Florent, 950(0)131--139, 950(0)356--365
-
Chabaud:1995:LBD, 950(0)356--365
-
Chabaud:1995:SSC, 950(0)131--139
-
Chacon, P., 929(0)116--z
-
Chacon, P., see Nutho, J. C.
-
Chagrov, A. V., 933(0)442--z
-
Chagrov:1995:AAP, 933(0)442--z
-
chain, 911(0)112--z, 920(0)373--z, 930(0)298--z, 934(0)405--z,
939(0)253--z, 944(0)523--z, 945(0)263--z, 946(0)69--z,
950(0)389--399, 950(0)389--z
-
Chained, 914(0)432--z
-
Chaitin, G. J., 888(0)1--z
-
Chaitin:1995:LMC, 888(0)1--z
-
Chakraborty, A., 905(0)327--z
-
Chakraborty, A., see Shi, P.
-
Chakravarthy, S., 951(0)368--z
-
Chakravarthy, S., see Arctur, D.
-
challenge, 919(0)407--z, 919(0)496--z, 932(0)154--z, 940(0)12--z,
948(0)4--z
-
Chambers, Craig, 952(0)77--z
-
Chambers, Craig, see Dean, Jeffrey
-
Chamizo, J. M., Garcia-, 930(0)942--z
-
Chances, 894(0)119--z
-
Chang, E., 915(0)793--z
-
Chang, E., see Manna, Z.
-
Chang, X., 917(0)415--z
-
Chang:1995:SCP, 917(0)415--z
-
Change, 913(0)240--z, 913(0)255--z, 945(0)483--z
-
changes, 904(0)125--z
-
Changing, 890(0)40--z
-
channel, 917(0)171--z, 919(0)45--z, 950(0)332--340
-
Chaos, 929(0)52--z, 945(0)463--z
-
Chaotic, 888(0)9--z, 930(0)338--z, 945(0)455--z, 945(0)473--z,
945(0)483--z
-
Chaotic, Non-, 930(0)231--z
-
character, 930(0)486--z, 930(0)926--z, 930(0)942--z, 937(0)17--z
-
Characterisation, 890(0)179--z, 913(0)60--z
-
characteristic, 901(0)292--z, 917(0)119--z, 949(0)337--z
-
characterization, 888(0)9--z, 894(0)234--z, 914(0)41--z, 919(0)102--z,
920(0)364--z, 928(0)85--z, 928(0)99--z, 944(0)220--z, 944(0)570--z
-
Characterizing, 904(0)272--z, 919(0)79--z
-
Charlier, B., Le, 910(0)147--z
-
Charnes, C., 917(0)322--z, 950(0)433--438
-
Charnes:1995:ASH, 917(0)322--z
-
Charnes:1995:CSE, 950(0)433--438
-
Chassery, J. M., 934(0)379--z
-
Chassery, J. M., see Spinu, C.
-
Chateauneuf, A., 946(0)115--z
-
Chateauneuf:1995:LMT, 946(0)115--z
-
Chatterjee, S., 892(0)76--z
-
Chatterjee:1995:ADD, 892(0)76--z
-
Chaudhuri, S., 903(0)206--z, 911(0)207--z, 944(0)244--z
-
Chaudhuri:1995:PGT, 903(0)206--z
-
Chaudhuri:1995:PRR, 911(0)207--z
-
Chaudhuri:1995:SPQ, 944(0)244--z
-
Chaum, David, 950(0)86--91
-
Chaum:1995:DCS, 950(0)86--91
-
Chazarain, J., 914(0)420--z
-
Chazarain:1995:LSA, 914(0)420--z
-
checked, Machine-, 933(0)369--z
-
Checking, 910(0)193--z, 923(0)171--z, 923(0)185--z, 923(0)247--z,
928(0)127--z, 935(0)374--z, 936(0)322--z, 939(0)54--z, 939(0)84--z,
939(0)141--z, 939(0)142--z, 939(0)211--z, 939(0)309--z,
939(0)353--z
-
checkpoint, 938(0)111--z
-
Chee, S., 917(0)107--z
-
Chee:1995:SBF, 917(0)107--z
-
Chemical, 948(0)4--z
-
Chemistry, 929(0)105--z
-
chemistry, quantum-, 919(0)488--z
-
Chen, J., 905(0)302--z
-
Chen, J., see Sato, Y.
-
Chen, Lidong, 921(0)39--z, 950(0)140--155, 950(0)171--181
-
Chen, T., 914(0)414--z
-
Chen, W., 893(0)252--z, 903(0)121--z
-
Chen, W., see Turau, V.
-
Chen, Z.- Z., 944(0)99--z
-
Chen, Z.-Z., 903(0)232--z
-
Chen:1995:EGS, 921(0)39--z
-
Chen:1995:MDS, 903(0)232--z
-
Chen:1995:NAF, 944(0)99--z
-
Chen:1995:NGS, 950(0)171--181
-
Chen:1995:PDP, 950(0)140--155
-
Chen:1995:SHS, 893(0)252--z
-
Chen:1995:SMO, 914(0)414--z
-
Chenadec, P., Le, 909(0)135--z
-
Cheneval, Y., 930(0)673--z
-
Cheneval:1995:PIE, 930(0)673--z
-
Cheng, A., 936(0)322--z
-
Cheng, E., 920(0)65--z
-
Cheng:1995:PNT, 936(0)322--z
-
Cheng:1995:SPS, 920(0)65--z
-
Chentouf, R., 930(0)519--z
-
Chentouf:1995:ILS, 930(0)519--z
-
Chepoi, V. D., 903(0)65--z
-
Chepoi, V. D., see Brandstaedt, A.
-
Cherian, S., 929(0)691--z
-
Cherian:1995:IFM, 929(0)691--z
-
Cherkassky, B. V., 920(0)157--z
-
Cherkassky:1995:IPR, 920(0)157--z
-
Cheron, O., 919(0)526--z
-
Cheron, O., see Brezany, P.
-
Cherubino, P., 934(0)251--z
-
Cherubino, P., see Nguyen, D. T.
-
Cheung, W. P., 930(0)868--z
-
Cheung:1995:SRI, 930(0)868--z
-
Chevalier, L., 905(0)23--z
-
Chevalier, L., see Peria, O.
-
CHI, 896(0)93--z
-
Chiaberge, M., 930(0)666--z
-
Chiaberge:1995:SDE, 930(0)666--z
-
Chicken, 937(0)17--z
-
Children, 934(0)407--z, 952(0)127--z
-
Chimera, R., 896(0)9--z, 896(0)28--z
-
Chimera:1995:PIG, 896(0)28--z
-
Chimera:1995:WGE, 896(0)9--z
-
CHIP, 923(0)225--z
-
Chip, 930(0)815--z
-
Chittaro, L., 934(0)79--z
-
Chittaro:1995:MMR, 934(0)79--z
-
Cho, J. D., 903(0)343--z
-
Cho, J. D., see Kajitani, Y.
-
Cho, J.-W., 930(0)926--z
-
Cho:1995:LHC, 930(0)926--z
-
Choi, J.-D., 892(0)234--z
-
Choi, J.-D., see Burke, M.
-
Choice, 893(0)82--z, 899(0)169--z, 902(0)47--z, 929(0)490--z,
935(0)298--z
-
Cholewinski, P., 928(0)273--z, 933(0)456--z
-
Cholewinski:1995:RSD, 928(0)273--z
-
Cholewinski:1995:SDT, 933(0)456--z
-
Cholvy, L., 946(0)125--z
-
Cholvy:1995:ARM, 946(0)125--z
-
Chomicki, J., 893(0)322--z
-
Chomicki, J., see Baudinet, M.
-
Choose, 945(0)611--z
-
Choosing, 931(0)273--z
-
Choppella, V., 911(0)112--z
-
Choppella, V., see Bradford, P. G.
-
Chor--Rivest, 921(0)1--z
-
Chordal, 944(0)123--z
-
chosen-content, 950(0)254--265
-
Christensen, S., 935(0)201--z
-
Christensen:1995:MSS, 935(0)201--z
-
Christi, C., 895(0)449--z
-
Christi, C., see Almstrum, V. L.
-
Christodoulou, C., 930(0)223--z
-
Christodoulou, E., 934(0)421--z
-
Christodoulou:1995:HAK, 934(0)421--z
-
Christodoulou:1995:RSF, 930(0)223--z
-
Chrobak, M., 894(0)104--z
-
Chrobak:1995:MWG, 894(0)104--z
-
Chroust, G., 913(0)144--z
-
Chroust:1995:IPM, 913(0)144--z
-
Chua, L. O., 888(0)53--z
-
Chua:1995:CNN, 888(0)53--z
-
Chubb, D., 951(0)196--z
-
Chubb, D., see Shekhar, S.
-
Church--Rosser, 900(0)313--z
-
ChyPro, 952(0)449--z
-
Ciabattoni, A., 953(0)81--z
-
Ciabattoni, A., see Asperti, A.
-
Ciancarini, P., 924(0)77--z
-
Ciancarini:1995:OSC, 924(0)77--z
-
Cicu, A., 926(0)148--z
-
Cicu:1995:PQP, 926(0)148--z
-
Cid, 892(0)376--z
-
Cignoni, G. A., 913(0)197--z
-
Cignoni, G. A., see Ambriola, V.
-
Cimatti, A., 890(0)71--z
-
Cimatti:1995:MAR, 890(0)71--z
-
Cindio, F., De, 935(0)84--z
-
Cinotti, T., Salmon, 919(0)124--z
-
Cinquin, P., 905(0)212--z, 905(0)476--z
-
Cinquin, P., see Dessenne, V.,
see Hamadeh, A.
-
Ciphers, 950(0)439--444
-
ciphertexts, 921(0)147--z
-
circuit, 900(0)26--z, 900(0)71--z, 900(0)83--z, 900(0)628--z,
901(0)92--z, 901(0)165--z, 904(0)112--z, 911(0)60--z, 930(0)838--z,
935(0)374--z, 939(0)1--z, 939(0)180--z, 944(0)196--z
-
Circuits, Benchmark-, 901(0)1--z
-
Circumscribing, 946(0)344--z
-
Circumscription, 900(0)205--z
-
Circumscriptive, 928(0)344--z
-
Clair, D. C., St., 951(0)259--z
-
Clark, A., 917(0)427--z
-
Clark, A., see Carter, G.
-
Clark, K. L., 890(0)324--z
-
Clark, K. L., see McCabe, F. G.
-
Clarkson, T., 930(0)223--z, 930(0)441--z
-
Clarkson, T., see Christodoulou, C.,
see Guan, Y.
-
class, 900(0)60--z, 900(0)583--z, 902(0)335--z, 907(0)300--z,
915(0)439--z, 921(0)311--318, 928(0)358--z, 932(0)96--z,
935(0)84--z, 935(0)103--z, 939(0)42--z, 939(0)423--z, 943(0)123--z,
943(0)150--z, 944(0)111--z, 948(0)194--z, 951(0)67--z, 952(0)77--z,
952(0)102--z
-
class, First-, 907(0)235--z
-
Class-and, 952(0)127--z
-
Class-Driven, 912(0)335--z
-
Classen, A., 915(0)791--z
-
Classen, A., see Steffen, B.
-
Classical, 918(0)247--z, 928(0)302--z, 945(0)389--z, 946(0)44--z
-
Classical, Quasi-, 946(0)44--z
-
Classification, 912(0)343--z, 912(0)347--z, 912(0)364--z, 929(0)657--z,
930(0)404--z, 930(0)441--z, 930(0)696--z, 930(0)704--z,
930(0)948--z, 946(0)107--z
-
Classifier, 912(0)271--z, 929(0)920--z, 930(0)330--z, 930(0)559--z
-
Classroom, 895(0)123--z
-
Clausal, 897(0)40--z
-
Clean, 925(0)183--z
-
Cleaveland, R., 944(0)648--z
-
Cleaveland, R., see Natarajan, V.
-
Clematis, A., 919(0)67--z
-
Clematis:1995:PPH, 919(0)67--z
-
Cliff, D., 929(0)200--z
-
Cliff:1995:TRQ, 929(0)200--z
-
climate, 919(0)142--z
-
Climbing, 923(0)247--z
-
Clinckemaillie, J., 919(0)856--z
-
Clinckemaillie, J., see Lonsdale, G.
-
Clinical, 905(0)476--z, 934(0)231--z, 934(0)307--z, 934(0)397--z,
934(0)399--z, 934(0)415--z
-
Clique, 920(0)40--z
-
Clock, 944(0)417--z, 950(0)450--455
-
clock-controlled, 950(0)230--243
-
clocked, 921(0)248--z
-
Cloete, I., 930(0)374--z, 930(0)382--z, 930(0)611--z
-
Cloete, I., see Engelbrecht, A. P.,
see Viktor, H. L.
-
Clones, 912(0)283--z
-
Closed, 930(0)130--z, 933(0)427--z
-
Closure, 929(0)77--z, 944(0)75--z, 944(0)348--z
-
Closure-Condition, 939(0)293--z
-
Closures, GLB-, 903(0)121--z
-
Clouds, 929(0)148--z
-
CLP, 910(0)68--z, 910(0)209--z, 923(0)85--z
-
CLP-Languages, 910(0)108--z
-
clp(FD), 910(0)39--z
-
club, 919(0)472--z
-
Cluet, S., 893(0)54--z
-
Cluet:1995:CGO, 893(0)54--z
-
cluster, 892(0)31--z, 919(0)384--391, 919(0)570--581, 919(0)606--z,
949(0)319--z
-
Cluster-Based, 946(0)395--z
-
Clustering, 905(0)195--z, 929(0)329--z, 930(0)513--z
-
CM-5, 919(0)110--z, 919(0)709--z
-
CMM-Based, 895(0)117--z
-
CMU, 895(0)65--z
-
CNN, 930(0)882--z
-
Co-Evolution, 929(0)246--z, 929(0)261--z
-
Co-Evolutionary, 929(0)200--z
-
Co-Occurrences, 898(0)203--z
-
Co-operative, 912(0)319--z
-
Co-Registration, 905(0)262--z
-
Coalgebras, 906(0)307--z, 936(0)245--z
-
coarse-mesh, 919(0)318--z
-
Coatrieux, J.-L., 905(0)295--z, 905(0)523--z
-
Coatrieux, J.-L., see Hamitouche, C.
-
Coatrieux:1995:MAD, 905(0)295--z
-
coaxial, 919(0)434--z
-
Cobbs, A. L., 937(0)41--z
-
Cobbs:1995:FAM, 937(0)41--z
-
COBRA, 934(0)393--z
-
Cochlear, 930(0)121--z, 930(0)462--z
-
CodA, 952(0)190--z
-
Codani, J.-J., 919(0)787--z
-
Codani:1995:PLL, 919(0)787--z
-
code, 892(0)406--z, 900(0)640--z, 915(0)605--z, 915(0)741--z,
917(0)238--z, 917(0)424--z, 919(0)312--z, 919(0)318--z,
919(0)378--z, 919(0)526--z, 919(0)640--z, 919(0)806--z,
919(0)831--z, 919(0)837--z, 919(0)844--z, 919(0)856--z,
921(0)289--z, 921(0)311--318, 944(0)256--z, 944(0)581--z,
948(0)1--z, 948(0)96--z, 948(0)120--z, 948(0)158--z, 948(0)194--z,
948(0)262--z, 948(0)279--z, 948(0)312--z, 948(0)341--z,
950(0)131--139, 950(0)254--265, 950(0)456--460
-
Coded, 937(0)27--z
-
Codenotti, B., 944(0)547--z
-
Codenotti, B., see Blum, M.
-
codes, {A}-, 917(0)211--z
-
Codes, -, 921(0)311--318, 950(0)456--460
-
Codewords, 948(0)96--z
-
coding, 888(0)75--z, 900(0)373--z, 900(0)385--z, 904(0)237--z,
913(0)94--z, 930(0)121--z
-
Codognet, C., 923(0)39--z
-
Codognet, P., 910(0)39--z, 923(0)39--z
-
Codognet, P., see Codognet, C.
-
Codognet:1995:ECS, 910(0)39--z
-
Codognet:1995:GSC, 923(0)39--z
-
Coe, M. L., 901(0)33--z
-
Coe, M. L., see Windley, P. J.
-
Coevolution, 929(0)219--z, 929(0)234--z, 929(0)801--z
-
Coffin, L. M. F., Carneiro-, 896(0)141--z
-
Cofree, 936(0)245--z
-
Cog, 929(0)383--z
-
Cognitive, 890(0)56--z, 929(0)463--z, 930(0)130--z
-
Cognodynamics, 931(0)247--z
-
Cohen, G., 948(0)96--z
-
Cohen, G., see Ashikhmin, A.
-
Cohen, L. D., 905(0)319--z
-
Cohen, L. D., see Bardinet, E.
-
Cohen, M. E., 945(0)473--z
-
Cohen, R. F., 894(0)1--z
-
Cohen, W. E., 892(0)31--z
-
Cohen, W. E., see Dietz, H. G.
-
Cohen:1995:ICA, 945(0)473--z
-
Cohen:1995:TDG, 894(0)1--z
-
Coherence, 945(0)62--z
-
Coherent, 913(0)94--z
-
coin, 921(0)220--z, 950(0)306--319
-
Cokljat, D., 919(0)434--z
-
Cokljat, D., see Carter, J. G.
-
Colbrook, A., 919(0)869--z
-
Colbrook:1995:EEE, 919(0)869--z
-
Colchester, A. C. F., 905(0)40--z, 905(0)47--z
-
Colchester, A. C. F., see Henri, C. J.,
see Zhao, J.
-
Coletta, A., 926(0)49--z
-
Coletta:1995:SPI, 926(0)49--z
-
Colin, A., 948(0)169--z
-
Colin:1995:FCG, 948(0)169--z
-
Collaboration, 896(0)232--z
-
Collaboratory, 889(0)102--z, 889(0)190--z
-
Collaboratory, ``{E}-, 889(0)140--z
-
Collado, J. A., Pastor-, 932(0)40--z
-
Collapse, 944(0)196--z
-
Collard, P., 912(0)271--z
-
Collard, P., see Escazut, C.
-
Collavizza, Hélère, 952(0)215--z,
see Arditi, Laurent
-
Collection, 907(0)346--z, 914(0)132--z, 952(0)235--z
-
collections, 916(0)65--z, 936(0)546--z
-
Collective, 930(0)298--z
-
Collette, P., 936(0)353--z
-
Collette:1995:LFC, 936(0)353--z
-
Collignon, A., 905(0)195--z
-
Collignon:1995:MMM, 905(0)195--z
-
Collinearity, 909(0)196--z
-
Collision, 917(0)307--321, 929(0)614--z
-
Collorec, R., 905(0)295--z
-
Collorec, R., see Coatrieux, J.-L.
-
Colodro, F., 930(0)789--z
-
Colodro, F., see Torralba, A.
-
Colombet, L., 919(0)600--z
-
Colombet, L., see Calvin, C.
-
Colony, 929(0)772--z, 929(0)784--z
-
Color, 930(0)890--z
-
COLOR-X, 932(0)26--z
-
Colored, 911(0)16--z, 935(0)218--z, 944(0)87--z
-
Coloring, {Xt}-, 900(0)409--z
-
Coloured, 935(0)201--z, 935(0)278--z
-
Colouring, Edge-, 911(0)286--z
-
Colourings, 920(0)373--z
-
Columnar, 930(0)37--z
-
Combelles, A., Kuntzmann-, 926(0)16--z
-
Combi, C., 934(0)397--z
-
Combi:1995:TND, 934(0)397--z
-
combination, 897(0)40--z, 912(0)323--z, 914(0)352--z, 915(0)379--z,
930(0)906--z
-
Combinatorial, 917(0)55--z, 917(0)211--z, 920(0)212--z, 921(0)289--z,
931(0)157--z
-
Combinatorics, 948(0)4--z
-
combinators, 902(0)154--z, 907(0)393--z
-
Combined, 934(0)405--z, 951(0)279--z
-
Combining, 905(0)184--z, 906(0)1--z, 913(0)49--z, 920(0)124--z,
920(0)438--z, 923(0)247--z, 934(0)401--z, 940(0)24--z
-
combustion, 919(0)306--z
-
Comfortable, 932(0)327--z
-
comment, 950(0)433--438
-
commerce, 919(0)360--z
-
Commitment, 890(0)86--z
-
Commitment, Assumption-, 939(0)54--z
-
Commitment, Two-Phase-, 893(0)162--z
-
Common, 896(0)241--z, 898(0)101--z, 900(0)397--z, 911(0)332--z,
937(0)55--z, 937(0)340--z
-
communicating, 890(0)145--z, 894(0)25--z, 906(0)170--z, 924(0)49--z,
947(0)197--z
-
communication, 892(0)266--z, 892(0)283--z, 892(0)316--z, 900(0)38--z,
900(0)350--z, 900(0)361--z, 903(0)130--z, 911(0)427--z,
913(0)189--z, 918(0)338--z, 919(0)86--z, 919(0)428--z, 928(0)189--z,
929(0)396--z, 932(0)140--z, 938(0)64--z, 947(0)423--z, 952(0)399--z
-
Communication-Free, 892(0)92--z
-
communications, 919(0)54--59, 919(0)600--z
-
Communities, 896(0)93--z
-
Commutations, 944(0)75--z
-
Commutative, 906(0)1--z
-
Commutative, Associative-, 914(0)414--z
-
Commutativity, 908(0)33--z
-
Comon, H., 910(0)62--z
-
Comon:1995:CTA, 910(0)62--z
-
Comonad, 914(0)210--z
-
compact, 900(0)205--z, 950(0)112--130
-
Compactness, 944(0)444--z
-
Compagnoni, A. B., 933(0)46--z
-
Compagnoni:1995:DHO, 933(0)46--z
-
Comparability, 903(0)26--z
-
Comparative, 891(0)21--z, 912(0)138--z, 930(0)308--z, 936(0)475--z
-
Comparing, 902(0)1--z, 915(0)561--z, 930(0)771--z, 937(0)177--z
-
comparison, 905(0)219--z, 905(0)242--z, 913(0)65--z, 919(0)110--z,
934(0)251--z, 937(0)78--z, 937(0)366--z, 951(0)368--z
-
compArisons, 919(0)787--z
-
Compartimentation, 929(0)116--z
-
Compartmental, 930(0)45--z, 934(0)115--z
-
Compass, 929(0)602--z
-
Compatibility, 937(0)17--z
-
Compatible, 920(0)307--z
-
Competition, 930(0)308--z
-
Compilation, 892(0)155--z, 892(0)283--z
-
compiler, 892(0)31--z, 915(0)807--z, 919(0)14--z, 919(0)176--z,
919(0)526--z, 933(0)369--z
-
Compilers, 892(0)141--z
-
Compiling, 892(0)16--z
-
complete, 902(0)312--z, 906(0)453--z, 909(0)135--z, 914(0)41--z,
915(0)187--201, 920(0)252--z, 929(0)784--z, 936(0)400--z,
948(0)106--z
-
Complete, NP-, 900(0)95--z, 933(0)190--z
-
completeness, 900(0)26--z, 902(0)414--z, 914(0)2--z, 915(0)394--z,
933(0)264--z, 933(0)309--z, 936(0)385--z, 940(0)47--z
-
Completeness, Semi-, 915(0)379--z
-
completion, 909(0)154--z, 914(0)71--z, 914(0)438--z, 920(0)292--z
-
complex, 912(0)315--z, 913(0)138--z, 919(0)407--z, 919(0)441--z,
932(0)243--z, 945(0)545--z
-
complexity, 893(0)54--z, 894(0)218--z, 894(0)286--z, 900(0)38--z,
900(0)143--z, 900(0)350--z, 900(0)583--z, 900(0)597--z,
900(0)628--z, 903(0)93--z, 903(0)130--z, 903(0)219--z, 904(0)154--z,
904(0)169--z, 904(0)196--z, 904(0)404--z, 911(0)332--z,
911(0)346--z, 911(0)427--z, 912(0)360--z, 917(0)80--z, 920(0)277--z,
928(0)1--z, 929(0)105--z, 929(0)179--z, 933(0)486--z, 937(0)177--z,
941(0)27--z, 941(0)123--z, 944(0)208--z, 948(0)33--z, 948(0)408--z,
950(0)77--85, 950(0)223--229, 950(0)223--z
-
Component, 907(0)369--z, 934(0)319--z
-
Component-Based, 934(0)3--z
-
Composable, 935(0)103--z
-
composed, 921(0)367--z, 921(0)367--z--1
-
composing, 928(0)57--z, 947(0)399--z
-
composition, 888(0)227--z, 901(0)92--z, 924(0)147--z, 929(0)843--z,
932(0)96--z
-
compositional, 890(0)102--z, 901(0)92--z, 936(0)353--z, 939(0)166--z,
939(0)293--z, 947(0)197--z
-
Compositive, 945(0)248--z
-
comprehension, 902(0)154--z
-
Comprehensions, {V}-, 953(0)220--z
-
Comprehensive, 895(0)339--z
-
Compressing, 944(0)99--z, 951(0)385--z
-
Compression, 916(0)181--z
-
Computability, 900(0)550--z
-
computation, 888(0)9--z, 892(0)391--z, 900(0)467--z, 903(0)193--z,
907(0)1--z, 915(0)334--z, 915(0)711--z, 919(0)241--z, 919(0)293--z,
919(0)434--z, 919(0)606--z, 919(0)723--z, 921(0)168--z,
927(0)127--z, 927(0)156--z, 927(0)181--z, 929(0)555--z, 930(0)1--z,
930(0)268--z, 935(0)121--z, 936(0)127--z, 938(0)242--z,
944(0)171--z, 944(0)183--z, 948(0)106--z, 948(0)169--z,
948(0)262--z, 948(0)365--z, 948(0)456--z
-
Computation-Universal, 929(0)544--z
-
computational, 894(0)286--z, 914(0)210--z, 914(0)438--z, 917(0)182--z,
919(0)248--z, 919(0)413--419, 919(0)658--z, 920(0)80--z,
920(0)277--z, 921(0)194--z, 921(0)341--z, 930(0)90--z, 933(0)486--z
-
Computationally, 929(0)784--z
-
compute, 919(0)748--z, 921(0)95--z, 946(0)352--z
-
computer, 895(0)15--z, 895(0)87--z, 895(0)403--z, 895(0)449--z,
905(0)247--z, 905(0)267--z, 905(0)272--z, 905(0)476--z,
907(0)346--z, 912(0)33--z, 917(0)164--z, 918(0)310--z, 919(0)86--z,
919(0)118--z, 919(0)287--z, 919(0)306--z, 919(0)318--z,
919(0)441--z, 919(0)448--z, 919(0)502--z, 919(0)837--z,
919(0)850--z, 929(0)934--z, 934(0)407--z, 939(0)70--z, 948(0)4--z,
949(0)200--z, 949(0)219--z
-
Computer-Aided, 905(0)77--z
-
Computer-aided, 947(0)50--z
-
Computer-Integrated, 905(0)212--z
-
Computerized, 905(0)170--z
-
computing, 889(0)140--z, 892(0)316--z, 895(0)187--z, 896(0)174--z,
907(0)320--z, 911(0)332--z, 915(0)288--z, 919(0)21--z, 919(0)54--59,
919(0)118--z, 919(0)142--z, 919(0)293--z, 919(0)366--z,
919(0)496--z, 919(0)582--z, 919(0)652--z, 927(0)205--z,
928(0)113--z, 928(0)401--z, 929(0)876--z, 937(0)1--z, 937(0)162--z,
938(0)58--z, 944(0)75--z, 945(0)108--z, 947(0)50--z
-
Concatenation, 933(0)294--z
-
Concept, 894(0)452--z, 912(0)161--z, 912(0)200--z, 932(0)341--z,
933(0)471--z, 934(0)17--z, 934(0)411--z, 946(0)293--z
-
concepts, 914(0)210--z, 919(0)407--z, 922(0)10--z, 934(0)67--z,
943(0)14--z
-
Conceptual, 932(0)12--z, 932(0)40--z, 932(0)231--z, 934(0)331--z,
940(0)101--z
-
concerning, 904(0)298--z
-
Concurrency, 910(0)171--z, 915(0)711--z, 936(0)277--z, 940(0)172--z
-
Concurrent, 890(0)129--z, 890(0)386--z, 897(0)86--z, 897(0)118--z,
900(0)349--z, 900(0)467--z, 907(0)1--z, 907(0)70--z, 907(0)137--z,
907(0)187--z, 907(0)229--z, 907(0)300--z, 907(0)356--z,
907(0)393--z, 910(0)171--z, 914(0)132--z, 915(0)590--z, 923(0)39--z,
924(0)176--z, 935(0)141--z, 936(0)307--z, 936(0)353--z,
936(0)531--z, 944(0)15--z
-
Conde, I. M., 930(0)979--z
-
Conde, I. M., see Bandera, C.
-
Condition, Closure-, 939(0)293--z
-
Conditional, 909(0)196--z, 914(0)179--z, 945(0)200--z
-
Conditioning, 930(0)471--z
-
Conditions, 915(0)409--z, 929(0)477--z, 934(0)407--z
-
Cone, 920(0)252--z
-
conference, 950(0)275--286
-
configuration, 903(0)164--z, 913(0)193--z
-
Confirmation, 946(0)387--z
-
Confirmer, 950(0)86--91
-
Conflict, 924(0)49--z, 946(0)301--z
-
Confluence, 914(0)194--z, 915(0)217--z, 936(0)531--z
-
Confluence, Level-, 914(0)179--z
-
Confluent, 903(0)180--z
-
Conforti, D., 919(0)366--z
-
Conforti, M., 920(0)321--z
-
Conforti:1995:MMD, 920(0)321--z
-
Conforti:1995:OME, 919(0)366--z
-
Congenital, 934(0)393--z
-
Conheeney, K., 932(0)283--z
-
Conheeney, K., see Gibson, M. D.
-
Conigliaro, S., 901(0)286--z
-
Conigliaro, S., see Bezzi, G.
-
conjecture, 900(0)609--z, 909(0)214--z, 953(0)59--z
-
Conjunction, 915(0)501--z
-
Connected, 920(0)414--z
-
Connected, Two-, 920(0)414--z
-
connection, 894(0)64--z, 899(0)103--z, 918(0)1--z, 918(0)63--z,
918(0)122--z, 919(0)110--z, 920(0)426--z, 930(0)246--z
-
Connectionist, 930(0)433--z, 930(0)454--z, 930(0)979--z
-
Connectionist-Symbolic, 930(0)658--z
-
Connective, 945(0)360--z, 946(0)60--z
-
Connectivity, 930(0)15--z, 944(0)159--z, 944(0)405--z
-
Connectivity, Edge-, 920(0)403--z
-
conquer, divide-and-, 919(0)717--z, 947(0)97--z
-
Conradi, R., 913(0)65--z, 913(0)98--z, 913(0)240--z
-
Conradi, R., see Totland, T.
-
Conradi:1995:PML, 913(0)98--z
-
Conradi:1995:SCM, 913(0)240--z
-
Conroy, G. V., 912(0)275--z
-
Conroy:1995:ENE, 912(0)275--z
-
Consciousness, 930(0)584--z
-
consequence, 900(0)255--z, 903(0)14--z, 906(0)336--z, 928(0)245--z,
930(0)130--z, 944(0)196--z, 946(0)107--z, 946(0)171--z
-
Conserving, Non-Work-, 949(0)165--z
-
consistency, 923(0)121--z, 930(0)589--z, 938(0)224--z, 945(0)200--z
-
Consistency, Arc-, 923(0)157--z
-
Consistency, Path-, 910(0)39--z
-
Consistent, 935(0)21--z
-
Consistent, Self-, 930(0)158--z
-
Constans, J. M., 905(0)341--z
-
Constans, J. M., see Ruan, S.
-
Constant, 915(0)651--z, 922(0)38--z
-
Constant-Space, 937(0)78--z
-
constrained, 905(0)495--z, 919(0)392--z
-
constraint, 892(0)1--z, 893(0)368--z, 893(0)425--z, 894(0)340--z,
897(0)58--z, 897(0)103--z, 905(0)309--z, 910(0)1--z, 910(0)22--z,
910(0)62--z, 910(0)90--z, 910(0)108--z, 910(0)128--z, 910(0)147--z,
910(0)171--z, 910(0)193--z, 910(0)231--z, 910(0)293--z,
911(0)469--z, 912(0)267--z, 914(0)56--z, 914(0)352--z, 914(0)438--z,
915(0)42--z, 918(0)201--z, 923(0)39--z, 923(0)51--z, 923(0)67--z,
923(0)139--z, 923(0)171--z, 923(0)205--z, 923(0)267--z, 928(0)43--z,
928(0)57--z, 936(0)531--z, 939(0)114--126, 939(0)293--z,
945(0)263--z, 945(0)584--z
-
Constraint-Generating, 893(0)322--z
-
Constraint-Solving, 910(0)39--z
-
Constructible, 948(0)427--z
-
Constructing, 925(0)183--z, 944(0)256--z, 946(0)217--z
-
construction, 900(0)455--z, 914(0)86--z, 929(0)555--z, 930(0)619--z,
932(0)297--z, 936(0)518--z, 944(0)111--z, 947(0)49--z, 947(0)257--z,
947(0)351--z, 948(0)262--z, 950(0)23--34, 950(0)23--z, 953(0)96--z
-
Constructive, 910(0)68--z, 930(0)822--z, 936(0)546--z
-
constructors, 902(0)428--z
-
Contained, 933(0)242--z
-
containing, 919(0)526--z
-
Conte, G., 919(0)709--z, 935(0)181--z
-
Conte, G., see Caselli, S.
-
Contemporary, 914(0)101--z, 929(0)893--z
-
Content, 916(0)165--z
-
content, chosen-, 950(0)254--265
-
Contest, 894(0)143--z
-
Context, 890(0)71--z, 915(0)62--z, 934(0)423--z
-
Context-Free, 933(0)205--z, 936(0)214--z
-
context-free, 900(0)445--z, 904(0)404--z
-
Context-Sensitive, 900(0)313--z, 911(0)180--z
-
Contextual, 929(0)368--z, 945(0)595--z
-
Conti, P., 948(0)183--z
-
Conti:1995:CAT, 948(0)183--z
-
continental, 919(0)455--z
-
Continuation, 907(0)300--z, 915(0)726--z
-
Continuous, 911(0)195--z, 912(0)307--z, 912(0)335--z, 930(0)144--z,
930(0)419--z, 936(0)292--z, 945(0)473--z
-
Contour, 930(0)890--z
-
Contradictory, 946(0)125--z
-
contrast, 919(0)275--z, 930(0)61--z
-
Contributions, 914(0)1--z
-
Control, 890(0)203--z, 892(0)170--z, 892(0)217--z, 892(0)316--z,
912(0)323--z, 912(0)351--z, 916(0)33--z, 929(0)625--z, 929(0)668--z,
929(0)946--z, 930(0)100--z, 930(0)151--z, 930(0)315--z,
931(0)175--z, 934(0)165--z, 934(0)185--z, 934(0)295--z, 935(0)84--z,
939(0)279--z, 939(0)381--z, 940(0)172--z, 945(0)418--z,
945(0)483--z, 945(0)605--z, 949(0)239--z, 953(0)1--z
-
Control-Rule, 912(0)138--z
-
Controlled, 950(0)450--455
-
controlled, clock-, 950(0)230--243
-
Controller, 900(0)229--z, 929(0)640--z, 930(0)666--z, 931(0)205--z,
935(0)218--z
-
Controlling, 907(0)70--z, 914(0)382--z, 930(0)283--z
-
Controlling, Self-, 935(0)25--z
-
Convection, 919(0)678--z
-
Convenience, 945(0)210--z
-
Convenient, 953(0)3--z
-
Convergence, 921(0)13--z, 933(0)228--z
-
Convergent, 936(0)199--z
-
Conversion, 916(0)65--z, 931(0)11--z
-
convex, 900(0)550--z, 903(0)242--z, 904(0)222--z, 920(0)244--z,
953(0)117--z
-
Convexly, 894(0)76--z
-
Convicted, 933(0)151--z
-
COO, 913(0)220--z
-
Cooperating, 910(0)231--z, 930(0)24--z
-
Cooperation, 889(0)60--z, 889(0)74--z, 889(0)102--z, 929(0)668--z,
929(0)749--z, 930(0)330--z, 944(0)429--z
-
Cooperative, 896(0)196--z, 930(0)15--z, 932(0)140--z, 934(0)173--z,
934(0)379--z
-
coordinate, 894(0)282--z, 948(0)312--z
-
Coordinated, 890(0)203--z
-
Coordinating, 934(0)17--z
-
Coordination, 913(0)189--z, 913(0)205--z, 913(0)209--z, 924(0)1--z,
924(0)14--z, 924(0)77--z, 924(0)125--z, 924(0)162--z, 924(0)176--z,
929(0)657--z, 929(0)784--z
-
Coprocessor, 930(0)752--z
-
coproducts, 902(0)171--z
-
Coq, 902(0)124--z, 902(0)312--z, 936(0)230--z
-
Coquand, T., 902(0)47--z, 947(0)49--z
-
Coquand, T., see Berardi, S.
-
Coquand:1995:PCI, 947(0)49--z
-
Corana, A., 919(0)748--z
-
Corana:1995:PAC, 919(0)748--z
-
Corbacho, F. J., 930(0)412--z
-
Corbacho:1995:SBL, 930(0)412--z
-
Cordes, D., 895(0)279--z
-
Cordes, D., see Parrish, A.
-
Cordier, M.-O., 946(0)133--z, 946(0)142--z
-
Cordier:1995:LTB, 946(0)133--z
-
Cordier:1995:PTU, 946(0)142--z
-
core, 895(0)65--z, 921(0)356--366, 921(0)356--z
-
Core, B., 915(0)805--806
-
Core:1995:BTD, 915(0)805--806
-
Corneil, D. G., 944(0)292--z
-
Corneil:1995:LTA, 944(0)292--z
-
Cornell, 949(0)304--z
-
Corno, F., 919(0)39--44
-
Corno:1995:PTA, 919(0)39--44
-
Cornuejols, G., 920(0)321--z, 920(0)438--z
-
Cornuejols, G., see Ceria, S.,
see Conforti, M.
-
Coronado, J. L., Lopez, 930(0)471--z, 930(0)934--z
-
Corpus, 916(0)165--z
-
Corradini, A., 914(0)225--z, 936(0)368--z
-
Corradini:1995:CMI, 936(0)368--z
-
Corradini:1995:RTC, 914(0)225--z
-
correcting, error-, 917(0)238--z, 917(0)424--z, 950(0)131--139
-
Correcting, Self-, 944(0)547--z
-
correction, 905(0)513--z, 944(0)581--z
-
Correctness, 901(0)33--z, 901(0)165--z, 915(0)681--z, 933(0)369--z,
936(0)152--z, 938(0)164--z
-
Correctness-Preserving, 924(0)29--z
-
Corredor Lacha, D., 930(0)942--z
-
Corredor Lacha, D., see Ibarra-Pico, F.
-
Correia, L., 929(0)625--z
-
Correia:1995:UAV, 929(0)625--z
-
correlation, 917(0)67--z, 921(0)248--z, 950(0)230--243, 950(0)366--375
-
Correspondence, 944(0)63--z
-
Corresponding, 934(0)282--z
-
Cortadella, J., 935(0)374--z
-
Cortadella, J., see Roig, O.
-
Cortes, U., 912(0)315--z
-
Cortes, U., see Martin, M.
-
Cortex, 930(0)108--z
-
cortical, 905(0)177--z, 919(0)420--z, 930(0)7--z, 930(0)37--z
-
Corvi, M., 919(0)588--593
-
Corvi, M., see Appiani, E.
-
Coscheduling, 949(0)106--z
-
Coscoy, Y., 902(0)109--z
-
Coscoy:1995:ETP, 902(0)109--z
-
Cosmo, R., Di, 902(0)139--z
-
Cosnard, M., 944(0)570--z
-
Cosnard:1995:CEE, 944(0)570--z
-
Cost, 920(0)329--z, 929(0)876--z, 936(0)307--z, 944(0)256--z,
946(0)52--z
-
Cost, Low-, 930(0)689--z
-
Cost-Effectiveness, 934(0)295--z
-
Costa, J. F., 906(0)273--z
-
Costa, J. F., see Fiadeiro, J. L.
-
Costantini, S., 927(0)156--z
-
Costantini:1995:SSP, 927(0)156--z
-
Coulson, G., 924(0)162--z
-
Coulson, G., see Papathomas, M.
-
Count, 892(0)487--z
-
Countable, 936(0)489--z
-
Counter, 918(0)31--z
-
counterexamples, 904(0)380--z
-
Counting, 900(0)60--z, 911(0)60--z, 921(0)79--z
-
Couple, 953(0)200--z
-
Coupled, 893(0)40--z
-
coupled, tightly-, 938(0)242--z
-
Courcelle, B., 909(0)74--z, 933(0)163--z
-
Courcelle:1995:GRB, 909(0)74--z
-
Courcelle:1995:MSO, 933(0)163--z
-
Course, 888(0)1--z, 895(0)167--z, 895(0)279--z, 895(0)437--z
-
Courtenage, S., 940(0)24--z
-
Courtenage:1995:CIP, 940(0)24--z
-
Cousot, P., 939(0)293--z
-
Cousot, R., 939(0)293--z
-
Cousot, R., see Cousot, P.
-
Cousot:1995:CIS, 939(0)293--z
-
Coutaz, J., 896(0)35--z
-
Coutaz:1995:ETE, 896(0)35--z
-
Couvreur, J. M., 935(0)25--z
-
Couvreur, J. M., see Barkaoui, K.
-
cover, 903(0)130--z, 920(0)452--z
-
cover, Semi-, 930(0)948--z
-
Covering, 903(0)93--z, 920(0)228--z, 948(0)21--z, 948(0)312--z,
948(0)341--z
-
Coverings, Delta-, 920(0)228--z
-
Cowan, D. D., 896(0)141--z, 936(0)461--z
-
Cowan, D. D., see Bumbulis, P.,
see Carneiro-Coffin, L. M. F.
-
Cox, J., 905(0)481--z
-
Cox, J., see Karron, D. B.
-
Coyne, R. F., 895(0)339--z
-
Coyne:1995:TMC, 895(0)339--z
-
Cozzi, M. D., 919(0)646--z
-
Cozzi:1995:HPD, 919(0)646--z
-
CPO, 915(0)439--z, 936(0)368--z
-
CPOs, 953(0)117--z
-
CPUs, 907(0)121--z
-
CPWM, 930(0)830--z
-
CRAFT, 919(0)618--z
-
Craigen, D., 936(0)41--z
-
Craigen, D., see Ralston, T.
-
Crama, Y., 920(0)277--z, 931(0)157--z
-
Crama:1995:LSC, 931(0)157--z
-
Crama:1995:SJE, 920(0)277--z
-
CRASH, PAM-, 919(0)856--z
-
crashworthiness, 919(0)856--z
-
CRAY, 919(0)618--z, 919(0)658--z
-
Cray, 919(0)110--z, 919(0)318--z, 919(0)347--z, 919(0)488--z,
919(0)690--z, 919(0)723--z, 919(0)799--z
-
Creation, 890(0)277--z, 894(0)376--z
-
creativity, 904(0)1--z
-
Crépeau, Claude, 921(0)133--z
-
Crepeau:1995:QOM, 921(0)133--z
-
Crescenzi, P., 894(0)307--z, 903(0)130--z
-
Crescenzi:1995:MVC, 903(0)130--z
-
Crescenzi:1995:OAU, 894(0)307--z
-
Crescenzo, G., Di, 917(0)21--32, 921(0)367--z--1
-
Crescenzo, Giovanni Di, 921(0)367--z, 921(0)413--z, 950(0)156--170
-
Crescenzo, Giovanni Di, see D'Amiano, Stefano
-
Crescenzo:1995:RRB, 921(0)367--z
-
Crestani, F., 930(0)597--z
-
Crestani:1995:IER, 930(0)597--z
-
Cresti, Antonella, 921(0)194--z, 950(0)287--298
-
Cresti, Antonella, see Blundo, Carlo,
see Béguin, Philippe
-
Criteria, 888(0)189--z, 950(0)376--388
-
Criterion, 930(0)519--z
-
Critic, 934(0)427--z
-
critical, 919(0)634--z, 939(0)367--z
-
Crivelli, E., 926(0)192--z, 935(0)84--z
-
Crivelli, E., see Battiston, E.,
see Spinelli, A.
-
Crochemore, M., 900(0)181--z, 911(0)220--z
-
Crochemore:1995:LTA, 911(0)220--z
-
Crochemore:1995:TDP, 900(0)181--z
-
Croix, E. V., De St., 911(0)449--z
-
Crole, R. L., 933(0)339--z
-
Crole:1995:SMS, 933(0)339--z
-
Crosby, M. E., 940(0)64--z
-
Crosby, M. E., see Nordbotten, J. C.
-
cross, 893(0)54--z, 919(0)554--z, 937(0)191--z
-
Cross, J. H., 895(0)295--z
-
Cross, J. H., see Scott, T. J.
-
Cross, S. S., 934(0)239--z
-
Cross, S. S., see Downs, J.
-
Crossing, 894(0)131--z, 903(0)256--z
-
Cruciate, 905(0)476--z
-
Cruse, H., 929(0)668--z
-
Cruse:1995:HPF, 929(0)668--z
-
Cruz, C., Santa, 930(0)291--z
-
Cruz, I. F., 894(0)404--z
-
Cruz:1995:DGE, 894(0)404--z
-
cryptanalysis, 917(0)278--z, 917(0)293--z, 917(0)387--z, 921(0)24--z,
950(0)47--57, 950(0)341--355, 950(0)356--365
-
crypto-accelerators, 921(0)404--z
-
cryptographic, 917(0)119--z, 917(0)133--z, 917(0)415--z, 950(0)1--12,
950(0)13--22, 950(0)23--34, 950(0)35--46, 950(0)47--57,
950(0)58--66, 950(0)67--76, 950(0)77--85, 950(0)86--91,
950(0)92--111, 950(0)112--130, 950(0)131--139, 950(0)140--155,
950(0)156--170, 950(0)171--181, 950(0)182--193, 950(0)194--204,
950(0)205--214, 950(0)215--222, 950(0)223--229, 950(0)230--243,
950(0)244--253, 950(0)254--265, 950(0)266--274, 950(0)275--286,
950(0)287--298, 950(0)299--305, 950(0)306--319, 950(0)320--331,
950(0)332--340, 950(0)341--355, 950(0)356--365, 950(0)366--375,
950(0)376--388, 950(0)389--399, 950(0)400--409, 950(0)410--418,
950(0)419--424, 950(0)425--427, 950(0)428--432, 950(0)433--438,
950(0)439--444, 950(0)445--449, 950(0)450--455, 950(0)456--460,
950(0)461--467, 950(0)468--472
-
cryptography, 917(0)21--32, 948(0)146--z, 950(0)1--12, 950(0)468--472
-
cryptology, 950(0)1--12, 950(0)13--22, 950(0)23--34, 950(0)35--46,
950(0)47--57, 950(0)58--66, 950(0)67--76, 950(0)77--85,
950(0)86--91, 950(0)92--111, 950(0)112--130, 950(0)131--139,
950(0)140--155, 950(0)156--170, 950(0)171--181, 950(0)182--193,
950(0)194--204, 950(0)205--214, 950(0)215--222, 950(0)223--229,
950(0)230--243, 950(0)244--253, 950(0)254--265, 950(0)266--274,
950(0)275--286, 950(0)287--298, 950(0)299--305, 950(0)306--319,
950(0)320--331, 950(0)332--340, 950(0)341--355, 950(0)356--365,
950(0)366--375, 950(0)376--388, 950(0)389--399, 950(0)400--409,
950(0)410--418, 950(0)419--424, 950(0)425--427, 950(0)428--432,
950(0)433--438, 950(0)439--444, 950(0)445--449, 950(0)450--455,
950(0)456--460, 950(0)461--467, 950(0)468--472
-
cryptosystem, 917(0)357--z, 921(0)1--z, 921(0)341--z, 944(0)147--z,
950(0)131--139
-
CS-2, 919(0)241--z, 919(0)672--z, 919(0)684--z
-
CSCW, 889(0)7--z, 896(0)93--z, 896(0)241--z, 913(0)154--z, 938(0)64--z
-
Csirmaz, László, 950(0)13--22
-
Csirmaz:1995:SSM, 950(0)13--22
-
CSL, 891(0)55--z
-
CSP, 947(0)67--z, 947(0)180--z
-
CT, 905(0)219--z, 905(0)506--z, 905(0)542--z
-
Cuartero, F., 935(0)490--z
-
Cuartero, F., see Valero, V.
-
Cubes, 905(0)535--z
-
cubic, 921(0)329--340
-
Cubillo, S., 945(0)329--z
-
Cubillo, S., see Trillas, E.
-
Cudjoe, K., 894(0)262--z
-
Cudjoe, K., see Manning, J.
-
Cuellar, J., 891(0)151--z
-
Cuellar:1995:T, 891(0)151--z
-
Cues, 916(0)129--z
-
Culik, K., 944(0)51--z
-
Culik:1995:FST, 944(0)51--z
-
Cumm, H., 895(0)403--z
-
Cumm, H., see Bayman, S.
-
Cunningham, W. H., 920(0)65--z
-
Cunningham, W. H., see Cheng, E.
-
Curien, P.-L., 902(0)32--z
-
Curien, P.-L., see Bellucci, R.
-
Current, 913(0)197--z, 930(0)815--z
-
Curricula, 895(0)51--z
-
Curriculum, 895(0)65--z, 895(0)87--z, 895(0)99--z, 895(0)257--z
-
Curtis, S., 947(0)214--z
-
Curtis:1995:GC, 947(0)214--z
-
curve, 900(0)539--z, 904(0)272--z, 911(0)36--z, 917(0)376--383,
921(0)79--z, 921(0)329--340, 948(0)285--z
-
Curved, 905(0)385--z, 905(0)399--z
-
Curvilinear, 905(0)372--z
-
Customising, 913(0)70--z
-
CUT, 920(0)1--z
-
Cut, 920(0)252--z, 920(0)438--z, 933(0)136--z, 944(0)280--z
-
Cuts, Multi-, 920(0)14--z
-
cycle, 903(0)387--z
-
Cyclic, 911(0)398--z
-
Cyr, F., Dupin de Saint, 945(0)263--z
-
Cyr, F., Dupin de St.-, 946(0)162--z
-
Cyrluk, D., 901(0)203--z
-
Cyrluk:1995:ETP, 901(0)203--z
-
Cytron, R. K., 937(0)144--z
-
Cytron, R. K., see Hanks, L.