Index file section C for lncs1991.bib
Last update: Sun Jun 12 02:46:39  2016
              
Return to index directory
C
  - 
C, 552(0)1--z
 
  - 
C++, 512(0)1--z
 
  - 
Cacace, F., 504(0)124--z
 
  - 
Cacace, F.,  see Ceri, S.
 
  - 
Cacace, Filippo, 503(0)44--z
 
  - 
Cacace:1991:OPS, 503(0)44--z
 
  - 
Cache, 512(0)21--z, 531(0)302--z, 575(0)83--z
 
  - 
Cache-level, 523(0)520--z
 
  - 
Caching, 505(0)52--z
 
  - 
CAD-Package, 550(0)101--z
 
  - 
CAD-Systems, 532(0)396--z
 
  - 
Cadiz, 551(0)685--z
 
  - 
Cadoli, M., 549(0)68--z
 
  - 
Cadoli:1991:AE, 549(0)68--z
 
  - 
Caferra, R., 535(0)2--z
 
  - 
Caferra:1991:UOT, 535(0)2--z
 
  - 
Cai, J.-y., 529(0)22--z
 
  - 
Cai:1991:CIG, 529(0)22--z
 
  - 
Caianiello, E., 565(0)56--z
 
  - 
Caianiello:1991:SU, 565(0)56--z
 
  - 
calcifications, 511(0)227--z
 
  - 
Calcinelli, D., 525(0)99--z
 
  - 
Calcinelli:1991:MAG, 525(0)99--z
 
  - 
Calculating, 539(0)304--z, 544(0)137--z
 
  - 
calculation, 508(0)86--z, 511(0)23--z
 
  - 
calculi, lambda-, 520(0)151--z
 
  - 
calculus, 502(0)504--z, 512(0)133--z, 516(0)262--z, 520(0)277--z, 
		527(0)61--z, 530(0)282--z, 531(0)116--z, 541(0)264--z, 542(0)316--z, 
		548(0)272--z, 552(0)79--z, 565(0)304--z, 571(0)53--z, 576(0)1--z
 
  - 
calculus, lambda-, 510(0)291--z, 520(0)161--z
 
  - 
calculus?, lambda-, 523(0)289--z
 
  - 
Calculus, Mu-, 575(0)48--z
 
  - 
Calculus, pi-, 526(0)532--z
 
  - 
Calderbank, A. R., 514(0)320--z
 
  - 
Calderbank:1991:BCC, 514(0)320--z
 
  - 
Calejo, M., 541(0)237--z
 
  - 
Calejo:1991:DSD, 541(0)237--z
 
  - 
Call, 497(0)415--z, 497(0)571--z
 
  - 
call-by-value, 520(0)161--z
 
  - 
Callari, F., 549(0)332--z
 
  - 
Callari, F.,  see Ardizzone, E.
 
  - 
Calliss, Frank W., 536(0)25--z
 
  - 
Calliss:1991:CSM, 536(0)25--z
 
  - 
Calmet, J., 542(0)469--z
 
  - 
Calmet:1991:RMK, 542(0)469--z
 
  - 
Caluwe,  R. M., de, 548(0)338--z
 
  - 
Cameron, H., 497(0)117--z, 497(0)127--z
 
  - 
Cameron:1991:BAT, 497(0)127--z
 
  - 
Cameron:1991:HCC, 497(0)117--z
 
  - 
Camilleri, J., 527(0)142--z
 
  - 
Camilleri:1991:COC, 527(0)142--z
 
  - 
Camion, Paul, 547(0)39--53, 576(0)86--100
 
  - 
Camion:1991:CIF, 576(0)86--100
 
  - 
Camion:1991:KHF, 547(0)39--53
 
  - 
Campbell, Graham, 507(0)234--z
 
  - 
Campbell, Graham,  see Kaur, Harbans
 
  - 
Campos,  L. M., de, 521(0)58--z, 548(0)99--z
 
  - 
Camurati, Paolo, 531(0)86--z
 
  - 
Camurati:1991:UMC, 531(0)86--z
 
  - 
Can't, 546(0)632--z
 
  - 
Canas, A. J., 521(0)456--z
 
  - 
Canas, A. J.,  see Yager, R. R.
 
  - 
Canny, J. F., 539(0)94--z, 539(0)108--z
 
  - 
Canny:1991:CRG, 539(0)94--z
 
  - 
Canny:1991:ISD, 539(0)108--z
 
  - 
Cano, J., 548(0)42--z
 
  - 
Cano:1991:PUD, 548(0)42--z
 
  - 
Canonical, 510(0)267--z, 539(0)281--z, 566(0)371--z
 
  - 
Canonical, Non-, 566(0)371--z
 
  - 
Cantone, Domenico, 533(0)95--z
 
  - 
Cantone:1991:DPT, 533(0)95--z
 
  - 
capable, 542(0)338--z
 
  - 
Capocelli, R. M., 514(0)309--z, 576(0)101--113
 
  - 
Capocelli:1991:MCL, 514(0)309--z
 
  - 
Capocelli:1991:SSS, 576(0)101--113
 
  - 
Capon,  T. J. M., Bench-, 496(0)363--z
 
  - 
Cappelletti, E., 549(0)127--z
 
  - 
Cappelletti, E.,  see Bonarini, A.
 
  - 
Capsules, 512(0)59--z
 
  - 
Capture, 498(0)307--z
 
  - 
capturing, 549(0)450--z
 
  - 
card, 537(0)502--z, 537(0)502--z--1, 547(0)446--z, 576(0)141--z
 
  - 
Cardell-Oliver, R., 571(0)375--z
 
  - 
Cardell-Oliver:1991:MTV, 571(0)375--z
 
  - 
Cardelli, Luca, 526(0)750--z
 
  - 
Cardelli:1991:ESF, 526(0)750--z
 
  - 
cardiac, 511(0)205--z
 
  - 
cardinal, 521(0)183--z
 
  - 
cardinality, 520(0)367--z
 
  - 
Cardona, L., 548(0)125--z
 
  - 
Cardona:1991:RRU, 548(0)125--z
 
  - 
Cardoso, A., 541(0)151--z
 
  - 
Cardoso, J., 483(0)64--z
 
  - 
Cardoso:1991:PNU, 483(0)64--z
 
  - 
Cardoso:1991:TCD, 541(0)151--z
 
  - 
cards, Smart-, 526(0)326--z
 
  - 
Carino, Ricolindo, 507(0)293--z
 
  - 
Carino:1991:AIU, 507(0)293--z
 
  - 
Carlet, C., 514(0)42--z
 
  - 
Carlet, Claude, 576(0)86--100
 
  - 
Carlet, Claude,  see Camion, Paul
 
  - 
Carlet:1991:TBF, 514(0)42--z
 
  - 
Carlisle, M. C., 497(0)90--z
 
  - 
Carlisle:1991:CI, 497(0)90--z
 
  - 
Carlo, 511(0)23--z, 529(0)33--z
 
  - 
Carlson, P. A., 555(0)25--z
 
  - 
Carlson, Robert, 507(0)350--z
 
  - 
Carlson, Robert,  see El-Ruby, Mohamed
 
  - 
Carlson:1991:VTN, 555(0)25--z
 
  - 
Carlsson, M., 506(0)439--z
 
  - 
Carlsson, M.,  see Szeredi, P.
 
  - 
Carlsson, S., 519(0)367--z
 
  - 
Carlsson:1991:OGC, 519(0)367--z
 
  - 
Carpineto, C., 549(0)198--z
 
  - 
Carpineto:1991:VSI, 549(0)198--z
 
  - 
Carrington, David A., 531(0)312--z
 
  - 
Carrington:1991:CAP, 531(0)312--z
 
  - 
carry, 537(0)601--z
 
  - 
Carstensen, H., 524(0)48--z
 
  - 
Carstensen, Kai-Uwe, 546(0)632--z
 
  - 
Carstensen:1991:CTE, 524(0)48--z
 
  - 
Carstensen:1991:WHC, 546(0)632--z
 
  - 
Carter, J. B., 563(0)56--z
 
  - 
Carter, J. B.,  see Bennett, J. K.
 
  - 
CAS, 509(0)44--z
 
  - 
Casale, A., 521(0)568--z
 
  - 
Casale, A.,  see Console, L.
 
  - 
Casas, R., 510(0)186--z
 
  - 
Casas:1991:SRT, 510(0)186--z
 
  - 
Cascading, 507(0)170--z
 
  - 
CASE, 498(0)194--z, 498(0)222--z, 498(0)461--z, 498(0)502--z, 
		509(0)18--z, 509(0)31--z, 509(0)143--z, 509(0)178--z, 536(0)245--z, 
		550(0)497--z, 550(0)499--z, 550(0)504--z, 550(0)509--z, 
		550(0)512--z
 
  - 
