Index file section C for lncs1992.bib
Last update: Fri Mar 23 02:19:00 MDT 2018
Return to index directory
C
-
C, 634(0)647--z, 641(0)251--z, 653(0)69--z
-
C++, 612(0)195--z, 634(0)121--z, 637(0)299--z, 637(0)315--z
-
C, ParMod-, 591(0)115--z
-
{C}-Sensitive, 652(0)104--z
-
Cabin, 604(0)421--z
-
Cable, 604(0)276--z
-
Cabral, J., 614(0)84--z
-
Cabral, J., see Almeida, N.
-
Cacace, F., 593(0)105--z
-
Cacace, F., see Zicari, R.
-
Cache, 589(0)313--z, 589(0)328--z, 589(0)344--z, 591(0)1--z, 601(0)91--z,
605(0)211--z, 605(0)735--z, 605(0)751--z
-
Cached, 631(0)130--z
-
Caching, 607(0)224--z
-
{CAD}-Environment, 604(0)680--z
-
CAD-System, 604(0)154--z
-
Cadelli, M., 593(0)187--z
-
Cadelli, M., see Hainaut, J.-L.
-
cadre, 608(0)335--z
-
Caerts, Ch., 591(0)54--z
-
Caerts:1992:PHL, 591(0)54--z
-
Caferra, Ricardo, 607(0)385--z
-
Caferra:1992:SEN, 607(0)385--z
-
CAI, 602(0)271--z, 602(0)441--z
-
Cai, J., 629(0)162--z
-
Cai:1992:PPA, 629(0)162--z
-
Caiger, A., 608(0)405--z
-
Caiger, A., see Brna, P.
-
CAIS-A, 603(0)214--z
-
CAL, 602(0)320--z, 602(0)542--z
-
CAL-Courseware, 602(0)581--z
-
Calas, Christel, 648(0)393--z
-
Calas:1992:GMD, 648(0)393--z
-
CALC, 602(0)16--z
-
calculation, 608(0)132--z, 634(0)319--330
-
Calculi, 592(0)381--z, 607(0)66--z, 620(0)382--z, 652(0)302--z
-
calculus, 592(0)442--z, 596(0)89--z, 598(0)41--z, 598(0)207--z,
600(0)209--z, 602(0)16--z, 607(0)281--z, 607(0)522--z, 609(0)21--z,
612(0)1--z, 612(0)53--z, 613(0)108--z, 620(0)370--z, 620(0)430--z,
623(0)487--z, 624(0)119--z, 624(0)454--z, 632(0)1--z, 633(0)36--z,
633(0)304--z
-
calculus, lambda-, 596(0)193--z, 620(0)246--z, 632(0)350--z
-
Calculus:, lambdamu-, 624(0)190--z
-
Calculus, Mu-, 600(0)176--z
-
Calculus, pi-, 630(0)1--z
-
calibration, 604(0)381--z
-
CALL, 602(0)392--z, 602(0)592--z
-
call, 632(0)84--z, 653(0)175--z
-
Call-by-Value, 598(0)41--z
-
Callahan, D., 589(0)169--z
-
Callahan:1992:RPB, 589(0)169--z
-
CALLGUIDE, 602(0)592--z
-
Calo, A., 620(0)57--z
-
Calo:1992:EFG, 620(0)57--z
-
Calzolari, N., 627(0)235--z
-
Calzolari:1992:ARS, 627(0)235--z
-
CAMEL, 631(0)341--z
-
Camera, 604(0)381--z
-
Camera-Guided, 604(0)381--z
-
Campbell, R., 653(0)175--z
-
Campbell, R., see Sethi, R.
-
Campo, E., Rivera-, 570(0)105--z
-
Campos, G. Lino, de, 634(0)387--z
-
Campos, J., 609(0)352--z
-
Campos:1992:STP, 609(0)352--z
-
Candela, 634(0)777--z
-
Canonical, 624(0)433--z
-
Cantoni, V., 654(0)54--z
-
Cantoni:1992:DOM, 654(0)54--z
-
capability, 604(0)127--z, 608(0)531--z
-
Capacities, 625(0)217--238
-
Capacitors, 602(0)100--z
-
capacity-orientation, 625(0)217--238
-
Capani, A., 632(0)335--z
-
Capani, A., see Giovini, A.
-
Capelli, C., 593(0)105--z
-
Capelli, C., see Zicari, R.
-
Capello, F., 605(0)81--z
-
Capello:1992:PIN, 605(0)81--z
-
Capobianchi, R., 605(0)953--z
-
Capobianchi:1992:CPP, 605(0)953--z
-
Capon, T. J. M., Bench-, 599(0)250--z
-
CAPP, 604(0)284--z
-
Capture, 618(0)29--z, 623(0)223--z
-
Carapuca, R., 593(0)48--z
-
Carapuca, R., see Jesus, L.
-
Carbo, J. M., 602(0)238--z
-
Carbo, J. M., see Gonzalez, J. C.
-
Cardinality, 645(0)7--z, 645(0)24--z
-
Cardow, James E., 640(0)167--z
-
Cardow, James E., see Luginbuhl, David R.
-
Carino, F., 605(0)877--z
-
Carino:1992:EDP, 605(0)877--z
-
Carlo, 634(0)779--z
-
Carmo, J., 620(0)281--z
-
Carmo, J., see Li, R.
-
Carpenter, Maribeth B., 640(0)115--z, 640(0)349--z
-
Carpenter:1992:SCE, 640(0)349--z
-
Carpenter:1992:SPD, 640(0)115--z
-
Carrara, J.-P., 605(0)959--z
-
Carrara:1992:GTP, 605(0)959--z
-
Carriero, N., 589(0)389--z
-
Carriero:1992:FAC, 589(0)389--z
-
Carroll, J. M., 653(0)205--z
-
Carroll:1992:CDS, 653(0)205--z
-
Cartesian, 598(0)259--z
-
Casanova, M. A., 593(0)589--z
-
Casanova:1992:DCM, 593(0)589--z
-
Cascading, 621(0)212--z
-
CASE, 593(0)187--z, 593(0)524--z, 593(0)546--z, 593(0)568--z
-
case, 608(0)40--z, 622(0)125--z, 622(0)134--z, 622(0)139--z,
626(0)272--z, 630(0)317--z, 639(0)1--z, 642(0)26--z, 650(0)489--z,
652(0)128--z, 652(0)229--z
-
Case, Average-, 634(0)133--z
-
Case, J., 620(0)9--z
-
Case, J., see Baliga, G.
-
Case, John, 642(0)1--z, 642(0)129--z
-
CASE, Meta-, 593(0)568--z
-
Case-Based, 604(0)49--z, 604(0)100--z, 608(0)575--z, 622(0)99--z,
622(0)146--z
-
Case:1992:RSK, 642(0)1--z
-
Case:1992:SSL, 642(0)129--z
-
Caspi, P., 605(0)951--z
-
Caspi:1992:DFT, 605(0)951--z
-
Castano, S., 645(0)121--z
-
Castano:1992:CRC, 645(0)121--z
-
Castellani, I., 630(0)108--z
-
Castellani, I., see Boudol, G.
-
Castro, I., Fernandez-, 608(0)661--z
-
CAT, 613(0)218--z
-
Cat, 600(0)676--z
-
Catalogue, 618(0)138--z
-
Catalyst, 599(0)406--z
-
categorical, 620(0)229--z, 623(0)533--z, 631(0)341--z, 646(0)99--z
-
Categorically, 623(0)571--z
-
Categories, {I}-, 620(0)127--z
-
category, 598(0)221--z, 598(0)259--z, 598(0)426--z
-
Catrambone, R., 602(0)74--z
-
Catrambone, R., see Anoskey, A. M.
-
Cattrall, D., 631(0)475--z
-
Cattrall:1992:RPS, 631(0)475--z
-
Caucal, D., 652(0)316--z
-
Caucal:1992:BBC, 652(0)316--z
-
Caught, 608(0)11--z
-
causal, 599(0)318--z, 608(0)217--z, 609(0)21--z
-
Caused, 608(0)395--z
-
Causse, K., 599(0)171--z
-
Causse, K., see Nedellec, C.
-
Caylay, 634(0)839--z
-
CBR, 617(0)1--z
-
CC, 606(0)1--z
-
CC-Paradigm, 629(0)336--z
-
CCC, 606(0)1--z
-
CCITT, 614(0)358--z
-
CCS, 652(0)328--z
-
CCSDS, 634(0)791--z
-
CD-I, 614(0)314--z
-
Ce-Kuen, Shieh, 653(0)175--z
-
Ce-Kuen, Shieh, see Sethi, R.
-
Cellular, 623(0)583--z, 629(0)374--z, 629(0)421--z, 654(0)213--z
-
center, 614(0)185--z, 621(0)106--z
-
Centered, Process-, 635(0)94--z
-
Central, 607(0)35--z
-
Centred, Human-, 611(0)104--z
-
Centred, Process-, 593(0)568--z
-
Ceramic, 604(0)123--z
-
Cerans, K., 620(0)69--z
-
Cerans:1992:FFI, 620(0)69--z
-
CERN-MPPC, 591(0)238--z
-
Cerro, L. Farinas, Del, 649(0)11--z
-
Certification, 648(0)175--z
-
Certified, 652(0)368--z
-
Cervesato, I., 649(0)148--z
-
Cervesato:1992:LMP, 649(0)148--z
-
Cervoni, L., 604(0)401--z
-
Cervoni:1992:STC, 604(0)401--z
-
CG, 634(0)841--z
-
Chachaty, C., 605(0)825--z
-
Chachaty:1992:CAD, 605(0)825--z
-
Chailloux, E., 637(0)218--z
-
Chailloux:1992:CGC, 637(0)218--z
-
chain, 570(0)97--z
-
Chaining, 607(0)552--z, 634(0)713--z
-
Chaining, Forward-, 611(0)238--z
-
challenge, 603(0)230--z, 607(0)239--z, 607(0)786--z, 618(0)1--z,
653(0)253--z, 653(0)331--z
-
Chamski, Z., 605(0)957--z
-
Chamski:1992:GME, 605(0)957--z
-
Chan, P., 614(0)230--z
-
Chan, P., see Anderson, D. P.
-
Chan, T., 608(0)244--z
-
Chan, T.-W., 608(0)140--z, 608(0)643--z
-
Chan, W. S., 650(0)378--z
-
Chan:1992:APC, 650(0)378--z
-
Chan:1992:CEC, 608(0)244--z
-
Chan:1992:CTK, 608(0)140--z
-
Chan:1992:DLC, 608(0)643--z
-
Chang, E., 623(0)474--z
-
Chang, R. C., 650(0)269--z
-
Chang, R. C., see Lee, H. S.
-
Chang, William I., 644(0)172--z
-
Chang:1992:CTP, 623(0)474--z
-
Chang:1992:TEC, 644(0)172--z
-
Change, 629(0)218--z, 633(0)139--z, 635(0)178--z, 639(0)196--z,
649(0)336--z
-
Changing, 639(0)97--z
-
channel, 605(0)635--z, 614(0)160--z, 628(0)67--87, 634(0)791--z
-
Channel, Alpha-, 614(0)148--z
-
Channel, Timing-, 648(0)57--z
-
Channel-Based, 605(0)947--z
-
Chapman, B. M., 591(0)77--z
-
Chapman:1992:KBP, 591(0)77--z
-
characteristic, 629(0)504--z
-
Characteristic-Set-Based, 591(0)338--z
-
Characterization, 620(0)93--z, 623(0)474--z, 623(0)487--z, 629(0)307--z,
642(0)260--z, 643(0)63--66, 654(0)133--z
-
characterizations, 606(0)1--z, 620(0)470--z, 629(0)451--z
-
Characterizing, 605(0)483--z, 629(0)494--z, 650(0)198--z, 650(0)219--z
-
Chari, S., 629(0)172--z
-
Chari:1992:CIC, 629(0)172--z
-
Charlet, J., 599(0)318--z
-
Charlet:1992:CMB, 599(0)318--z
-
Charlier, B., Le, 631(0)217--z, 631(0)311--z
-
Charlier, Baudouin, Le, 648(0)435--z
-
Charot, F., 654(0)1--z
-
Charot:1992:EHT, 654(0)1--z
-
Charrier, P., 634(0)295--z
-
Charrier:1992:PMP, 634(0)295--z
-
Chaudhary, V., 654(0)69--z
-
Chaudhary:1992:PMO, 654(0)69--z
-
Chavel, P., 605(0)231--z, 605(0)963--z
-
Chavel, P., see de Beaucoudrey, N.
-
Chavel:1992:PIO, 605(0)231--z
-
Chazarain, J., 631(0)87--z
-
Chazarain, J., see Attali, I.
-
Chazelle, B., 621(0)364--z, 623(0)439--z
-
Chazelle:1992:DBN, 621(0)364--z
-
Chazelle:1992:LBC, 623(0)439--z
-
Check, Occur-, 624(0)172--z, 631(0)69--z
-
Checker, 607(0)711--z
-
checking, 599(0)337--z, 620(0)347--z, 623(0)696--z, 626(0)35--z,
628(0)88--111, 630(0)123--z, 631(0)158--z
-
Chee, Y. S., 608(0)244--z
-
Chee, Y. S., see Chan, T.
-
Cheese, A., 586(0)1--z
-
Cheese:1992:PEP, 586(0)1--z
-
Chemical, 608(0)669--z
-
CHEMPROF, 608(0)669--z
-
Chen, C. C.-Y., 605(0)131--z
-
Chen, C. C.-Y., see Das, S. K.
-
Chen, F., 605(0)465--z
-
Chen, F., see Jin, G.
-
Chen, G., 634(0)331--z
-
Chen, J., 634(0)539--z
-
Chen, Jingsen, 601(0)1--z
-
Chen, L., 620(0)81--z
-
Chen, M., 589(0)201--z
-
Chen, M., see Lu, L.-C.
-
Chen, M. H., 650(0)21--z
-
Chen, P. P., 645(0)1--z
-
Chen, R. J., 650(0)78--z
-
Chen, R. J., see Chien, B. C.
-
Chen, Wilfred Z., 607(0)552--z
-
Chen, Y.-S., 605(0)211--z
-
Chen, Y.-S., see Dubois, M.
-
Chen:1992:IMR, 620(0)81--z
-
Chen:1992:IPS, 634(0)539--z
-
Chen:1992:LTA, 650(0)21--z
-
Chen:1992:MSP, 601(0)1--z
-
Chen:1992:PHA, 634(0)331--z
-
Chen:1992:TBT, 607(0)552--z
-
Chen:1992:VO, 645(0)1--z
-
Cherief, F., 605(0)843--z
-
Cherief:1992:BFB, 605(0)843--z
-
Chevallier, R., 608(0)58--z
-
Chevallier:1992:SST, 608(0)58--z
-
Chew, 650(0)309--z
-
Chew, L. P., 621(0)318--z
-
Chew:1992:IGP, 621(0)318--z
-
Chia-Hsiang, Chang, 644(0)88--z
-
Chia-Hsiang:1992:RED, 644(0)88--z
-
Chien, B. C., 650(0)78--z
-
Chien:1992:CAL, 650(0)78--z
-
Children, 602(0)417--z, 602(0)503--z
-
Chin, David N., 639(0)318--z
-
Chin, David N., see Futch, Shaun
-
Chin, F., 650(0)378--z
-
Chin, F., see Chan, W. S.
-
Chin, W.-N., 634(0)801--z
-
Chin, W.-N., see Tan, G.
-
Chinese, 607(0)431--z, 648(0)41--z
-
Ching, Chou, Shang-, 607(0)20--z, 607(0)686--z
-
Chiopris, Carlo, 636(0)91--z
-
Chiopris:1992:SBE, 636(0)91--z
-
CHIP, 624(0)507--z
-
Chips, 605(0)515--z
-
Chirimar, J., 626(0)53--z
-
Chirimar, Jawahar, 607(0)711--z, 613(0)165--z
-
Chirimar:1992:ICR, 613(0)165--z
-
Chirimar:1992:PTD, 626(0)53--z
-
Chirimar:1992:XGI, 607(0)711--z
-
chirotopes, 606(0)1--z
-
Choffrut, Ch., 629(0)181--z
-
Choffrut:1992:RTC, 629(0)181--z
-
Choi, S. H., 650(0)219--z
-
Choi:1992:CRV, 650(0)219--z
-
choice, 605(0)947--z, 609(0)89--z, 637(0)330--z
-
Choquet, C., 608(0)148--z
-
Choquet:1992:LUD, 608(0)148--z
-
Choudhary, A., 605(0)751--z
-
Choudhary, A., see Krishnamoorthy, S.
-
Chouraqui, E., 608(0)156--z
-
Chouraqui:1992:RPA, 608(0)156--z
-
Chowdhury, M., 605(0)973--z
-
Chowdhury, M., see Dimopoulos, N. J.
-
Christel, Michael G., 640(0)395--z
-
Christel:1992:EIV, 640(0)395--z
-
Christensen, S., 620(0)93--z, 630(0)138--z, 630(0)148--z
-
Christensen:1992:BED, 630(0)138--z
-
Christensen:1992:DBD, 630(0)148--z
-
Christensen:1992:LCA, 620(0)93--z
-
Christian, Jim, 607(0)582--z
-
Christian:1992:STC, 607(0)582--z
-
Christiansen, H., 649(0)205--z
-
Christiansen:1992:CRM, 649(0)205--z
-
Christoff, I., 652(0)342--z
-
Christoff, I., see Christoff, L.
-
Christoff, L., 652(0)342--z
-
Christoff:1992:RAS, 652(0)342--z
-
Chromatic, 621(0)151--z
-
Chronological, 597(0)57--66, 633(0)25--z
-
Chu, R. W., 608(0)164--z
-
Chu:1992:PDA, 608(0)164--z
-
Chung, F. R. K., 634(0)1--z
-
Chung, F. R. K., see Bhatt, S. N.
-
Chung, I.-L., 608(0)643--z
-
Chung, I.-L., see Chan, T.-W.
-
Church, 626(0)367--z
-
Chwa, K. Y., 650(0)219--z
-
Chwa, K. Y., see Choi, S. H.
-
Cichon, Adam, 607(0)139--z
-
Cichon:1992:PIC, 607(0)139--z
-
Cinar, U., 604(0)139--z
-
Cinar, U., see Borden, A.
-
Cindio, F., De, 609(0)304--z
-
Cinque, L., 654(0)54--z
-
Cinque, L., see Cantoni, V.
-
circle, 621(0)388--z
-
circuit, 594(0)363--z, 600(0)195--z, 604(0)495--z, 608(0)405--z,
621(0)42--z, 623(0)16--z, 634(0)527--z, 650(0)187--z, 650(0)420--z,
652(0)116--z
-
circuit, virtual-, 653(0)175--z
-
Circular, 644(0)241--z, 654(0)260--z
-
Clancey, W. J., 608(0)21--z
-
Clancey:1992:GMR, 608(0)21--z
-
Clark, G., 604(0)69--z
-
Clark:1992:AKB, 604(0)69--z
-
Clarke, Edmund, 607(0)761--765
-
Clarke:1992:ATP, 607(0)761--765
-
class, 570(0)85--z, 609(0)304--z, 618(0)42--z, 620(0)470--z,
623(0)474--z, 629(0)95--z, 630(0)148--z, 642(0)99--z, 642(0)129--z,
642(0)232--z, 645(0)423--z, 650(0)97--z, 650(0)116--z, 650(0)198--z
-
classical, 592(0)361--z, 607(0)385--z, 613(0)71--z, 613(0)89--z,
620(0)105--z, 624(0)30--z, 624(0)190--z, 626(0)326--z, 633(0)52--z
-
classification, 599(0)283--z, 599(0)392--z, 604(0)556--z, 604(0)666--z,
627(0)121--z, 627(0)201--z, 627(0)305--319, 628(0)5--34,
642(0)187--z
-
Classifying, 645(0)121--z
-
Clausal, Non-, 624(0)273--z
-
Clauses, 607(0)477--z
-
Cleanroom, 640(0)380--z
-
clear, 606(0)1--z
-
Cleaveland, R., 623(0)708--z
-
Cleaveland:1992:TPP, 623(0)708--z
-
Clement, D., 602(0)148--z
-
Clement:1992:ECL, 602(0)148--z
-
Clerbout, M., 623(0)113--z
-
Clerbout:1992:SCR, 623(0)113--z
-
Clergerie, E. Villemonte, de la, 631(0)100--z
-
Climent, J., 604(0)185--z
-
Climent, J., see Vila, Ll.
-
Clinical, 636(0)100--z
-
Clint, M., 634(0)355--z, 634(0)761--z, 634(0)787--z
-
Clint, M., see Boyle, J. M.,
see Waring, L. C., \see{Weston, J. S.
-
Clock, 623(0)545--z, 634(0)163--z
-
Close, 634(0)625--z
-
Closed, 598(0)259--z, 598(0)426--z, 619(0)56--z, 634(0)809--z
-
closer, 625(0)131--182
-
Closest, 621(0)340--z
-
closure, 620(0)57--z, 626(0)1--z, 626(0)149--z, 626(0)396--z,
643(0)55--62
-
CLP, 631(0)39--z, 632(0)364--z
-
CLP(PB), 631(0)491--z
-
CLP(Q), 649(0)308--z
-
CLP(R), 631(0)491--z
-
Clues, 639(0)305--z
-
Cluster, 634(0)25--z
-
Clustering, 645(0)62--z
-
CMash, 635(0)18--z
-
CNC, 604(0)641--z
-
CNET, 634(0)115--z, 634(0)841--z
-
Coarse-Grained, 611(0)223--z
-
COCA, 608(0)523--z
-
Cocco, N., 631(0)172--z, 649(0)265--z
-
Cocco, N., see Bossi, A.
-
CODE, 589(0)35--z
-
code, 591(0)127--z, 593(0)278--z, 603(0)47--z, 603(0)60--z, 603(0)80--z,
607(0)416--z, 628(0)51--66, 634(0)821--z, 640(0)395--z,
641(0)163--z, 641(0)278--z, 648(0)57--z
-
Code:, {F}-, 634(0)509--z
-
Codenotti, B., 605(0)725--z
-
Codenotti:1992:RMS, 605(0)725--z
-
Coding, 634(0)809--z
-
Codish, M., 632(0)100--z
-
Codish, M., see Barbuti, R.
-
cognitif, 608(0)483--z
-
COGNITIO, 608(0)244--z
-
Cognition, 608(0)244--z, 622(0)3--z, 622(0)225--z, 639(0)288--z,
642(0)214--z
-
cognitive, 602(0)124--z, 602(0)405--z, 608(0)252--z, 608(0)260--z,
608(0)277--z, 608(0)405--z, 622(0)161--z, 622(0)183--z,
622(0)190--z, 622(0)194--z
-
Cograph, 621(0)94--z
-
Cohen, Edith, 601(0)103--z
-
Cohen, R. F., 621(0)272--z
-
Cohen, R. F., see Bertolazzi, P.
-
Cohen, William W., 642(0)140--z
-
Cohen:1992:DGA, 642(0)140--z
-
Cohen:1992:NAG, 601(0)103--z
-
Coherence, 589(0)344--z, 591(0)1--z
-
Cohn, A. G., 607(0)786--z
-
Cohn, A. G., see Randell, D. A.
-
Cohn, Anthony G., 607(0)178--z, 607(0)633--z
-
Cohn, Anthony G., see Frisch, Alan M.
-
Cohn:1992:MSL, 607(0)633--z
-
coincidence, 641(0)125--z
-
Coker, Sandi, 640(0)360--z
-
Coker:1992:CSE, 640(0)360--z
-
Colbrook, A., 605(0)971--z
-
Colbrook, A., see Weihl, W.
-
Collaborative, 608(0)651--z
-
Collection, 631(0)39--z, 637(0)1--z, 637(0)43--z, 637(0)103--z,
637(0)134--z, 637(0)148--z, 637(0)179--z, 637(0)200--z,
637(0)299--z, 637(0)330--z, 637(0)357--z, 637(0)365--z,
637(0)388--z, 637(0)404--z, 637(0)454--z, 637(0)473--z,
637(0)490--z, 637(0)507--z
-
Collection-Cooperative, 637(0)315--z
-
collections, 637(0)473--z
-
Collector, 637(0)116--z, 637(0)218--z, 637(0)277--z, 637(0)440--z
-
Collette, T., 605(0)147--z
-
Collette:1992:SSC, 605(0)147--z
-
Collier, Ken W., 640(0)324--z
-
Collier, Ken W., see Kantipudi, Manmahesh
-
Collision, 623(0)223--z
-
Collofello, James S., 640(0)324--z
-
Collofello, James S., see Kantipudi, Manmahesh
-
Color, 644(0)227--z
-
coloring, 570(0)135--z, 621(0)284--z, 650(0)61--z
-
Colour, 602(0)405--z
-
Colouring, {K}-, 601(0)207--z
-
combination, 594(0)70--z, 624(0)261--z, 634(0)217--z
-
Combinatorial, 629(0)37--z, 646(0)1--z
-
Combinatorics, 613(0)159--z
-
combinators, 607(0)148--z, 626(0)257--z
-
Combinatory, 598(0)41--z, 607(0)79--z
-
Combine, 621(0)192--z
-
Combined, 645(0)178--z
-
Combining, 592(0)474--z, 604(0)594--z, 605(0)651--z, 607(0)50--z,
641(0)110--z
-
commercial, 607(0)416--z
-
Common, 591(0)369--z, 599(0)75--z, 611(0)49--z, 627(0)121--z,
637(0)490--z, 644(0)52--z, 644(0)77--z, 644(0)211--z, 650(0)469--z
-
Common-Sense, 604(0)25--z
-
Communicating, 598(0)312--z, 605(0)535--z, 605(0)949--z, 605(0)979--z,
620(0)93--z, 623(0)641--z, 629(0)463--z, 630(0)386--z, 634(0)795--z,
650(0)319--z
-
communication, 604(0)256--z, 604(0)304--z, 605(0)115--z, 605(0)347--z,
605(0)769--z, 605(0)947--z, 609(0)21--z, 609(0)152--z, 612(0)21--z,
614(0)148--z, 614(0)171--z, 614(0)217--z, 614(0)255--z,
614(0)358--z, 621(0)165--z, 623(0)605--z, 628(0)67--87, 634(0)43--z,
635(0)61--z, 644(0)202--z
-
Communication-Free, 589(0)186--z
-
Commutations, Semi-, 623(0)113--z, 629(0)412--z
-
Commutative, 634(0)805--z
-
Comon, H., 623(0)392--z, 629(0)191--z
-
Comon:1992:CRS, 623(0)392--z
-
Comon:1992:NEE, 629(0)191--z
-
Compact, 598(0)272--z, 601(0)195--z
-
Companion, 608(0)643--z
-
Company, 640(0)308--z
-
comparative, 605(0)911--z, 622(0)225--z, 626(0)293--z
-
Compare, 599(0)133--z
-
Comparing, 626(0)382--z, 631(0)269--z, 634(0)229--z, 641(0)219--z
-
comparison, 602(0)417--z, 609(0)292--z, 621(0)140--z, 623(0)521--z,
625(0)131--182, 629(0)364--z, 634(0)271--z, 634(0)399--z,
644(0)118--z, 644(0)172--z, 650(0)489--z
-
compatibility, 628(0)67--87
-
Compatible, 643(0)117--127, 643(0)128--132, 643(0)145--155,
643(0)156--160
-
Compatible, Non-, 643(0)141--141
-
Competence, 602(0)392--z
-
Competition, 624(0)226--z
-
Competitive, 650(0)71--z, 650(0)78--z
-
Compilation, 589(0)99--z, 589(0)283--z, 591(0)169--z, 592(0)201--z,
592(0)462--z, 603(0)230--z, 608(0)225--z, 624(0)160--z,
624(0)487--z, 634(0)491--z
-
Compile, 631(0)341--z, 634(0)795--z, 641(0)271--z
-
Compile-Time, 637(0)264--z, 641(0)236--z
-
Compile-time, 589(0)389--z
-
Compiler, 589(0)344--z, 631(0)245--z, 641(0)73--z, 641(0)95--z,
641(0)141--z, 641(0)251--z, 641(0)258--z, 649(0)120--z
-
Compilers, 592(0)349--z, 641(0)110--z
-
Compiling, 592(0)286--z, 641(0)297--z
-
complement, 627(0)219--z
-
Complementation-invariance, 625(0)217--238
-
complete, 570(0)25--z, 570(0)198--z, 572(0)197--z, 605(0)177--z,
620(0)382--z, 631(0)232--z, 633(0)36--z, 649(0)205--z
-
Complete, NP-, 650(0)51--z
-
complete, NP-, 606(0)1--z
-
Completely, 572(0)210--z
-
completeness, 600(0)209--z, 620(0)186--z, 624(0)1--z, 626(0)353--z,
626(0)411--z, 632(0)244--z, 641(0)163--z, 652(0)291--z
-
completion, 572(0)197--z, 607(0)109--z, 623(0)392--z, 624(0)433--z,
632(0)435--z
-
Complex, 593(0)364--z, 594(0)186--z, 601(0)122--z, 604(0)225--z,
604(0)515--z, 604(0)529--z, 608(0)164--z, 613(0)179--z,
629(0)255--z, 641(0)207--z, 645(0)24--z, 646(0)357--z
-
complexity, 570(0)85--z, 570(0)97--z, 570(0)209--z, 594(0)309--z,
601(0)12--z, 601(0)79--z, 607(0)139--z, 613(0)228--z, 620(0)241--z,
621(0)165--z, 623(0)16--z, 623(0)439--z, 623(0)509--z, 626(0)96--z,
626(0)339--z, 629(0)50--z, 629(0)82--z, 629(0)112--z, 629(0)142--z,
629(0)172--z, 629(0)181--z, 629(0)227--z, 634(0)845--z,
650(0)175--z, 650(0)187--z, 650(0)229--z, 650(0)249--z,
650(0)489--z, 652(0)128--z, 652(0)368--z
-
Component, 593(0)290--z, 599(0)373--z, 605(0)245--z, 605(0)261--z,
623(0)354--z, 641(0)110--z
-
Composing, 628(0)123--143
-
Composite, 593(0)327--z, 650(0)229--z
-
composition, 598(0)77--z, 605(0)927--z, 623(0)672--z, 625(0)33--z,
625(0)75--130, 628(0)35--44, 630(0)550--z, 646(0)71--z
-
Compositional, 600(0)252--z, 605(0)825--z, 630(0)207--z, 630(0)456--z,
630(0)550--z
-
Compositionality, 625(0)217--238
-
Comprehensive, 635(0)245--z, 637(0)103--z
-
Compressed, 644(0)88--z
-
Compression, 644(0)190--z
-
Computability, 613(0)228--z
-
computation, 591(0)316--z, 591(0)369--z, 592(0)361--z, 601(0)147--z,
624(0)238--z, 626(0)79--z, 629(0)62--z, 629(0)162--z, 629(0)172--z,
629(0)364--z, 629(0)504--z, 630(0)565--z, 634(0)355--z,
634(0)467--z, 634(0)589--z, 634(0)811--z, 646(0)155--z,
653(0)155--z
-
Computational, 591(0)391--z, 594(0)25--z, 594(0)70--z, 594(0)148--z,
596(0)181--z, 608(0)244--z, 608(0)382--z, 627(0)235--z,
627(0)255--z, 628(0)5--34, 629(0)236--z, 631(0)485--z, 634(0)831--z,
650(0)430--z
-
Compute, 591(0)201--z, 623(0)404--z
-
computed, 632(0)84--z
-
computer, 568-0-x, 592(0)232--z, 602(0)100--z, 602(0)307--z,
602(0)392--z, 602(0)417--z, 605(0)3--z, 605(0)147--z, 617(0)161--z,
623(0)450--z, 624(0)454--z, 628(0)1--4, 634(0)97--z, 634(0)399--z,
634(0)503--z, 634(0)707--z, 634(0)775--z, 636(0)290--z,
640(0)245--z, 640(0)257--z, 640(0)270--z, 642(0)1--z, 648(0)125--z,
653(0)3--z, 653(0)105--z
-
Computer, Human-, 608(0)651--z
-
computer, human-, 653(0)205--z
-
Computer-Based, 602(0)61--z, 608(0)413--z
-
Computer-Supported, 610-0-xii
-
computing, 602(0)405--z, 605(0)231--z, 607(0)253--z, 607(0)786--z,
612(0)99--z, 614(0)57--z, 614(0)209--z, 618(0)1--z, 618(0)96--z,
621(0)62--z, 624(0)381--z, 633(0)357--z, 634(0)181--z, 641(0)312--z,
644(0)241--z, 646(0)113--z, 653(0)19--z, 653(0)279--z, 653(0)339--z
-
Comyn-Wattiau, I., 593(0)507--z
-
Comyn-Wattiau:1992:CCI, 593(0)507--z
-
Concave, 644(0)66--z
-
Concentric, 627(0)137--z
-
concept, 570(0)169--z, 602(0)161--z, 604(0)127--z, 611(0)185--z,
624(0)357--z, 627(0)305--319, 634(0)793--z, 635(0)3--z, 639(0)1--z,
642(0)51--z, 643(0)31--41
-
Conceptual, 593(0)147--z, 593(0)425--z, 593(0)445--z, 593(0)589--z,
593(0)612--z, 599(0)14--z, 599(0)37--z, 599(0)191--z, 599(0)211--z,
604(0)421--z, 627(0)39--z, 627(0)61--z, 627(0)185--z, 639(0)348--z,
645(0)121--z, 645(0)280--z, 645(0)375--z
-
Conceptualization, 633(0)174--z
-
Concerning, 623(0)126--z
-
concise, 606(0)1--z, 634(0)831--z
-
Conclog, 591(0)289--z
-
Concluding, 651(0)1--z
-
Conclusion, 597(0)67--82, 597(0)97--110, 610-0-xii, 627(0)5--z,
627(0)61--z, 627(0)75--z, 627(0)101--z, 627(0)121--z, 627(0)155--z,
627(0)171--z, 627(0)185--z, 627(0)201--z, 627(0)235--z,
627(0)245--z, 627(0)255--z, 627(0)321--z, 642(0)170--z,
643(0)193--194
-
Concrete, 598(0)326--z
-
concurrency, 589(0)50--z, 598(0)350--z, 598(0)376--z, 609(0)267--z,
612(0)195--z, 612(0)245--z, 618(0)175--z, 626(0)293--z,
629(0)401--z, 629(0)412--z, 653(0)129--z
-
Concurrency-Related, 634(0)127--z
-
concurrent, 591(0)277--z, 601(0)171--z, 603(0)150--z, 605(0)431--z,
605(0)515--z, 605(0)703--z, 605(0)859--z, 605(0)953--z, 612(0)53--z,
612(0)99--z, 612(0)211--z, 620(0)221--z, 623(0)696--z, 630(0)94--z,
630(0)486--z, 632(0)322--z, 632(0)335--z, 637(0)264--z,
637(0)440--z
-
Condensed, 604(0)246--z, 607(0)209--z
-
condition, 589(0)152--z, 632(0)53--z, 634(0)719--z, 643(0)178--181
-
conditional, 619(0)92--z, 628(0)67--87, 628(0)187--188
-
Conery, J. S., 652(0)203--z
-
Conery, J. S., see Sundararajan, R.
-
Conference, 648(0)209--z, 653(0)3--z
-
configuration, 599(0)191--z, 604(0)421--z, 604(0)431--z, 604(0)441--z,
630(0)269--z
-
Conflicts, 644(0)241--z
-
Confluence, 572(0)237--z, 629(0)511--z
-
Confluent, 572(0)231--z
-
Confrontation, 593(0)507--z
-
congruence, 625(0)33--z, 625(0)183--216, 630(0)47--z
-
Congruent, Reasoning-, 608(0)103--z
-
Congruity, 650(0)279--z
-
conjecture, 607(0)340--z, 652(0)152--z
-
Conjugate, 634(0)373--z
-
Conjunctions, 620(0)241--z
-
Conjunctive, 620(0)241--z, 652(0)140--z
-
connaissances, 608(0)209--z, 608(0)435--z
-
connected, 570(0)214--z, 646(0)376--z
-
Connected-Cycles, Cube-, 634(0)833--z
-
Connecting, 613(0)1--z
-
connection, 598(0)492--z, 608(0)92--z, 631(0)269--z, 634(0)31--z,
653(0)105--z, 653(0)357--z
-
Connectionism, 604(0)337--z, 617(0)25--z
-
Connectionist, 597(0)97--110, 604(0)113--z, 604(0)461--z
-
Connectives, 627(0)185--z
-
Connectivity, 629(0)112--z, 650(0)126--z
-
Connectivity, 2-, 621(0)233--z
-
Connectivity, 3-, 621(0)221--z
-
Connectivity, Edge-, 650(0)31--z
-
Conquer, Divide-and-, 634(0)849--z
-
Conradi, R., 635(0)3--z, 635(0)167--z
-
Conradi:1992:DUI, 635(0)167--z
-
Conradi:1992:TRF, 635(0)3--z
-
Conruyt, N., 599(0)392--z, 622(0)23--z
-
Conruyt, N., see Manago, M.
-
Consecutive, 650(0)459--z
-
Conservative, 637(0)218--z
-
consideration, 592(0)474--z, 603(0)197--z, 614(0)185--z, 627(0)255--z
-
Considered, 634(0)659--z
-
consistency, 592(0)294--z, 597-0-viii, 599(0)337--z, 601(0)32--z,
614(0)22--z, 624(0)393--z, 628(0)88--111, 632(0)276--z,
646(0)341--z
-
Consistent, 650(0)209--z
-
Constable, R. L., 653(0)105--z
-
Constable:1992:FTS, 653(0)105--z
-
Constant, 624(0)261--z, 654(0)144--z
-
Constant, Nearly-, 650(0)135--z
-
Constantopoulos, P., 593(0)304--z
-
Constantopoulos:1992:BSR, 593(0)304--z
-
Constrained, 607(0)477--z, 650(0)289--z
-
Constrained, Bandwidth-, 614(0)120--z
-
constraint, 593(0)445--z, 593(0)507--z, 597-0-viii, 604(0)46--z,
604(0)341--z, 604(0)401--z, 604(0)421--z, 604(0)505--z,
607(0)163--z, 617(0)82--z, 618(0)192--z, 618(0)244--z, 620(0)480--z,
623(0)392--z, 624(0)54--z, 627(0)61--z, 627(0)121--z, 628(0)5--34,
632(0)201--z, 632(0)213--z, 633(0)319--z, 636(0)3--z, 639(0)252--z,
645(0)7--z, 645(0)24--z, 648(0)349--z, 652(0)164--z, 654(0)159--z
-
constraint-based, 597-0-viii
-
Constructing, 601(0)184--z
-
construction, 598(0)272--z, 602(0)39--z, 607(0)753--z, 608(0)286--z,
608(0)325--z, 611(0)58--z, 613(0)108--z, 621(0)140--z, 624(0)42--z,
628(0)123--143, 631(0)217--z, 634(0)761--z
-
constructive, 592(0)302--z, 599(0)153--z, 607(0)20--z, 613(0)1--z,
613(0)33--z, 613(0)159--z, 613(0)165--z, 620(0)174--z, 620(0)269--z,
624(0)214--z, 626(0)382--z, 632(0)276--z, 633(0)279--z
-
Constructivity, 613(0)150--z, 613(0)228--z, 633(0)391--z
-
Constructors, 607(0)603--z, 631(0)130--z
-
Consumption, 592(0)177--z
-
Contejean, E., 632(0)446--z
-
Contejean, E., see Boudet, A.
-
content, 623(0)162--z, 628(0)67--87
-
Contention, 605(0)651--z
-
Context, 608(0)38--z, 631(0)260--z, 634(0)423--z, 642(0)268--z
-
Context-Free, 623(0)53--z, 623(0)138--z, 629(0)24--z, 629(0)307--z,
630(0)123--z, 630(0)138--z, 652(0)316--z
-
Context-Freeness, 643(0)45--50
-
Context-Sensitive, 623(0)77--z
-
Context-Sensitivity, 654(0)195--z
-
Context-Specific, 646(0)201--z
-
Continuation, 605(0)415--z, 631(0)479--z, 637(0)344--z
-
Continuing, 640(0)117--z, 640(0)180--z, 640(0)301--z
-
Continuity, 620(0)459--z
-
continuous, 598(0)326--z, 598(0)403--z, 614(0)171--z, 614(0)197--z,
620(0)127--z, 628(0)51--66, 628(0)181--184, 633(0)36--z
-
Continuous-Media, 614(0)283--z
-
Contour, 654(0)290--z
-
Contraction, 633(0)139--z
-
Contracts, 637(0)426--z
-
Contradict, 608(0)451--z
-
Contrast, 627(0)87--z
-
contributions, 628(0)45--50
-
control, 570(0)48--z, 589(0)152--z, 592(0)452--z, 596(0)239--z,
603(0)242--z, 604(0)185--z, 604(0)294--z, 604(0)421--z,
604(0)471--z, 607(0)310--z, 608(0)164--z, 612(0)195--z, 614(0)72--z,
618(0)138--z, 618(0)175--z, 626(0)367--z, 631(0)1--z, 634(0)743--z,
648(0)21--z, 649(0)250--z, 653(0)175--z, 653(0)267--z, 653(0)291--z,
653(0)301--z, 654(0)274--z
-
Controlled, Path-, 654(0)37--z
-
Controlling, 624(0)96--z
-
Conventional, 589(0)251--z, 605(0)569--z, 627(0)61--z
-
Convergence, 604(0)113--z
-
Convergent, 607(0)589--z, 650(0)299--z
-
Conversation, 602(0)542--z, 611(0)204--z
-
Conversational, 602(0)258--z
-
conversion, Eta-, 632(0)306--z
-
convex, 594(0)204--z, 606(0)1--z, 621(0)376--z, 629(0)442--z,
650(0)209--z, 650(0)269--z, 652(0)92--z
-
Cookbook, 635(0)227--z
-
Cooper, R., 618(0)192--z
-
Cooper:1992:GDM, 618(0)192--z
-
coopératif, 608(0)58--z
-
Cooperating, 610-0-xii
-
Cooperation, 610-0-xii, 611(0)1--z
-
Cooperative, 599(0)406--z, 602(0)148--z, 602(0)453--z, 602(0)529--z,
610-0-xii, 611(0)104--z, 611(0)169--z, 611(0)185--z, 611(0)251--z,
611(0)271--z, 620(0)418--z, 624(0)478--z
-
Cooperative, Collection-, 637(0)315--z
-
coordinate, 628(0)5--34, 628(0)185--186
-
Coordinated, 635(0)58--z
-
Coordinating, 610-0-xii, 653(0)315--z
-
Coordination, 610-0-xii, 611(0)251--z, 635(0)153--z
-
Copestake, A., 627(0)101--z
-
Copestake:1992:LOU, 627(0)101--z
-
Coping, 600(0)485--z, 605(0)953--z
-
Copying, 637(0)357--z
-
Coquand, Thierry, 613(0)159--z
-
Coquand:1992:CTC, 613(0)159--z
-
Coray, G., 634(0)515--z
-
Coray, G., see Gengler, M.
-
Corbett, A. T., 608(0)413--z
-
Corbett:1992:SMM, 608(0)413--z
-
Corby, O., 599(0)298--z
-
Corby, O., see Dieng, R.
-
Cordes, R., 614(0)217--z
-
Cordes:1992:MMS, 614(0)217--z
-
Coroutines, 637(0)230--z
-
Corporaal, Henk, 641(0)219--z
-
Corporaal, Henk, see Hoogerbrugge, Jan
-
Corporate, 640(0)349--z, 640(0)360--z
-
Correct, 641(0)141--z
-
correction, 614(0)391--z, 654(0)159--z
-
Correctness, 598(0)294--z, 598(0)457--z, 605(0)955--z, 607(0)416--z,
620(0)406--z, 626(0)15--z
-
correspondence, 628(0)1--4, 628(0)88--111
-
Cortes, U., 604(0)324--z
-
Cortes, U., see Belanche, Ll.
-
Cortesi, A., 623(0)521--z
-
Cortesi:1992:CAI, 623(0)521--z
-
Cost, 602(0)516--z, 634(0)467--z, 634(0)725--z, 634(0)799--z,
644(0)202--z
-
Costa, J. F., 629(0)200--z
-
Costa, V. Santos, 605(0)617--z
-
Costa, V. Santos, see Gupta, G.
-
Costa:1992:OI, 629(0)200--z
-
Costal, D., 593(0)612--z
-
Costal:1992:MRA, 593(0)612--z
-
Costantini, S., 649(0)135--z
-
Costantini, Stefania, 592(0)140--z
-
Costantini:1992:PSM, 592(0)140--z
-
Costantini:1992:RAM, 649(0)135--z
-
Couclelis, Helen, 639(0)65--z
-
Couclelis:1992:PMO, 639(0)65--z
-
Coulson, G., 614(0)45--z, 614(0)57--z
-
Coulson, G., see Ruston, L.
-
Coulson:1992:PSD, 614(0)45--z
-
Coulter, Neal S., 640(0)63--z, 640(0)313--z
-
Coulter:1992:SLP, 640(0)313--z
-
Coulter:1992:SUP, 640(0)63--z
-
Count, 623(0)211--z
-
Counter-Intuitive, 639(0)305--z
-
counterclockwise, 606(0)1--z
-
Counterexamples, 632(0)244--z
-
Counters, 646(0)124--z
-
Counting, 629(0)181--z
-
Coupled, 605(0)735--z, 611(0)37--z, 630(0)518--z
-
Courcelle, B., 570(0)13--z
-
Courcelle:1992:MSO, 570(0)13--z
-
Courcoubetis, C., 600(0)28--z, 630(0)340--z
-
Courcoubetis, C., see Alur, R.
-
Course, 602(0)16--z, 602(0)356--z, 624(0)463--z, 640(0)23--z,
640(0)63--z, 640(0)65--z, 640(0)88--z, 640(0)324--z, 640(0)360--z
-
Courseware, 602(0)198--z, 602(0)466--z
-
Courseware, CAL-, 602(0)581--z
-
Courtiat, J. P., 600(0)149--z
-
Courtiat:1992:TSB, 600(0)149--z
-
Cousin, B., 614(0)375--z
-
Cousin:1992:DVT, 614(0)375--z
-
Cousot, P., 631(0)269--z
-
Cousot, R., 631(0)269--z
-
Cousot, R., see Cousot, P.
-
Cousot:1992:ILC, 631(0)269--z
-
Coutelle, C., 654(0)87--z
-
Coutelle:1992:VRO, 654(0)87--z
-
cover, 607(0)431--z, 648(0)307--z
-
Cowen, L., 621(0)83--z
-
Cowen, L., see Awerbuch, B.
-
Cowie, J., 611(0)134--z
-
Cowie, J., see Bland, R.
-
Cox, B., 604(0)276--z
-
Cox, B., see Bayliss, D.
-
Cox, S., 605(0)497--z
-
Cox:1992:ISF, 605(0)497--z
-
Craigen, Dan, 607(0)771--z
-
Craigen:1992:ESD, 607(0)771--z
-
CRCW, 621(0)30--41
-
Create, 602(0)516--z
-
Creating, 640(0)351--z, 653(0)205--z
-
Creation, 641(0)110--z, 646(0)326--z
-
Credit, 642(0)26--z
-
Cremers, A. B., 604(0)15--z, 604(0)585--z
-
Cremers, A. B., see Becks, K.-H.
-
Cremers:1992:IDI, 604(0)15--z
-
CREW, 621(0)30--41
-
CRI-Length, 623(0)223--z
-
criteria, 607(0)582--z, 624(0)273--z, 628(0)88--111
-
Critical, 600(0)573--z
-
Critical, Time-, 614(0)4--z, 614(0)242--z, 651(0)1--z
-
Critics, 624(0)178--z
-
Crochemore, M., 654(0)100--z
-
Crochemore:1992:NTD, 654(0)100--z
-
Crookes, D., 634(0)803--z
-
Crookes:1992:DBI, 634(0)803--z
-
crossing, 570(0)214--z, 594(0)233--z
-
Crossing, Non-, 650(0)400--z
-
Cruz, G., 614(0)346--z
-
Cruz, G., see Rosenberg, J.
-
Cryptographic, 648(0)419--434
-
Cryptology, 648(0)77--z
-
CSG, 634(0)583--z
-
CSP, 600(0)640--z, 630(0)355--z, 635(0)138--z
-
cube, 570(0)214--z
-
Cube-Connected-Cycles, 634(0)833--z
-
cubic, 570(0)239--z
-
Cuena, J., 617(0)373--z
-
Cuena:1992:ASG, 617(0)373--z
-
Cui, Z., 607(0)786--z
-
Cui, Z., see Randell, D. A.
-
Cultivate, 639(0)65--z
-
Cumulative, 619(0)92--z
-
Cunto, W., 621(0)192--z
-
Cunto:1992:GTB, 621(0)192--z
-
Curien, P.-L., 629(0)209--z
-
Curien:1992:SNS, 629(0)209--z
-
Current, 599(0)1--z, 617(0)198--z, 627(0)219--z, 640(0)415--z
-
Currey, R., 591(0)37--z
-
Currey, R., see Lewis, T. G.
-
Curriculum, 602(0)343--z, 608(0)140--z, 640(0)131--z, 640(0)270--z
-
Curry--Howard, 624(0)202--z
-
Curtis, Andrew, 639(0)269--z
-
Curtis, Andrew, see Fotheringham, A. Stewart
-
Curtis, D., 604(0)276--z
-
Curtis, D., see Bayliss, D.
-
curve, 650(0)378--z
-
Curzon, Paul, 624(0)403--z
-
Curzon:1992:PLV, 624(0)403--z
-
Cut, 605(0)961--z, 619(0)146--z, 623(0)366--z, 652(0)265--z
-
Cut, Max-, 650(0)97--z
-
Cut, Min-, 650(0)97--z
-
Cut-Elimination, 620(0)493--z
-
cut-elimination, 626(0)316--z
-
cutting, 626(0)119--z
-
Cutwidth, 650(0)21--z
-
cycle, 570(0)214--z, 570(0)230--z, 570(0)239--z, 593(0)164--z,
605(0)449--z, 607(0)94--z
-
Cycles, Cube-Connected-, 634(0)833--z
-
Cyclic, 641(0)176--z
-
Czaja, I., 609(0)89--z
-
Czaja:1992:ISA, 609(0)89--z
-
Czumaj, A., 621(0)62--z
-
Czumaj:1992:OPA, 621(0)62--z
-
Czyzowicz, J., 570(0)105--z
-
Czyzowicz:1992:TBR, 570(0)105--z