case, 496(0)55--z, 497(0)139--z, 498(0)284--z, 508(0)180--z, 
		508(0)267--z, 510(0)615--z, 511(0)81--z, 511(0)434--z, 519(0)1--z, 
		519(0)355--z, 520(0)84--z, 520(0)318--z, 530(0)16--z, 533(0)17--z, 
		542(0)72--z, 544(0)35--z, 544(0)101--z, 551(0)81--z, 557(0)116--z, 
		557(0)251--z
 
  - 
Case, Average-, 529(0)350--z
 
  - 
Case, John, 560(0)121--z
 
  - 
CASE, Meta-, 509(0)81--z
 
  - 
case, Worst-, 555(0)124--z
 
  - 
Case:1991:CIV, 560(0)121--z
 
  - 
Caseau, Y., 566(0)292--z, 567(0)237--z
 
  - 
Caseau:1991:COO, 566(0)292--z
 
  - 
Caseau:1991:RAC, 567(0)237--z
 
  - 
Cash, 576(0)324--z
 
  - 
Castellani, I., 520(0)93--z
 
  - 
Castellani, I.,  see Boudol, G.
 
  - 
CASTLE, 548(0)99--z
 
  - 
Castro Dutra,  I., de, 569(0)70--z
 
  - 
Castro,  V., Estivill-, 497(0)47--z, 555(0)124--z
 
  - 
Castro,  Vladimir, Estivill-, 557(0)284--z
 
  - 
CAT-Correct, 515(0)107--z
 
  - 
Categorial, 508(0)164--z, 546(0)88--z
 
  - 
categorical, 504(0)86--z, 520(0)191--z, 526(0)495--z, 530(0)140--z
 
  - 
Categorization, 496(0)326--z
 
  - 
category, 507(0)91--z, 530(0)37--z, 532(0)490--z
 
  - 
Category, 2-, 534(0)266--z
 
  - 
Cattel, T., 550(0)60--z
 
  - 
Cattel, Thierry, 551(0)309--z
 
  - 
Cattel:1991:RDD, 550(0)60--z
 
  - 
Cattel:1991:TTD, 551(0)309--z
 
  - 
Caucal, D., 532(0)190--z
 
  - 
Caucal:1991:AGG, 532(0)190--z
 
  - 
Caulfield, H. J., 496(0)405--z
 
  - 
Caulfield, H. J.,  see Lopez, L. R.
 
  - 
causal, 497(0)657--z, 527(0)18--z, 542(0)183--z, 548(0)262--z, 
		549(0)228--z
 
  - 
Causality, 527(0)43--z, 527(0)266--z
 
  - 
causation, 542(0)540--z
 
  - 
Cauvet, C., 498(0)31--z
 
  - 
Cauvet:1991:AES, 498(0)31--z
 
  - 
Cayley, 497(0)431--z, 508(0)367--z
 
  - 
CCS, 520(0)170--z, 520(0)346--z, 527(0)142--z, 527(0)393--z, 
		575(0)203--z, 575(0)266--z
 
  - 
CCS+Time, 510(0)217--z
 
  - 
Cederbaum,  M. E., Majster-, 529(0)105--z
 
  - 
Cell, 532(0)127--z, 546(0)645--z
 
  - 
Cellini, P., 539(0)1--z
 
  - 
Cellini:1991:ASS, 539(0)1--z
 
  - 
cellular, 520(0)113--z, 547(0)186--z, 560(0)172--z, 565(0)94--z
 
  - 
Cellwork, 532(0)363--z, 532(0)564--z
 
  - 
center, 509(0)114--z, 519(0)249--z, 519(0)299--z, 519(0)343--z
 
  - 
Cerans, K., 502(0)286--z
 
  - 
Cerans, K.,  see Auzins, A.
 
  - 
Cerbone, G., 549(0)208--z
 
  - 
Cerbone:1991:KCS, 549(0)208--z
 
  - 
Cerf, M., 521(0)548--z
 
  - 
Cerf:1991:DLP, 521(0)548--z
 
  - 
Ceri, S., 504(0)124--z
 
  - 
Ceri, Stefano, 503(0)44--z
 
  - 
Ceri, Stefano,  see Cacace, Filippo
 
  - 
Ceri:1991:OOL, 504(0)124--z
 
  - 
Cerioli, M., 520(0)74--z
 
  - 
Cerioli, M.,  see Astesiano, E.
 
  - 
Cermignani, S., 549(0)187--z
 
  - 
Cermignani:1991:ISN, 549(0)187--z
 
  - 
Cerny, A., 520(0)113--z
 
  - 
Cerny, E., 575(0)466--z
 
  - 
Cerny, E.,  see Langevin, M.
 
  - 
Cerny:1991:GWC, 520(0)113--z
 
  - 
Cerrito, P., 497(0)672--z
 
  - 
Cerrito:1991:ESM, 497(0)672--z
 
  - 
Cerro,  L. Farinas, del, 535(0)11--z, 548(0)58--z
 
  - 
certain, 520(0)337--z, 547(0)176--z
 
  - 
Certified, Self-, 547(0)490--z
 
  - 
Cesarini, F., 549(0)375--z, 567(0)124--z
 
  - 
Cesarini, F.,  see Artale, A.
 
  - 
Chabanne, H., 514(0)76--z
 
  - 
Chabanne, H.,  see Burger, J.
 
  - 
chain, 473(0)222--z, 496(0)4--z, 532(0)157--z
 
  - 
chaining, 533(0)80--z, 542(0)52--z
 
  - 
Chakravarty, M. M. T., 528(0)123--z
 
  - 
Chakravarty:1991:ILN, 528(0)123--z
 
  - 
Challenge, 504(0)1--z, 546(0)14--z, 550(0)1--z, 563(0)34--z, 
		563(0)223--z
 
  - 
Challenging, Semi-, 507(0)419--z
 
  - 
Chalmers, D. L., 551(0)645--z
 
  - 
Chalmers:1991:URF, 551(0)645--z
 
  - 
Chambers, Craig, 512(0)21--z
 
  - 
Chambers, Craig,  see Hölzle, Urs
 
  - 
Chambers, William G., 547(0)200--z
 
  - 
Chambers:1991:BSR, 547(0)200--z
 
  - 
chamfer, 511(0)314--z
 
  - 
Champeaux,  Dennis, de, 512(0)360--z--1
 
  - 
Champeaux, Dennis de, 512(0)360--z
 
  - 
Champeaux:1991:OOA, 512(0)360--z
 
  - 
Chan, Agnes Hui, 473(0)214--z
 
  - 
Chan, I.-W., 497(0)323--z
 
  - 
Chan, M. Y., 557(0)241--z
 
  - 
Chan:1991:CFG, 473(0)214--z
 
  - 
Chan:1991:OPA, 497(0)323--z
 
  - 
Chan:1991:OSR, 557(0)241--z
 
  - 
Chang, R. C., 557(0)176--z
 
  - 
Chang, R. C.,  see Lee, H. S.
 
  - 
Change, 498(0)1--z, 550(0)229--z
 
  - 
change, Minimum-, 514(0)76--z
 
  - 
channel, 508(0)132--z, 514(0)337--z, 514(0)364--z, 539(0)477--z, 
		547(0)409--z, 557(0)43--z, 557(0)83--z, 557(0)294--z
 
  - 
Channel, Multi-, 497(0)350--z
 
  - 
Channel, Single-, 497(0)350--z
 
  - 
Channel-Routing, 507(0)322--z
 
  - 
Chao, Jinhui, 576(0)288--299
 
  - 
Chao, Jinhui,  see Tsujii, Shigeo
 
  - 
Chaos, 510(0)600--z
 
  - 
Chaotic, 506(0)331--z, 521(0)498--z, 547(0)127--z, 565(0)335--z
 
  - 
Chaotic-Map, 547(0)532--z
 
  - 
Chapin, Steve J., 507(0)371--z
 
  - 
Chapin:1991:UMC, 507(0)371--z
 
  - 
character, 508(0)96--z, 514(0)158--z
 
  - 
Characterisation, 548(0)310--z
 
  - 
characteristic, 473(0)161--z, 537(0)156--z
 
  - 
characterization, 483(0)113--z, 529(0)126--z, 532(0)311--z, 535(0)72--z, 
		566(0)208--z, 576(0)62--73
 
  - 
Chardin, M., 529(0)180--z
 
  - 
Chardin:1991:DRS, 529(0)180--z
 
  - 
Chari, S., 510(0)381--z
 
  - 
Chari, S.,  see Ranjan, D.
 
  - 
Charpin, P., 514(0)65--z, 576(0)86--100
 
  - 
Charpin, P.,  see Augot, D., \see{Camion, Paul
 
  - 
Chart-Parsing, 546(0)51--z
 
  - 
Chasse, G., 514(0)215--z
 
  - 
Chassé, Guy, 537(0)22--z,  see Gilbert, Henry
 
  - 
Chasse:1991:SRL, 514(0)215--z
 
  - 
Chatalic, P., 542(0)479--z, 548(0)70--z
 
  - 
Chatalic, P.,  see Froidevaux, Ch.
 
  - 
Chatalic:1991:GLF, 542(0)479--z
 
  - 
Chateauneuf, A., 548(0)130--z
 
  - 
Chateauneuf:1991:UVR, 548(0)130--z
 
  - 
Chau, S.-C., 497(0)335--z
 
  - 
Chau:1991:FTB, 497(0)335--z
 
  - 
Chaum, David, 473(0)458--z, 537(0)189--z, 537(0)206--z, 547(0)96--z, 
		547(0)257--z, 547(0)547--z, 547(0)554--z, 576(0)470--z
 
  - 
Chaum, David,  see Boyar, Joan, 
		 see Okamoto, Tatsuaki, \see{Preneel, Bart
 
  - 
Chaum:1991:CSU, 576(0)470--z
 
  - 
Chaum:1991:GS, 547(0)257--z
 
  - 
Chaum:1991:SWW, 547(0)554--z
 
  - 
Chaum:1991:USD, 537(0)206--z
 
  - 
Chaum:1991:ZKU, 473(0)458--z
 
  - 
Chazelle, B., 510(0)661--z, 510(0)686--z
 
  - 
Chazelle:1991:CGG, 510(0)686--z
 
  - 
Chazelle:1991:RSP, 510(0)661--z
 
  - 
Check, 575(0)266--z
 
  - 
checked, 575(0)70--z
 
  - 
Checker, 510(0)163--z, 512(0)97--z, 537(0)515--z, 551(0)693--z
 
  - 
Checking, 497(0)182--z, 526(0)1--z, 526(0)346--z, 527(0)250--z, 
		528(0)311--z, 531(0)1--z, 531(0)44--z, 531(0)86--z, 531(0)253--z, 
		551(0)45--z, 560(0)1--z, 575(0)24--z, 575(0)203--z, 575(0)214--z, 
		575(0)225--z, 575(0)255--z, 575(0)322--z, 575(0)410--z
 
  - 
Checking, Consistency-, 541(0)151--z
 
  - 
Checking, Model-, 575(0)48--z
 
  - 
checking, Model-, 510(0)115--z
 
  - 
Chee, Yeow Meng, 576(0)204--z
 
  - 
Chee:1991:CNP, 576(0)204--z
 
  - 
Chehaibar, G., 524(0)58--z
 
  - 
Chehaibar:1991:URN, 524(0)58--z
 
  - 
Cheiney, J. P., 525(0)23--z
 
  - 
Cheiney, J.-P., 566(0)1--z, 566(0)503--z
 
  - 
Cheiney, J.-P.,  see Lanzelotte, R.
 
  - 
Cheiney:1991:FQN, 525(0)23--z
 
  - 
Cheiney:1991:SOP, 566(0)503--z
 
  - 
Chella, A., 549(0)302--z, 549(0)332--z, 549(0)385--z
 
  - 
Chella, A.,  see Ardizzone, E., 
		 see Gioiello, M.
 
  - 
Chemical, 497(0)645--z, 507(0)392--z
 
  - 
Chen, C. C.-Y., 497(0)443--z
 
  - 
Chen, C. C.-Y.,  see Das, S. K.
 
  - 
Chen, G. T. Y., 511(0)132--z
 
  - 
Chen, G. T. Y.,  see Pelizzari, C. A.
 
  - 
Chen, G.-H., 497(0)44--z
 
  - 
Chen, G.-H.,  see Hung, Y.-C.
 
  - 
Chen, Huo-Wang, 560(0)57--z
 
  - 
Chen, Huo-Wang,  see Tan, Qing-Ping
 
  - 
Chen, I-M. A., 542(0)112--z
 
  - 
Chen, J., 497(0)169--z, 542(0)490--z
 
  - 
Chen, L., 497(0)383--z
 
  - 
Chen, T. C., 532(0)207--z
 
  - 
Chen, W., 528(0)287--z, 566(0)147--z
 
  - 
Chen, W.-T., 497(0)350--z
 
  - 
Chen, W.-T.,  see Yang, C.-B.
 
  - 
Chen,  Wu, I-, 557(0)229--z
 
  - 
Chen:1991:ADO, 542(0)112--z
 
  - 
Chen:1991:CPA, 528(0)287--z
 
  - 
Chen:1991:DSE, 566(0)147--z
 
  - 
Chen:1991:GEC, 532(0)207--z
 
  - 
Chen:1991:LTN, 497(0)383--z
 
  - 
Chen:1991:SSL, 542(0)490--z
 
  - 
Chen:1991:SSP, 497(0)169--z
 
  - 
Cheng, J., 499(0)125--z
 
  - 
Cheng:1991:AAT, 499(0)125--z
 
  - 
Cheong, P. H., 528(0)359--z
 
  - 
Cheong:1991:EIS, 528(0)359--z
 
  - 
Chepyzhov, Vladimir, 547(0)176--z
 
  - 
Chepyzhov:1991:FCA, 547(0)176--z
 
  - 
Chereshkin, D., 504(0)443--z
 
  - 
Chereshkin:1991:IRS, 504(0)443--z
 
  - 
Cherniavsky, V., 565(0)148--z
 
  - 
Cherniavsky, V.,  see Makhaniok, M.
 
  - 
Chernoff, 514(0)364--z
 
  - 
Cherubini, A., 571(0)131--z
 
  - 
Cherubini, A.,  see Breveglieri, L.
 
  - 
Chess, 537(0)169--z
 
  - 
Chih-Ming, Lin, 506(0)331--z
 
  - 
Chih-Ming, Lin,  see Gaudiot, J.-L.
 
  - 
Chin, F. Y. L., 557(0)241--z
 
  - 
Chin, F. Y. L.,  see Chan, M. Y.
 
  - 
Chinese, 508(0)155--z
 
  - 
Chip, 510(0)697--z
 
  - 
Chittaro, L., 549(0)167--z
 
  - 
Chittaro, L.,  see Brajnik, G.
 
  - 
Chiueh, Tzi-cker, 523(0)520--z
 
  - 
Chiueh:1991:ATC, 523(0)520--z
 
  - 
Chlebus, B. S., 529(0)190--z
 
  - 
Chlebus:1991:UBS, 529(0)190--z
 
  - 
Choi, H., 542(0)226--z
 
  - 
Choi, H.,  see Richards, B.
 
  - 
choice, 483(0)243--z, 524(0)118--z, 527(0)172--z
 
  - 
Choice, Parallel-, 529(0)297--z
 
  - 
Chordal, 497(0)372--z, 557(0)52--z
 
  - 
Chosen, 576(0)433--z, 576(0)445--z
 
  - 
Chou, T. S.-C., 542(0)276--z
 
  - 
Chou, T. S.-C.,  see Winslett, M.
 
  - 
Choulet, C., 521(0)136--z
 
  - 
Choulet, C.,  see Bobrowicz, O.
 
  - 
Christian, P. E., 511(0)45--z
 
  - 
Christian, P. E.,  see Clack, R.
 
  - 
Christoff, I., 575(0)310--z
 
  - 
Christoff, I.,  see Christoff, L.
 
  - 
Christoff, L., 575(0)310--z
 
  - 
Christoff:1991:EAV, 575(0)310--z
 
  - 
Christoph, M., 496(0)221--z
 
  - 
Christoph, M.,  see Hoffmann, K. H.
 
  - 
Chromatic, 507(0)15--z
 
  - 
Chu, B.-T. B., 542(0)183--z
 
  - 
Chu:1991:RCC, 542(0)183--z
 
  - 
Chuang, Chih-Chwen C., 537(0)140--z
 
  - 
Chuang:1991:MER, 537(0)140--z
 
  - 
Chun,  Chao, Meng-, 507(0)242--z
 
  - 
Chun-Hung, Tzeng, 507(0)58--z
 
  - 
Chun-Hung:1991:MMU, 507(0)58--z
 
  - 
Chung, H., 539(0)118--z
 
  - 
Chung,  Kong, Hwa-, 516(0)100--z
 
  - 
Chung, L., 498(0)5--z
 
  - 
Chung, P., 548(0)141--z
 
  - 
Chung, P.,  see Correa da Silva, F. S.
 
  - 
Chung:1991:NGH, 539(0)118--z
 
  - 
Chung:1991:RUN, 498(0)5--z
 
  - 
Chytil, M. P., 532(0)157--z
 
  - 
Chytil, M. P.,  see Brandenburg, F. J.
 
  - 
Ciancaglini,  Mariangiola, Dezani-, 526(0)651--z
 
  - 
CICS, 551(0)588--z
 
  - 
CIM, 509(0)109--z
 
  - 
Cipher, 473(0)204--z, 473(0)361--z, 537(0)530--z, 537(0)601--z, 
		537(0)627--z, 547(0)17--z, 547(0)176--z, 547(0)458--z, 561(0)1--z
 
  - 
Ciphertext, 576(0)433--z, 576(0)445--z
 
  - 
circle, 497(0)383--z
 
  - 
circuit, 483(0)210--z, 496(0)75--z, 507(0)313--z, 529(0)220--z, 
		529(0)230--z, 529(0)240--z, 531(0)33--z, 531(0)86--z, 531(0)343--z, 
		537(0)582--z, 539(0)183--z, 542(0)620--z, 544(0)217--z, 557(0)94--z, 
		560(0)307--z, 575(0)354--z, 575(0)410--z, 576(0)420--z
 
  - 
Circular-Arc, 519(0)41--z
 
  - 
Circumscription, 533(0)289--z
 
  - 
Citizens, 523(0)636--z
 
  - 
Citrini, C., 529(0)146--z
 
  - 
Citrini, C.,  see Breveglieri, L.
 
  - 
Clack, R., 511(0)45--z
 
  - 
Clack:1991:CBS, 511(0)45--z
 
  - 
Clarity, 527(0)361--z
 
  - 
Clarke, Edmund M., 531(0)1--z
 
  - 
Clarke, M., 548(0)48--z
 
  - 
Clarke:1991:EAB, 548(0)48--z
 
  - 
Clarke:1991:TLM, 531(0)1--z
 
  - 
class, 483(0)436--z, 497(0)66--z, 502(0)33--z, 507(0)322--z, 
		507(0)364--z, 508(0)164--z, 512(0)377--z, 514(0)222--z, 519(0)20--z, 
		519(0)331--z, 520(0)191--z, 523(0)1--z, 523(0)636--z, 533(0)128--z, 
		536(0)245--z, 537(0)134--z, 551(0)675--z, 553(0)103--z, 
		557(0)229--z, 560(0)172--z, 560(0)261--z
 
  - 
Class, First-, 506(0)254--z
 
  - 
Classical, 522(0)13--z
 
  - 
Classical, Non-, 567(0)366--z
 
  - 
classification, 507(0)91--z, 508(0)267--z, 511(0)300--z, 511(0)434--z, 
		541(0)250--z, 542(0)286--z, 542(0)389--z, 548(0)115--z, 
		548(0)227--z, 550(0)290--z, 553(0)57--z, 566(0)371--z
 
  - 
classifier, 496(0)284--z, 496(0)331--z, 496(0)338--z, 507(0)118--z, 
		549(0)218--z
 
  - 
Clausal, 516(0)246--z, 534(0)204--z
 
  - 
Clause, 516(0)181--z, 516(0)454--z, 533(0)128--z
 
  - 
clauses, 510(0)267--z, 516(0)14--z, 516(0)162--z, 527(0)281--z, 
		535(0)84--z, 542(0)580--z, 567(0)417--z
 
  - 
Clean, 506(0)202--z
 
  - 
Cleave,  N., Van, 507(0)329--z
 
  - 
Cleaveland, R., 510(0)127--z, 575(0)48--z
 
  - 
Cleaveland, Rance, 531(0)364--z
 
  - 
Cleaveland:1991:AEB, 531(0)364--z
 
  - 
Cleaveland:1991:CBR, 510(0)127--z
 
  - 
Cleaveland:1991:LTM, 575(0)48--z
 
  - 
Clegg, M., 527(0)526--z
 
  - 
Clegg, M.,  see Valmari, A.
 
  - 
Clement, Dominique, 509(0)167--z
 
  - 
Clement, T., 551(0)63--z
 
  - 
Clement:1991:CTP, 551(0)63--z
 
  - 
Clement:1991:ISC, 509(0)167--z
 
  - 
Clerici, S., 534(0)31--z
 
  - 
Clerici:1991:SLG, 534(0)31--z
 
  - 
Cleve, Richard, 537(0)530--z
 
  - 
Cleve:1991:CTI, 537(0)530--z
 
  - 
Client-Server, 497(0)535--z
 
  - 
Clifton, Christopher, 503(0)63--z
 
  - 
Clifton, Christopher,  see Garcia-Molina, Hector
 
  - 
Clock, 571(0)217--z
 
  - 
Clock-Controlled, 473(0)487--z
 
  - 
CLOS, 504(0)422--z
 
  - 
Closed, 548(0)282--z, 566(0)503--z
 
  - 
Closely, 563(0)44--z
 
  - 
Closest, 557(0)364--z
 
  - 
Closure, 497(0)197--z, 503(0)44--z, 529(0)210--z, 576(0)183--z
 
  - 
CLPS, 528(0)431--z
 
  - 
Cluster, 521(0)479--z
 
  - 
Clustering, 525(0)207--z, 553(0)265--z
 
  - 
{CM}-Curves, 576(0)279--287
 
  - 
CMSash, 515(0)34--z
 
  - 
Coarse-grained, 528(0)407--z
 
  - 
Coates-Stephens, S., 542(0)306--z
 
  - 
Coates-Stephens:1991:AAP, 542(0)306--z
 
  - 
Coburn, N., 566(0)312--z
 
  - 
Coburn:1991:PCG, 566(0)312--z
 
  - 
code, 473(0)283--z, 473(0)306--z, 499(0)304--z, 506(0)454--z, 
		507(0)179--z, 508(0)24--z, 508(0)59--z, 508(0)71--z, 508(0)122--z, 
		508(0)164--z, 510(0)575--z, 512(0)325--z, 514(0)2--z, 514(0)6--z, 
		514(0)21--z, 514(0)30--z, 514(0)42--z, 514(0)60--z, 514(0)65--z, 
		514(0)87--z, 514(0)94--z, 514(0)106--z, 514(0)126--z, 514(0)135--z, 
		514(0)150--z, 514(0)158--z, 514(0)242--z, 514(0)259--z, 
		514(0)271--z, 514(0)309--z, 514(0)320--z, 520(0)308--z, 523(0)73--z, 
		523(0)592--z, 528(0)207--z, 532(0)157--z, 533(0)300--z, 539(0)19--z, 
		539(0)39--z, 539(0)118--z, 539(0)140--z, 539(0)183--z, 539(0)218--z, 
		539(0)234--z, 539(0)246--z, 539(0)259--z, 539(0)333--z, 
		539(0)340--z, 539(0)360--z, 539(0)384--z, 539(0)403--z, 
		539(0)426--z, 539(0)477--z, 547(0)517--z, 550(0)332--z, 
		571(0)375--z, 576(0)62--73, 576(0)74--85
 
  - 
coded, 508(0)122--z, 508(0)132--z, 514(0)271--z, 514(0)364--z, 
		539(0)434--z
 
  - 
Coded, Error-, 508(0)46--z
 
  - 
codes, block-, 514(0)76--z
 
  - 
codeword, 514(0)309--z
 
  - 
coding, 496(0)70--z, 496(0)75--z, 507(0)170--z, 508(0)144--z, 
		514(0)282--z, 514(0)298--z, 514(0)337--z, 539(0)241--z, 
		552(0)398--z
 
  - 
coding, modulation-, 514(0)350--z
 
  - 
Cody, W. F., 525(0)423--z
 
  - 
Cody, W. F.,  see Haas, L. M.
 
  - 
Coen-Porisini, A., 550(0)266--z
 
  - 
Coen-Porisini:1991:SES, 550(0)266--z
 
  - 
Coenen, J., 571(0)33--z
 
  - 
Coenen:1991:CSF, 571(0)33--z
 
  - 
Coercive, 523(0)29--z
 
  - 
Coesmans, P., 571(0)571--z
 
  - 
Coesmans:1991:FSF, 571(0)571--z
 
  - 
Coghlan, B., 563(0)171--z
 
  - 
Coghlan, B.,  see Horn, C.
 
  - 
Cognition, 496(0)472--z
 
  - 
cognitive, 535(0)48--z, 541(0)120--z, 542(0)560--z, 565(0)274--z
 
  - 
Cohen, G., 539(0)159--z
 
  - 
Cohen, G.,  see van Eijl, C.
 
  - 
Cohen, G. D., 508(0)1--z, 514(0)94--z
 
  - 
Cohen, M. E., 521(0)588--z
 
  - 
Cohen:1991:CRW, 508(0)1--z
 
  - 
Cohen:1991:MDA, 521(0)588--z
 
  - 
Cohen:1991:UED, 514(0)94--z
 
  - 
Coherence, 526(0)675--z, 530(0)121--z, 575(0)83--z
 
  - 
Coherent, 514(0)106--z
 
  - 
Cohoon, J. P., 496(0)134--z
 
  - 
Cohoon:1991:GAP, 496(0)134--z
 
  - 
coin, 537(0)49--z, 537(0)253--z
 
  - 
coincidence, 511(0)8--z
 
  - 
Colchester, A. C. F., 511(0)256--z
 
  - 
Colchester, A. C. F.,  see Griffin, L. D.
 
  - 
COLD-1, 550(0)101--z, 551(0)106--z
 
  - 
COLD-K, 551(0)279--z
 
  - 
Cole, R., 563(0)202--z
 
  - 
Cole:1991:SIS, 563(0)202--z
 
  - 
Coleman, R., 511(0)94--z
 
  - 
Coleman, R.,  see Liang, Z.
 
  - 
Coleman, William P., 507(0)406--z
 
  - 
Coleman:1991:LSN, 507(0)406--z
 
  - 
Coletti, G., 521(0)106--z, 548(0)135--z
 
  - 
Coletti:1991:AQJ, 548(0)135--z
 
  - 
Coletti:1991:CEV, 521(0)106--z
 
  - 
Collaboration, 536(0)245--z
 
  - 
Collage, 532(0)411--z
 
  - 
Collapsed, 526(0)495--z
 
  - 
Collapsing, 510(0)393--z, 530(0)53--z
 
  - 
Collection, 505(0)137--z, 505(0)150--z, 523(0)520--z, 533(0)110--z, 
		569(0)17--z
 
  - 
Collective, 537(0)253--z, 565(0)388--z
 
  - 
Collector, 544(0)137--z
 
  - 
collimator, 511(0)8--z
 
  - 
Collins, D. L., 511(0)65--z
 
  - 
Collins, D. L.,  see Henri, C. J.
 
  - 
Collins, R. J., 496(0)259--z
 
  - 
Collins, T., 550(0)409--z
 
  - 
Collins:1991:ANN, 496(0)259--z
 
  - 
Collins:1991:TOO, 550(0)409--z
 
  - 
Collision, 473(0)326--z, 553(0)309--z
 
  - 
Colom, J. M., 483(0)79--z, 483(0)113--z
 
  - 
Colom:1991:CGS, 483(0)79--z
 
  - 
Colom:1991:ILB, 483(0)113--z
 
  - 
Colombini, C., 499(0)384--z
 
  - 
Colombini:1991:AHL, 499(0)384--z
 
  - 
Color-Exchange, 507(0)22--z
 
  - 
colored, 506(0)110--z, 524(0)58--z, 524(0)227--z
 
  - 
Colored, Edge-, 557(0)190--z
 
  - 
Coloring, 497(0)90--z, 507(0)22--z
 
  - 
Colorni, A., 496(0)55--z
 
  - 
Colorni:1991:GAH, 496(0)55--z
 
  - 
coloured, 483(0)313--z, 483(0)342--z
 
  - 
colposcopic, 511(0)434--z
 
  - 
Coma, J. R., 508(0)164--z
 
  - 
Coma:1991:CIB, 508(0)164--z
 
  - 
combination, 498(0)319--z, 521(0)24--z, 525(0)5--z
 
  - 
Combinator, 506(0)349--z
 
  - 
Combinatorial, 521(0)578--z, 539(0)426--z, 557(0)208--z, 565(0)398--z, 
		576(0)62--73
 
  - 
Combinatorics, 557(0)218--z
 
  - 
combinatory, 520(0)387--z
 
  - 
Combined, 508(0)86--z, 516(0)307--z
 
  - 
Combiners, 473(0)204--z
 
  - 
Combining, 509(0)18--z, 542(0)92--z, 542(0)246--z, 550(0)229--z, 
		551(0)63--z
 
  - 
Come, 546(0)14--z
 
  - 
Command, 505(0)372--z, 507(0)371--z
 
  - 
commercial, 509(0)114--z, 567(0)32--z
 
  - 
Commitment, 537(0)49--z, 548(0)305--z
 
  - 
Common, 497(0)455--z
 
  - 
Communicating, 527(0)61--z, 531(0)243--z, 551(0)149--z, 571(0)451--z, 
		575(0)114--z
 
  - 
communication, 483(0)457--z, 497(0)350--z, 497(0)403--z, 498(0)141--z, 
		503(0)275--z, 506(0)148--z, 507(0)234--z, 512(0)133--z, 
		514(0)350--z, 514(0)378--z, 527(0)111--z, 531(0)96--z, 534(0)11--z, 
		537(0)62--z, 560(0)360--z, 569(0)159--z, 571(0)149--z, 571(0)473--z, 
		576(0)232--241
 
  - 
communications, 497(0)24--z
 
  - 
commutations, 520(0)406--z
 
  - 
Commutations-Decidability, Semi-, 510(0)229--z
 
  - 
commutative, 483(0)146--z, 510(0)242--z, 535(0)185--z
 
  - 
commutative, associative-, 520(0)287--z
 
  - 
Commutative, Non-, 547(0)482--z
 
  - 
Comon, H., 510(0)469--z
 
  - 
Comon:1991:CAS, 510(0)469--z
 
  - 
Compact, 497(0)395--z, 533(0)195--z
 
  - 
Compaction, 555(0)152--z
 
  - 
Comparability, 497(0)383--z
 
  - 
comparative, 483(0)79--z, 496(0)445--z, 499(0)260--z
 
  - 
Comparing, 575(0)466--z
 
  - 
comparison, 473(0)487--z, 511(0)386--z, 514(0)350--z, 519(0)1--z, 
		521(0)41--z, 525(0)277--z, 527(0)127--z, 537(0)576--z, 
		537(0)576--z--1, 545(0)330--z, 547(0)527--z, 551(0)279--z, 
		566(0)263--z
 
  - 
Comparison-Efficient, 557(0)273--z
 
  - 
Compatibility, 516(0)407--z
 
  - 
Compete, 567(0)383--z
 
  - 
Competitive, 519(0)240--z, 569(0)132--z
 
  - 
Competitiveness, 557(0)284--z
 
  - 
compilation, 497(0)185--z, 497(0)462--z, 499(0)87--z, 524(0)296--z, 
		528(0)287--z, 549(0)208--z, 549(0)440--z, 567(0)287--z
 
  - 
Compiler, 502(0)529--z, 507(0)419--z, 528(0)135--z, 528(0)425--z, 
		534(0)362--z, 545(0)380--z, 551(0)675--z, 551(0)697--z
 
  - 
Compiler-Controlled, 523(0)50--z
 
  - 
Compiling, 516(0)320--z, 567(0)41--z
 
  - 
complement, 520(0)287--z
 
  - 
Complementarity, 538(0)1--z, 565(0)21--z
 
  - 
Complete, 510(0)469--z, 522(0)100--z, 526(0)204--z, 557(0)190--z, 
		560(0)242--z, 567(0)67--z, 576(0)24--z
 
  - 
Complete, Block-, 507(0)34--z
 
  - 
Complete, NP-, 496(0)70--z
 
  - 
complete, {P}-, 510(0)556--z
 
  - 
Completely, 508(0)164--z, 539(0)360--z
 
  - 
Completeness, 516(0)272--z, 527(0)376--z, 542(0)600--z
 
  - 
completion, 510(0)279--z, 510(0)751--z, 516(0)162--z, 516(0)181--z, 
		516(0)206--z, 516(0)233--z, 534(0)1--z, 534(0)117--z, 534(0)266--z
 
  - 
complex, 496(0)445--z, 503(0)71--z, 512(0)288--z, 514(0)222--z, 
		520(0)131--z, 525(0)319--z, 525(0)361--z, 548(0)262--z, 
		549(0)435--z, 551(0)658--z, 560(0)57--z, 565(0)21--z, 566(0)226--z
 
  - 
complexity, 473(0)174--z, 473(0)189--z, 496(0)405--z, 497(0)300--z, 
		497(0)582--z, 502(0)111--z, 502(0)565--z, 505(0)209--z, 
		505(0)252--z, 505(0)288--z, 507(0)1--z, 508(0)197--z, 508(0)322--z, 
		510(0)229--z, 510(0)615--z, 514(0)205--z, 519(0)1--z, 520(0)259--z, 
		523(0)15--z, 524(0)48--z, 525(0)3--z, 526(0)459--z, 526(0)615--z, 
		529(0)86--z, 529(0)157--z, 529(0)200--z, 529(0)220--z, 529(0)318--z, 
		529(0)395--z, 531(0)253--z, 533(0)17--z, 533(0)300--z, 537(0)530--z, 
		539(0)281--z, 539(0)352--z, 547(0)114--z, 547(0)153--z, 
		547(0)168--z, 547(0)337--z, 557(0)190--z, 560(0)121--z, 
		560(0)152--z, 560(0)172--z, 560(0)212--223, 565(0)364--z, 
		575(0)343--z, 576(0)232--241
 
  - 
Component, 499(0)362--z, 509(0)167--z, 510(0)339--z, 512(0)148--166, 
		528(0)39--z, 544(0)49--z, 546(0)659--z
 
  - 
Composite, 473(0)481--z
 
  - 
composition, 483(0)457--z, 498(0)50--z, 510(0)93--z, 520(0)406--z, 
		524(0)93--z, 524(0)277--z, 534(0)52--z, 550(0)409--z, 575(0)169--z
 
  - 
Compositional, 502(0)478--z, 526(0)204--z, 527(0)172--z, 527(0)220--z, 
		531(0)96--z, 531(0)186--z, 558(0)1--z, 571(0)33--z, 571(0)307--z, 
		575(0)24--z
 
  - 
Compound, 507(0)213--z
 
  - 
comprehensibility, 542(0)358--z
 
  - 
Comprehensions, 523(0)569--z
 
  - 
Compressible, 537(0)639--z
 
  - 
Compression, 507(0)170--z, 511(0)501--z, 541(0)250--z, 547(0)266--z, 
		555(0)69--z
 
  - 
Computability, 566(0)244--z
 
  - 
computation, 483(0)79--z, 497(0)55--z, 497(0)197--z, 497(0)520--z, 
		502(0)213--z, 505(0)6--z, 505(0)69--z, 510(0)393--z, 510(0)520--z, 
		514(0)6--z, 519(0)92--z, 521(0)413--z, 529(0)22--z, 531(0)44--z, 
		532(0)446--z, 533(0)195--z, 535(0)59--z, 535(0)244--z, 537(0)77--z, 
		537(0)134--z, 537(0)616--618, 539(0)65--z, 539(0)195--z, 
		539(0)281--z, 539(0)352--z, 539(0)390--z, 539(0)456--z, 
		553(0)171--z, 566(0)478--z, 567(0)124--z, 571(0)259--z, 
		575(0)214--z, 576(0)392--z
 
  - 
computational, 500(0)3--z, 505(0)252--z, 507(0)1--z, 507(0)433--z, 
		510(0)60--z, 510(0)686--z, 520(0)426--z, 525(0)5--z, 529(0)89--z, 
		529(0)200--z, 531(0)54--z, 547(0)96--z, 549(0)261--z, 565(0)315--z
 
  - 
computed, 511(0)45--z
 
  - 
computer, 497(0)24--z, 502(0)433--z, 507(0)154--z, 524(0)188--z, 
		526(0)226--z, 531(0)312--z, 532(0)207--z, 536(0)149--z, 
		548(0)328--z, 549(0)322--z, 551(0)685--z, 555(0)132--z, 
		555(0)283--z, 555(0)371--z, 557(0)219--z, 564-0-viii, 565(0)103--z
 
  - 
Computer, Human-, 555(0)256--z
 
  - 
Computer-Aided, 531(0)214--z
 
  - 
Computerized, 576(0)405--z
 
  - 
Computing, 497(0)33--z, 497(0)535--z, 503(0)99--z, 505(0)25--z, 
		505(0)34--z, 507(0)350--z, 508(0)222--z, 510(0)127--z, 510(0)327--z, 
		510(0)649--z, 510(0)707--z, 519(0)54--z, 519(0)331--z, 519(0)412--z, 
		519(0)437--z, 525(0)381--z, 529(0)157--z, 532(0)549--z, 
		532(0)688--z, 536(0)129--z, 539(0)94--z, 547(0)281--z, 548(0)219--z, 
		553(0)203--z, 560(0)186--z, 560(0)369--z, 563(0)63--z, 563(0)109--z, 
		563(0)233--z, 575(0)13--z, 576(0)377--z
 
  - 
concatenated, 514(0)2--z, 514(0)259--z
 
  - 
Concatenation, 508(0)122--z
 
  - 
concept, 473(0)487--z, 496(0)124--z, 501(0)25--z, 504(0)437--z, 
		528(0)159--z, 535(0)99--z, 545(0)330--z, 546(0)143--z, 549(0)58--z, 
		549(0)88--z, 549(0)198--z, 550(0)23--z, 563(0)119--z, 565(0)94--z, 
		567(0)87--z, 567(0)411--z
 
  - 
Concept-Based, 567(0)107--z
 
  - 
Conceptual, 497(0)669--z, 498(0)393--z, 498(0)561--z, 521(0)165--z, 
		548(0)3--z, 567(0)41--z
 
  - 
conceptualizations, 542(0)236--z
 
  - 
concerning, 520(0)221--z, 537(0)530--z, 547(0)294--z
 
  - 
Concise, 567(0)141--z
 
  - 
Conclog, 564-0-viii
 
  - 
Concrete, 567(0)411--z
 
  - 
concurrency, 506(0)59--z, 516(0)64--z, 520(0)43--z, 520(0)377--z, 
		527(0)439--z, 527(0)455--z, 551(0)324--z, 575(0)147--z
 
  - 
concurrent, 505(0)288--z, 506(0)92--z, 506(0)202--z, 507(0)154--z, 
		512(0)148--166, 512(0)231--z, 516(0)320--z, 527(0)43--z, 
		532(0)475--z, 539(0)183--z, 551(0)9--z, 555(0)54--z, 564-0-viii, 
		567(0)279--z, 571(0)529--z, 575(0)37--z, 575(0)92--z
 
  - 
condition, 516(0)418--z, 529(0)136--z, 531(0)353--z
 
  - 
Conditional, 516(0)2--z, 516(0)51--z, 516(0)64--z, 516(0)194--z, 
		516(0)272--z, 516(0)295--z, 516(0)454--z, 521(0)31--z, 521(0)106--z, 
		527(0)142--z, 548(0)33--z, 548(0)135--z
 
  - 
Cone, 511(0)45--z
 
  - 
Confidence, 521(0)562--z
 
  - 
Configurable, 509(0)233--z
 
  - 
configuration, 506(0)313--z, 532(0)660--z, 549(0)157--z, 550(0)1--z
 
  - 
configuring, 520(0)211--z
 
  - 
Confirmation, 473(0)326--z
 
  - 
Confirmatory, 511(0)397--z
 
  - 
Conflict-Free, 497(0)350--z
 
  - 
Conflicting, 521(0)41--z
 
  - 
Confluence, 516(0)127--z, 516(0)295--z, 526(0)731--z, 541(0)151--z
 
  - 
Confluent, 510(0)229--z, 510(0)291--z, 539(0)292--z
 
  - 
Conformational, 496(0)90--z
 
  - 
Confront, 571(0)429--z
 
  - 
Congruence, 510(0)532--z
 
  - 
conjunction, 520(0)64--z
 
  - 
conjunctive, 549(0)98--z
 
  - 
Connected, Mesh-, 497(0)418--z, 560(0)336--z
 
  - 
connection, 522(0)39--z, 535(0)156--z
 
  - 
Connectionist, 521(0)578--z, 565(0)219--z
 
  - 
Connectionist-Like, 567(0)199--z
 
  - 
connectivity, 519(0)273--z, 520(0)259--z, 521(0)165--z
 
  - 
Conquer, Divide-and-, 557(0)229--z, 565(0)121--z
 
  - 
Conrad, J. M., 542(0)500--z
 
  - 
Conrad:1991:SPA, 542(0)500--z
 
  - 
Conradi, R., 498(0)375--z
 
  - 
Conradi:1991:CTW, 498(0)375--z
 
  - 
cons, 542(0)560--z
 
  - 
Consciousness, 565(0)1--z
 
  - 
Consecutive, 566(0)478--z
 
  - 
Consel, C., 528(0)135--z
 
  - 
Consel, Charles, 523(0)496--z
 
  - 
Consel:1991:BSS, 523(0)496--z
 
  - 
Consel:1991:SDG, 528(0)135--z
 
  - 
consequence, 514(0)42--z
 
  - 
Consequential, 563(0)34--z
 
  - 
consideration, 533(0)80--z, 547(0)294--z, 565(0)183--z
 
  - 
Considered, 534(0)323--z
 
  - 
consistency, 507(0)132--z, 512(0)97--z, 516(0)194--z, 521(0)337--z, 
		529(0)105--z, 541(0)195--z, 542(0)500--z, 551(0)45--z, 551(0)693--z, 
		563(0)56--z, 566(0)167--z, 567(0)425--z
 
  - 
Consistency-Checking, 541(0)151--z
 
  - 
consisting, 542(0)92--z
 
  - 
Console, L., 521(0)568--z, 542(0)316--z, 549(0)177--z
 
  - 
Console:1991:DUD, 521(0)568--z
 
  - 
Console:1991:IRB, 542(0)316--z
 
  - 
Console:1991:TID, 549(0)177--z
 
  - 
Constable, Robert L., 526(0)226--z
 
  - 
Constable:1991:TTF, 526(0)226--z
 
  - 
Constant, 560(0)224--z
 
  - 
constants, 542(0)560--z
 
  - 
Constrained, 496(0)55--z, 516(0)424--z
 
  - 
Constrained, Time-, 527(0)408--z
 
  - 
constraint, 496(0)254--z, 497(0)182--z, 503(0)242--z, 510(0)417--z, 
		521(0)50--z, 525(0)161--z, 526(0)420--z, 528(0)75--z, 528(0)111--z, 
		528(0)395--z, 528(0)407--z, 529(0)121--z, 534(0)220--z, 
		535(0)112--z, 541(0)1--z, 541(0)17--z, 541(0)30--z, 542(0)500--z, 
		542(0)610--z, 549(0)78--z, 549(0)98--z, 549(0)117--z, 557(0)43--z, 
		566(0)292--z, 566(0)312--z, 567(0)237--z, 567(0)309--z, 
		567(0)405--z, 569(0)17--z
 
  - 
Constraint-Based, 541(0)45--z, 541(0)60--z
 
  - 
Constraint-based, 548(0)277--z
 
  - 
Constraints-Based, 541(0)264--z
 
  - 
Construct, 473(0)140--z, 507(0)125--z, 528(0)51--z
 
  - 
Constructing, 499(0)362--z, 519(0)400--z, 537(0)156--z, 542(0)441--z, 
		546(0)703--z, 553(0)27--z, 557(0)163--z
 
  - 
construction, 473(0)151--z, 473(0)196--z, 473(0)306--z, 496(0)264--z, 
		502(0)286--z, 502(0)360--z, 504(0)271--z, 508(0)59--z, 508(0)71--z, 
		514(0)87--z, 516(0)262--z, 520(0)249--z, 528(0)425--z, 530(0)173--z, 
		531(0)353--z, 532(0)127--z, 537(0)564--z, 539(0)48--z, 539(0)152--z, 
		539(0)171--z, 539(0)218--z, 539(0)340--z, 545(0)380--z, 
		545(0)460--z, 547(0)431--445, 557(0)349--z, 565(0)67--z, 
		576(0)267--278
 
  - 
Constructor, 497(0)421--z
 
  - 
Containment, 516(0)372--z
 
  - 
Conte, G., 549(0)322--z
 
  - 
Conte, G.,  see Adorni, G.
 
  - 
Content, 497(0)240--z, 497(0)642--z, 546(0)259--z
 
  - 
Content-Addressable, 505(0)338--z
 
  - 
Content-Oriented, 525(0)23--z
 
  - 
contents, 542(0)112--z, 551-0-ix-z, 552-0-ix-z
 
  - 
context, 497(0)240--z, 511(0)474--z, 526(0)131--z, 531(0)204--z, 
		546(0)490--z, 546(0)703--z, 548(0)81--z, 563(0)207--z
 
  - 
Context--Free, 575(0)2--z
 
  - 
Context-Free, 529(0)415--z, 532(0)311--z, 532(0)328--z
 
  - 
context-free, 520(0)249--z, 532(0)253--z, 532(0)538--z, 549(0)271--z
 
  - 
Contextual, 515(0)1--z, 567(0)336--z
 
  - 
Conti, P., 539(0)130--z
 
  - 
Conti:1991:BAI, 539(0)130--z
 
  - 
Continuations, 523(0)241--z, 526(0)513--z
 
  - 
Continuing, 536(0)114--z
 
  - 
continuous, 511(0)94--z, 542(0)183--z, 548(0)267--z
 
  - 
contours, 511(0)188--z
 
  - 
Contracting, 560(0)319--z
 
  - 
Contraction, 497(0)347--z, 529(0)370--z
 
  - 
Contractor, 499(0)326--z
 
  - 
Contradiction, 541(0)105--z
 
  - 
contrast, 511(0)474--z
 
  - 
Control, 496(0)104--z, 499(0)279--z, 507(0)220--z, 508(0)71--z, 
		509(0)69--z, 509(0)167--z, 515(0)1--z, 530(0)74--z, 531(0)282--z, 
		537(0)216--z, 539(0)403--z, 541(0)17--z, 546(0)428--z, 548(0)206--z, 
		571(0)291--z, 576(0)1--z
 
  - 
Control, Flight-, 571(0)237--z
 
  - 
controlled, 504(0)251--z, 524(0)188--z, 536(0)25--z, 565(0)457--z
 
  - 
Controlled, Clock-, 473(0)487--z
 
  - 
Controlled, Compiler-, 523(0)50--z
 
  - 
Controller, 499(0)372--z, 531(0)292--z, 548(0)166--z
 
  - 
Controlling, 569(0)29--z
 
  - 
Conventional, 544(0)3--z
 
  - 
Convergence, 496(0)4--z, 496(0)269--z
 
  - 
Convertible, 537(0)189--z
 
  - 
Convex, 483(0)79--z, 525(0)361--z, 557(0)72--z, 557(0)176--z, 
		557(0)349--z
 
  - 
convolutional, 514(0)242--z, 514(0)259--z, 514(0)271--z, 539(0)183--z
 
  - 
Conway, 507(0)147--z
 
  - 
Conybeare, Roland, 523(0)165--z
 
  - 
Conybeare, Roland,  see Weise, Daniel
 
  - 
cooperating, 498(0)375--z, 535(0)59--z
 
  - 
cooperative, 507(0)111--z, 549(0)354--z
 
  - 
Cooperman, G., 508(0)367--z
 
  - 
Cooperman:1991:ACG, 508(0)367--z
 
  - 
coordination, 546(0)200--z, 549(0)2--z
 
  - 
Coping, 563(0)72--z
 
  - 
Coprocessor, 499(0)147--z
 
  - 
copulative, 549(0)465--z
 
  - 
Copy, 551(0)477--z
 
  - 
Copying-based, 569(0)146--z
 
  - 
Coquand, T., 530(0)164--z
 
  - 
Coquand:1991:DPI, 530(0)164--z
 
  - 
Corbett, J. C., 575(0)92--z
 
  - 
Corbett, J. C.,  see Avrunin, G. S.
 
  - 
Corcoubetis, C., 575(0)454--z
 
  - 
Corcoubetis:1991:ABP, 575(0)454--z
 
  - 
Corfdir,  Anne, Tardy-, 576(0)172--z
 
  - 
Cori, M., 521(0)239--z
 
  - 
Cori:1991:NMR, 521(0)239--z
 
  - 
Cornelis, J., 511(0)205--z
 
  - 
Cornelis, J.,  see Bister, M.
 
  - 
Corporate, 548(0)206--z
 
  - 
Corradini, A., 530(0)236--z, 532(0)221--z
 
  - 
Corradini:1991:AGG, 530(0)236--z
 
  - 
Corradini:1991:GGL, 532(0)221--z
 
  - 
Corrao, A., 549(0)127--z
 
  - 
Corrao, A.,  see Bonarini, A.
 
  - 
Correa da Silva, F. S., 548(0)141--z
 
  - 
CorreadaSilva:1991:ARA, 548(0)141--z
 
  - 
Correct, 507(0)329--z, 527(0)510--z
 
  - 
Correct, CAT-, 515(0)107--z
 
  - 
Correcting, 508(0)59--z, 522(0)88--z, 539(0)118--z, 539(0)403--z
 
  - 
Correcting, Error-, 533(0)300--z
 
  - 
correction, 507(0)77--z, 511(0)34--z, 539(0)456--z
 
  - 
Correction, Error-, 539(0)159--z, 547(0)527--z
 
  - 
Correctly, 521(0)68--z
 
  - 
Correctness, 526(0)459--z, 560(0)109--z, 575(0)277--z
 
  - 
correlated, 514(0)364--z
 
  - 
correlation, 473(0)204--z, 473(0)214--z, 508(0)113--z, 514(0)180--z, 
		547(0)176--z
 
  - 
Correlation, Cross-, 508(0)106--z
 
  - 
Correlation-Immune, 576(0)86--100
 
  - 
CORSAIR, 537(0)502--z, 537(0)502--z--1
 
  - 
Cosmadopoulos, Y., 567(0)301--z
 
  - 
Cosmadopoulos:1991:DDT, 567(0)301--z
 
  - 
Cosmo, R. Di, 510(0)291--z
 
  - 
Cosmo, R. Di,  see Curien, P.-L.
 
  - 
COSMOS, 575(0)299--z
 
  - 
Cosnard, M., 497(0)134--z
 
  - 
Cosnard:1991:TLB, 497(0)134--z
 
  - 
Cost, 510(0)314--z, 560(0)25--z
 
  - 
Costa, E., 541(0)151--z
 
  - 
Costa, E.,  see Cardoso, A.
 
  - 
Costa, G., 520(0)103--z
 
  - 
Costa:1991:ADD, 520(0)103--z
 
  - 
Costantini, S., 549(0)460--z
 
  - 
Costantini:1991:MRA, 549(0)460--z
 
  - 
Coster, Matthijs J., 547(0)54--z
 
  - 
Coster:1991:ILD, 547(0)54--z
 
  - 
Costly, 497(0)117--z
 
  - 
Coteries, 557(0)22--z
 
  - 
Coudert, Olivier, 531(0)23--z
 
  - 
Coudert:1991:VTP, 531(0)23--z
 
  - 
Counterpoint, Point-, 499(0)326--z
 
  - 
Counting, 505(0)150--z, 529(0)45--z
 
  - 
Coupled, 516(0)354--z, 563(0)44--z
 
  - 
coupled, deadline-, 542(0)589--z
 
  - 
Coupled, Loosely-, 506(0)1--z
 
  - 
Couples, 521(0)498--z
 
  - 
Coupling, 498(0)356--z
 
  - 
Courcelle, B., 532(0)38--z, 532(0)70--z, 532(0)238--z, 532(0)253--z
 
  - 
Courcelle, B.,  see Arnborg, S.
 
  - 
Courcelle:1991:CFH, 532(0)253--z
 
  - 
Courcelle:1991:GRS, 532(0)238--z
 
  - 
Courcelle:1991:LEG, 532(0)38--z
 
  - 
Courcoubetis, C., 510(0)115--z, 575(0)399--z
 
  - 
Courcoubetis, C.,  see Alur, R.
 
  - 
Courcoubetis, Costas, 531(0)233--z
 
  - 
Courcoubetis:1991:MEA, 531(0)233--z
 
  - 
Courcoubetis:1991:MMD, 575(0)399--z
 
  - 
Course, 507(0)419--z, 536(0)3--4, 536(0)33--z, 536(0)114--z
 
  - 
Coutaz, Joelle, 550(0)7--z
 
  - 
Coutaz:1991:ADU, 550(0)7--z
 
  - 
Couvreur, J. M., 483(0)146--z
 
  - 
Couvreur:1991:LIC, 483(0)146--z
 
  - 
cover, 507(0)161--z, 519(0)367--z, 560(0)278--z
 
  - 
covering, 508(0)1--z, 514(0)51--z, 514(0)320--z, 539(0)234--z, 
		539(0)426--z, 575(0)169--z
 
  - 
Cpo, 551(0)268--z
 
  - 
Craigen, Dan, 551(0)389--z
 
  - 
Craigen:1991:EO, 551(0)389--z
 
  - 
Created, 496(0)274--z, 497(0)645--z
 
  - 
creation, 549(0)48--z
 
  - 
Creativeness, 560(0)224--z
 
  - 
Creativity, 507(0)98--z
 
  - 
Cremers, A. B., 555(0)54--z
 
  - 
Cremers:1991:ACP, 555(0)54--z
 
  - 
Crépeau, Claude, 537(0)49--z, 547(0)106--z, 576(0)351--z, 
		 see Bennett, Charles H., 
		 see Brassard, Gilles
 
  - 
Crepeau:1991:ROT, 547(0)106--z
 
  - 
Crespi-Reghizzi, S., 529(0)146--z, 571(0)131--z
 
  - 
Crespi-Reghizzi, S.,  see Breveglieri, L.
 
  - 
Creusot, D., 550(0)147--z
 
  - 
Creusot:1991:EEE, 550(0)147--z
 
  - 
Creutzburg, R., 514(0)222--z
 
  - 
Creutzburg:1991:PCF, 514(0)222--z
 
  - 
CREW, 557(0)375--z
 
  - 
CRI RAISE Tools Group, 551(0)689--z
 
  - 
Cristian, F., 563(0)119--z
 
  - 
Cristian:1991:BCI, 563(0)119--z
 
  - 
Criteria, 510(0)314--z, 547(0)141--z, 547(0)352--z
 
  - 
Criteria, Multi-, 521(0)528--z
 
  - 
Criterion, 521(0)337--z, 537(0)564--z
 
  - 
Critical, 497(0)547--z, 499(0)193--z, 529(0)258--z, 534(0)266--z
 
  - 
Critical, Safety-, 571(0)171--z
 
  - 
Critique, 498(0)393--z
 
  - 
Cromartie, R., 511(0)474--z
 
  - 
Cromartie:1991:EAC, 511(0)474--z
 
  - 
Crop, 521(0)548--z
 
  - 
Cross-Correlation, 508(0)106--z
 
  - 
Crossed, 516(0)143--z
 
  - 
crossover, 496(0)38--z, 542(0)409--z
 
  - 
crplus, 560(0)261--z
 
  - 
Cryptanalysis, 473(0)313--z, 473(0)487--z, 537(0)2--z, 537(0)34--z, 
		547(0)1--z, 547(0)17--z, 547(0)68--z, 547(0)422--z, 547(0)532--z, 
		576(0)156--z, 576(0)204--z
 
  - 
Cryptanalytic, 547(0)527--z
 
  - 
Crypto, 547(0)39--53
 
  - 
cryptographic, 473(0)1--z, 473(0)230--z, 473(0)412--z, 473(0)474--z, 
		508(0)379--z, 514(0)180--z, 514(0)227--z, 537(0)366--z, 
		537(0)366--z--1, 537(0)582--z, 537(0)601--z, 547(0)114--z, 
		576(0)24--z, 576(0)279--287, 576(0)405--z
 
  - 
Cryptographically, 576(0)470--z
 
  - 
Cryptography, 473(0)46--z, 473(0)253--z, 473(0)352--z, 537(0)421--z, 
		537(0)515--z, 547(0)302--z, 547(0)498--z
 
  - 
Cryptology, 529(0)16--z, 547(0)482--z
 
  - 
Cryptosystem, 473(0)313--z, 473(0)352--z, 537(0)22--z, 537(0)545--z, 
		547(0)68--z, 547(0)127--z, 547(0)517--z, 547(0)522--z, 547(0)532--z, 
		576(0)204--z
 
  - 
cryptosystems, 473(0)374--z, 537(0)2--z, 537(0)156--z, 537(0)502--z, 
		537(0)502--z--1, 537(0)576--z, 537(0)576--z--1, 547(0)316--z, 
		576(0)183--z, 576(0)242--z, 576(0)267--278
 
  - 
CSP, 527(0)127--z, 551(0)254--z
 
  - 
cube, 507(0)139--z, 520(0)151--z
 
  - 
Cube, -, 507(0)139--z
 
  - 
Cubes, 507(0)8--z
 
  - 
Cubic, 507(0)300--z, 510(0)351--z, 532(0)676--z
 
  - 
Cucker, F., 510(0)556--z
 
  - 
Cucker:1991:TPC, 510(0)556--z
 
  - 
Culik, K., 510(0)600--z, 555(0)69--z
 
  - 
Culik:1991:BOC, 510(0)600--z
 
  - 
Culik:1991:NMI, 555(0)69--z
 
  - 
Cullell,  J., Agusti-, 521(0)269--z
 
  - 
Culler, David E., 523(0)50--z
 
  - 
Culler, David E.,  see Schauser, Klaus Erik
 
  - 
cumulative, 543(0)1--z, 543(0)100--z, 549(0)18--z
 
  - 
Cumulativity, 543(0)13--z, 548(0)305--z
 
  - 
Cunto, W., 519(0)1--z
 
  - 
Cunto:1991:CSC, 519(0)1--z
 
  - 
Cuny, J. E., 532(0)84--z
 
  - 
Cuny, J. E.,  see Bailey, D. A.
 
  - 
Curien, P.-L., 510(0)291--z
 
  - 
Curien, Pierre-Louis, 526(0)731--z
 
  - 
Curien:1991:CRL, 510(0)291--z
 
  - 
Curien:1991:SEC, 526(0)731--z
 
  - 
Curley, T., 499(0)87--z
 
  - 
Curley:1991:ABA, 499(0)87--z
 
  - 
current, 499(0)260--z, 511(0)386--z, 555(0)204--z
 
  - 
Curricula, 536(0)129--z
 
  - 
Curriculum, 536(0)127--z
 
  - 
Curtis, M. C., 499(0)2--z
 
  - 
Curtis:1991:MTS, 499(0)2--z
 
  - 
curve, 508(0)249--z, 514(0)126--z, 537(0)156--z, 539(0)74--z, 
		547(0)316--z, 547(0)328--z, 553(0)37--z, 576(0)252--266
 
  - 
Curved, 539(0)368--z
 
  - 
Curves, {CM}-, 576(0)279--287
 
  - 
Cusack, Elspeth, 512(0)167--z
 
  - 
Cusack:1991:IOO, 512(0)167--z
 
  - 
Cusick, Thomas W., 537(0)545--z
 
  - 
Cusick:1991:RIC, 537(0)545--z
 
  - 
Cussens, J., 548(0)146--z
 
  - 
Cussens:1991:UDL, 548(0)146--z
 
  - 
Customer, 499(0)326--z
 
  - 
Customization, 506(0)254--z
 
  - 
Cut, 510(0)351--z, 519(0)80--z, 519(0)273--z
 
  - 
Cutello, V., 533(0)95--z
 
  - 
Cutello, V.,  see Cantone, Domenico
 
  - 
Cutting, 533(0)174--z
 
  - 
cycle, 497(0)462--z, 510(0)429--z, 532(0)157--z, 548(0)262--z
 
  - 
cyclic, 539(0)140--z, 547(0)328--z, 549(0)127--z
 
  - 
Czejdo, B., 497(0)207--z
 
  - 
Czejdo, B. D., 497(0)252--z
 
  - 
Czejdo:1991:GSR, 497(0)252--z
 
  - 
Czejdo:1991:MTI, 497(0)207--z
 
  - 
Czyzowicz, J., 519(0)214--z
 
  - 
Czyzowicz:1991:IP, 519(0)214--z