Index file section D for lncs1991.bib
Last update: Sun Jun 12 02:46:39 2016
Return to index directory
D
-
D, 508(0)280--z, 511(0)65--z, 511(0)132--z, 511(0)154--z, 511(0)205--z,
511(0)273--z, 511(0)486--z, 520(0)221--z, 548(0)206--z,
549(0)302--z
-
d, 525(0)361--z
-
d'Amore, F., 519(0)240--z
-
D'Andrea, V., 549(0)322--z
-
D'Andrea, V., see Adorni, G.
-
D'Atri, A., 498(0)79--z
-
D'Atri, A., see Ahlsen, M.
-
D'Souza, A., 525(0)451--z
-
D'Souza, A., see Lu, H.
-
D-volume, 511(0)501--z
-
D.--University, 564-0-viii
-
D.E.S., 537(0)530--z
-
da Rocha, A. F., 521(0)578--z
-
da Rocha, A. F., see Machado, R. J.
-
da Silva, F. S., Correa, 548(0)141--z
-
Dactl, 532(0)378--z
-
Dahl, Ole-Johan, 552(0)320--z
-
Dahl:1991:FDA, 552(0)320--z
-
Dai, Zong-Duo, 473(0)189--z
-
Dai, Zong-Duo D., 547(0)168--z, 547(0)200--z
-
Dai, Zong-Duo D., see Chambers, William G.
-
Dai:1991:LBL, 473(0)189--z
-
Dai:1991:LCP, 547(0)168--z
-
Dalenoort, G. J., 565(0)231--z
-
Dalenoort:1991:SOI, 565(0)231--z
-
Damgård, Ivan Bjerre, 537(0)189--z, 576(0)445--z,
see Boyar, Joan
-
Damgaard:1991:TPP, 576(0)445--z
-
Damm, Flemming, 551(0)45--z, 551(0)220--z
-
Damm, Flemming, see Bruun, Hans
-
Damm, Flemming M., 551(0)693--z
-
Damm:1991:TCV, 551(0)45--z
-
Damm:1991:VSE, 551(0)693--z
-
dAmore:1991:CAW, 519(0)240--z
-
Dandanell, B., 551(0)645--z
-
Dandanell, B., see Chalmers, D. L.
-
Daniels, D. C., 497(0)610--z
-
Daniels, D. C., see Wedde, H. F.
-
Daniels, Mats, 571(0)53--z
-
Daniels:1991:MRT, 571(0)53--z
-
Danvy, Olivier, 523(0)496--z
-
Danvy, Olivier, see Consel, Charles
-
Dark, 565(0)388--z
-
Darlington, John, 516(0)424--z
-
Darlington:1991:CED, 516(0)424--z
-
Darmon, M. M., 514(0)378--z
-
Darmon:1991:HFA, 514(0)378--z
-
{Darwin}-, 496(0)430--z
-
Das, G., 519(0)261--z
-
Das, S. K., 497(0)443--z
-
Das, Sajal K., 505(0)270--z
-
Das:1991:GSL, 519(0)261--z
-
Das:1991:MPH, 505(0)270--z
-
Das:1991:SFP, 497(0)443--z
-
Dassow, J., 529(0)200--z
-
Dassow:1991:CCH, 529(0)200--z
-
data, 496(0)410--z, 497(0)240--z, 498(0)98--z, 503(0)63--z, 504(0)26--z,
504(0)86--z, 504(0)144--z, 504(0)271--z, 505(0)372--z, 511(0)105--z,
511(0)142--z, 511(0)154--z, 511(0)175--z, 511(0)188--z,
511(0)373--z, 514(0)320--z, 519(0)153--z, 519(0)449--z,
520(0)103--z, 521(0)456--z, 523(0)496--z, 525(0)23--z, 525(0)45--z,
525(0)63--z, 525(0)119--z, 525(0)225--z, 525(0)319--z, 525(0)401--z,
526(0)346--z, 526(0)594--z, 529(0)339--z, 531(0)76--z, 534(0)11--z,
534(0)341--z, 535(0)220--z, 541(0)250--z, 542(0)429--z,
547(0)266--z, 548(0)153--z, 548(0)323--z, 549(0)312--z,
549(0)365--z, 549(0)410--z, 550(0)80--z, 553(0)265--z, 555(0)91--z,
560(0)266--z, 563(0)2--z, 566(0)43--z, 566(0)312--z, 567(0)124--z,
567(0)214--z, 569(0)173--z, 575(0)244--z
-
Data-Driven, 506(0)331--z, 567(0)301--z
-
data-driven, 535(0)127--z
-
Data-Flow, 528(0)207--z
-
database, 497(0)207--z, 497(0)219--z, 497(0)264--z, 498(0)124--z,
498(0)240--z, 498(0)393--z, 503(0)149--z, 504(0)59--z, 504(0)124--z,
504(0)161--z, 504(0)185--z, 504(0)311--z, 504(0)333--z,
504(0)347--z, 504(0)385--z, 504(0)403--z, 504(0)435--z,
505(0)321--z, 507(0)249--z, 507(0)264--z, 512(0)97--z, 521(0)443--z,
525(0)5--z, 525(0)237--z, 525(0)339--z, 528(0)147--z, 532(0)344--z,
542(0)112--z, 542(0)122--z, 542(0)132--z, 542(0)152--z,
542(0)162--z, 542(0)172--z, 546(0)501--z, 548(0)146--z,
548(0)171--z, 548(0)333--z, 548(0)338--z, 549(0)375--z,
551(0)496--z, 554(0)1--z, 555(0)172--z, 555(0)337--z, 566(0)68--z,
566(0)85--z, 566(0)129--z, 566(0)147--z, 566(0)189--z, 566(0)263--z,
566(0)278--z, 566(0)292--z, 566(0)355--z, 566(0)478--z,
566(0)524--z, 566(0)567--z, 567(0)1--z
-
Dataflow, 505(0)355--z, 523(0)73--z, 526(0)204--z, 530(0)261--z,
571(0)363--z
-
datalog, 504(0)347--z, 549(0)88--z, 566(0)208--z
-
Date, 543(0)233--z
-
Datta, A. Kumar, 519(0)129--z
-
Datta, A. Kumar, see Aguilar, O. R.
-
Dauchy, P., 550(0)80--z
-
Dauchy:1991:TDS, 550(0)80--z
-
David, G., 541(0)135--z
-
David:1991:SPI, 541(0)135--z
-
Davida, George I., 473(0)11--z
-
Davida:1991:IMR, 473(0)11--z
-
Davidor, Y., 496(0)60--z
-
Davidor:1991:ESD, 496(0)60--z
-
Davies, J., 571(0)149--z
-
Davies:1991:BCR, 571(0)149--z
-
Davison, A., 528(0)171--z
-
Davison:1991:PPT, 528(0)171--z
-
Dawes, Robin W., 507(0)161--z
-
Dawes:1991:MON, 507(0)161--z
-
Dawson, E., 547(0)422--z
-
Dawson, E., see Goldburg, B.
-
Dawson, M. H., 547(0)352--z
-
Dawson:1991:ESB, 547(0)352--z
-
DB, 503(0)424--z
-
DB:, LILOG-, 546(0)501--z
-
DBE, 498(0)240--z
-
DBMS, 499(0)252--z, 525(0)299--z, 525(0)423--z
-
de Bakker, J. W., 506(0)27--z
-
de Boer, F., 571(0)451--z
-
de Boer, F. S., 527(0)111--z, 527(0)127--z
-
de Boer, M. J. M., 532(0)127--z
-
De Bosschere, K. O. M., 569(0)159--z
-
de Caluwe, R. M., 548(0)338--z
-
de Caluwe, R. M., see Vandenberghe, R. M.
-
de Campos, L. M., 521(0)58--z, 548(0)99--z
-
de Campos, L. M., see Acid, S., \see{Moral, S.
-
de Castro Dutra, I., 569(0)70--z
-
de Champeaux, Dennis, 512(0)360--z--1
-
de Doncker, Elise, 507(0)293--z
-
de Doncker, Elise, see Carino, Ricolindo
-
de Felice, C., 510(0)575--z
-
de Felice, C., see Bruyere, V.
-
De Floriani, L., 507(0)307--z
-
De Floriani, L., see Ancona, M.
-
de Francesco, N., 575(0)266--z
-
De Gaetano, Andrea, 507(0)406--z
-
De Gaetano, Andrea, see Coleman, William P.
-
de Garis, H., 496(0)117--z
-
de Groot, C., 496(0)445--z
-
de Jong, G. G., 575(0)477--z
-
De Jong, K. A., 496(0)38--z
-
de Jong, W., 525(0)401--z
-
de Kergommeaux, J. Chassin, 506(0)385--z
-
de Kergommeaux, J. Chassin, see Briat, J.
-
de la Puente, J. A., 499(0)362--z
-
de la Puente, J. A., see Fernandez, J. L.
-
de la Torre, Pilar, 505(0)6--z
-
de Lavalette, G. R. Renardel, 551(0)279--z
-
de Lavalette, G. R. Renardel, see Middelburg, C. A.
-
de Lavalette, Gerard R. Renardel, 551(0)477--z
-
de Lemos, R., 571(0)171--z
-
De Lorenzi, Michele, 553(0)171--z
-
De Lorenzi, Michele, see Nievergelt, Jurg
-
de Mantaras, R. Lopez, 548(0)76--z
-
de Mantaras, R. Lopez, see Godo, L.
-
De Nicola, R., 527(0)20--z, 575(0)37--z
-
De Oliviera, H. Magalhaes, 514(0)337--z
-
De Oliviera, H. Magalhaes, see Battail, G.
-
De Paoli, F., 550(0)266--z
-
De Paoli, F., see Coen-Porisini, A.
-
de Paratesi, Guido Galli, 512(0)148--166
-
de Paratesi, Guido Galli, see Reghizzi, Stefano Crespi
-
de Pinto, P., 549(0)420--z
-
De Santis, A., 514(0)309--z, 537(0)366--z
-
De Santis, A., see Capocelli, R. M.
-
de Simone, R., 527(0)18--z
-
de Simone, R., see Bouali, A.
-
de Simone, Robert, 531(0)65--z
-
de Simone, Robert, see Roy, Valerie
-
De Troyer, O., 498(0)561--z
-
de Vicente, B., 550(0)210--z
-
de Vicente, B., see Amador, J.
-
de Vink, E. P., 506(0)27--z
-
de Vink, E. P., see de Bakker, J. W.
-
De Vlaminck, K., 551(0)597--z
-
De Vlaminck, K., see Kinnaes, D.
-
de Vrijer, Roel, 516(0)26--z
-
de Vrijer, Roel, see Klop, Jan Willem
-
deadline-coupled, 542(0)589--z
-
deadlock, 499(0)125--z, 531(0)243--z, 575(0)332--z
-
Deadlock-Free, 505(0)390--z
-
Deal, 576(0)141--z
-
Dealing, 498(0)124--z, 521(0)568--z, 541(0)151--z
-
deBakker:1991:RMS, 506(0)27--z
-
deBoer:1991:CMO, 532(0)127--z
-
deBoer:1991:ETL, 527(0)127--z
-
deBoer:1991:FFP, 527(0)111--z
-
deBoer:1991:RTB, 571(0)451--z
-
DeBosschere:1991:BCP, 569(0)159--z
-
Debugger, 551(0)597--z
-
Debugging, 505(0)406--z, 528(0)419--z, 541(0)237--z, 569(0)1--z
-
Decade, 498(0)579--z
-
deCastroDutra:1991:FSA, 569(0)70--z
-
Decentralized, 496(0)381--z
-
deChampeaux:1991:OOA, 512(0)360--z--1
-
Decidability, 529(0)415--z
-
Decidability, Semi-Commutations-, 510(0)229--z
-
decidable, 510(0)455--z, 520(0)318--z, 575(0)2--z
-
Deciding, 502(0)33--z, 510(0)495--z, 527(0)23--z, 533(0)128--z,
575(0)443--z
-
Decimation, 532(0)637--z
-
Decimation, Self-, 539(0)465--z
-
decision, 496(0)124--z, 505(0)321--z, 507(0)213--z, 510(0)707--z,
520(0)415--z, 521(0)528--z, 521(0)538--z, 521(0)548--z,
521(0)588--z, 529(0)210--z, 529(0)360--z, 533(0)95--z
-
Decision, Semi-, 516(0)206--z
-
Decision-Making, 557(0)1--z
-
Decker, M., 541(0)195--z
-
Decker:1991:CDP, 541(0)195--z
-
Declarative, 502(0)18--z, 504(0)1--z, 541(0)237--z, 566(0)108--z,
566(0)147--z, 567(0)1--z, 567(0)214--z, 567(0)221--z, 567(0)271--z,
567(0)383--z
-
decoder, 514(0)385--z
-
decoding, 514(0)126--z, 514(0)135--z, 514(0)242--z, 514(0)378--z,
539(0)39--z, 539(0)434--z
-
Decomposability, 510(0)575--z
-
Decomposition, 507(0)286--z, 508(0)208--z, 525(0)257--z, 532(0)520--z,
557(0)52--z, 571(0)307--z
-
Decrementing, 565(0)196--z
-
Decuyper, J., 496(0)356--z
-
Decuyper:1991:RRN, 496(0)356--z
-
Dedicated, 567(0)17--z
-
deduction, 516(0)64--z, 516(0)424--z, 518(0)1--z, 533(0)366--z,
535(0)185--z, 542(0)203--z, 543(0)100--z
-
deductive, 521(0)443--z, 542(0)132--z, 542(0)162--z, 544(0)79--z,
546(0)394--z, 548(0)3--z, 548(0)333--z, 566(0)68--z, 566(0)85--z,
566(0)129--z, 566(0)263--z, 566(0)278--z, 566(0)292--z
-
default, 497(0)675--z, 521(0)76--z, 521(0)223--z, 522(0)39--z,
542(0)203--z, 542(0)560--z, 543(0)100--z, 548(0)38--z, 548(0)70--z,
548(0)120--z, 548(0)211--z, 548(0)219--z, 548(0)246--z,
548(0)267--z, 548(0)305--z, 548(0)310--z, 548(0)344--z,
548(0)352--z, 549(0)78--z, 549(0)218--z, 549(0)410--z
-
defeasible, 535(0)84--z, 542(0)479--z, 548(0)146--z
-
Deficient, 507(0)286--z
-
Defined, 503(0)71--z, 532(0)190--z
-
Definition, 512(0)148--166, 526(0)38--z, 526(0)53--z, 567(0)271--z
-
Definition-Folding,, Unfolding-, 528(0)347--z
-
deformable, 511(0)358--z
-
deFrancesco:1991:SDM, 575(0)266--z
-
Degano, P., 520(0)121--z, 530(0)282--z
-
Degano:1991:ACT, 530(0)282--z
-
Degano:1991:ARP, 520(0)121--z
-
deGaris:1991:GPA, 496(0)117--z
-
degree, 508(0)292--z, 510(0)393--z, 510(0)575--z, 520(0)211--z,
529(0)380--z
-
deGroot:1991:OCP, 496(0)445--z
-
DeJong, K., 542(0)286--z
-
DeJong, K., see Bala, J.
-
DeJong:1991:AIR, 496(0)38--z
-
deJong:1991:ATA, 575(0)477--z
-
deJong:1991:EMP, 525(0)401--z
-
del Cerro, L. Farinas, 535(0)11--z, 548(0)58--z
-
delaTorre:1991:TSM, 505(0)6--z
-
Delaunay, 510(0)674--z, 519(0)42--z
-
deLavalette:1991:FDS, 551(0)477--z
-
Delay, 507(0)139--z, 510(0)566--z, 524(0)1--z, 541(0)151--z,
575(0)354--z, 575(0)399--z
-
Delay-Insensitive, 531(0)343--z
-
Delayed, 553(0)57--z
-
delCerro:1991:MAPa, 535(0)11--z
-
delCerro:1991:MAPb, 548(0)58--z
-
Delcourt, Christine, 512(0)97--z
-
Delcourt:1991:DIC, 512(0)97--z
-
Delegation, 526(0)326--z
-
deLemos:1991:ATR, 571(0)171--z
-
Delft, 551(0)677--z
-
Delft, A., van, 506(0)220--z
-
Delgado, M., 548(0)42--z
-
Delgado, M., see Cano, J.
-
Delgado-Rannauro, S. A., 506(0)421--z
-
Delgado-Rannauro, S. A., see Veron, A.
-
Delis, A., 499(0)227--z
-
Delis:1991:DAA, 499(0)227--z
-
Delisle, S., 542(0)326--z
-
Delisle:1991:EBL, 542(0)326--z
-
della Rocca, S. Ronchi, 520(0)161--z
-
della Rocca, S. Ronchi, see Egidi, L.
-
Della Rocca, Simona Ronchi, 526(0)18--z
-
Della Rocca, Simona Ronchi, see Giannini, Paola
-
della Torre, A., 499(0)384--z
-
della Torre, A., see Colombini, C.
-
della Ventura, A., 521(0)488--z
-
della Ventura, A., see Binaghi, E.
-
Dellepiane, S., 511(0)444--z
-
Dellepiane:1991:FMP, 511(0)444--z
-
delta, 514(0)60--z
-
Delta-Grammars, 532(0)475--z
-
Demand, 523(0)328--z
-
Demoen, B., 528(0)147--z, 569(0)54--z
-
Demoen, B., see Boerger, E.,
see Moolenaar, R.
-
Dempster-Shafer, 521(0)14--z, 548(0)238--z
-
den Akker, Rieks, op, 545(0)140--z, 545(0)187--z
-
den Berg, Carel, van, 503(0)229--z, 503(0)259--z
-
den Bussche, J., Van, 566(0)226--z
-
den Elsen, P. A., van, 511(0)142--z
-
denBoer:1991:ALT, 576(0)194--z--1
-
denBoer:1991:OTP, 473(0)31--z
-
Dencheva, E., 504(0)428--z
-
Dencheva, E., see Kirkova, R.
-
Dendrograms, 507(0)179--z
-
Deneen, Linda, 536(0)219--z
-
Deneen, Linda, see Pierce, Keith
-
DeNicola:1991:ABF, 575(0)37--z
-
DeNicola:1991:ASB, 527(0)20--z
-
Denotational, 506(0)184--z, 530(0)138--z
-
Dense, 510(0)429--z, 510(0)719--z
-
Density, 529(0)258--z
-
Density, Low-, 547(0)54--z
-
Deogun, J. S., 507(0)307--z, 542(0)102--z
-
Deogun, J. S., see Ancona, M.,
see Bhatia, S. K.
-
Deogun, Jitender S., 507(0)91--z
-
Deogun, Jitender S., see Bhatia, Sanjiv K.
-
Dependable, 563(0)109--z, 563(0)178--z
-
Dependence, 533(0)274--z, 548(0)42--z
-
Dependence-Based, 526(0)365--z
-
dependency, 497(0)182--z, 549(0)127--z, 549(0)291--z, 566(0)278--z,
566(0)312--z
-
dependency-recording, 549(0)187--z
-
Dependent, 509(0)143--z, 531(0)204--z, 534(0)323--z, 557(0)385--z
-
Dependent, Speed-, 575(0)410--z
-
Depictions, 546(0)645--z
-
dePinto:1991:NNP, 549(0)420--z
-
Deprey, D., 514(0)385--z
-
Deprey, D., see Politano, J.-L.
-
Depth, 529(0)230--z, 529(0)395--z
-
Depth, Breadth-, 529(0)146--z
-
Dequeue, 529(0)146--z
-
der Linden, F. J., van, 550(0)101--z
-
der Lubbe, J. C. A., van, 521(0)377--z
-
der Sandt, Rob A., van, 546(0)259--z
-
der Spek, Juul, van, 503(0)309--z
-
Der-Yun, Yeh, 507(0)147--z
-
Der-Yun, Yeh, see Ahmed, Kazem U.
-
Derandomization, 519(0)177--z
-
Derivability, 543(0)74--z
-
Derivation, 505(0)137--z, 532(0)582--z, 544(0)101--z
-
deriving, 505(0)219--z, 542(0)112--z, 551(0)406--z, 567(0)309--z,
576(0)24--z
-
deRooij:1991:SSS, 547(0)71--z
-
Dershowitz, N., 510(0)267--z
-
Dershowitz, Nachum, 516(0)14--z
-
Dershowitz:1991:CSH, 510(0)267--z
-
Dershowitz:1991:MLU, 516(0)14--z
-
DES, 514(0)193--z, 576(0)301--213, 576(0)367--z
-
{DES}-Like, 537(0)2--z
-
Desai, B. C., 542(0)122--z
-
Desai:1991:MID, 542(0)122--z
-
DeSantis:1991:CAN, 537(0)366--z
-
Describing, 532(0)98--z
-
description, 497(0)520--z, 508(0)24--z, 516(0)389--z, 520(0)121--z,
530(0)282--z, 531(0)2--z, 544(0)217--z, 546(0)439--z, 550(0)409--z,
551(0)1--z, 567(0)221--z, 567(0)402--z
-
Description, Mini-, 567(0)408--z
-
Desel, J., 483(0)165--z, 524(0)78--z
-
Desel:1991:AN, 524(0)78--z
-
Desel:1991:VRN, 483(0)165--z
-
design, 473(0)412--z, 483(0)342--z, 496(0)60--z, 496(0)292--z,
497(0)219--z, 497(0)559--z, 498(0)5--z, 498(0)222--z, 498(0)240--z,
498(0)375--z, 499(0)227--z, 504(0)161--z, 505(0)83--z, 505(0)288--z,
505(0)390--z, 507(0)118--z, 507(0)206--z, 507(0)307--z,
507(0)385--z, 508(0)113--z, 511(0)8--z, 512(0)97--z, 512(0)200--z,
516(0)333--z, 521(0)528--z, 524(0)188--z, 527(0)43--z, 527(0)61--z,
529(0)61--z, 531(0)96--z, 532(0)396--z, 534(0)74--z, 534(0)341--z,
534(0)362--z, 536(0)193--z, 536(0)195--z, 536(0)205--z,
536(0)219--z, 536(0)235--z, 542(0)152--z, 547(0)352--z,
547(0)458--z, 549(0)354--z, 549(0)435--z, 550(0)7--z, 550(0)60--z,
550(0)166--z, 550(0)189--z, 550(0)210--z, 550(0)251--z, 551(0)31--z,
551(0)81--z, 551(0)685--z, 552(0)398--z, 555(0)256--z, 565(0)457--z,
566(0)524--z, 569(0)54--z, 571(0)87--z, 571(0)307--z, 575(0)125--z,
576(0)44--z
-
designed, 507(0)426--z, 514(0)60--z
-
designer, 512(0)200--z, 549(0)354--z
-
Designing, 497(0)264--z, 507(0)125--z, 560(0)360--z
-
desire, 542(0)16--z
-
Desmedt, Yvo, 473(0)1--z, 473(0)11--z, 537(0)169--z, 537(0)177--z,
547(0)81--z, 547(0)205--z, 576(0)457--z
-
Desmedt, Yvo, see Beth, Thomas,
see Burmester, Mike V. D.,
see Davida, George I.
-
Desmedt:1991:AUS, 537(0)177--z
-
Desmedt:1991:SGA, 576(0)457--z
-
Desmedt:1991:WUS, 547(0)205--z
-
detecting, error-, 514(0)94--z
-
detection, 497(0)532--z, 505(0)137--z, 507(0)1--z, 511(0)188--z,
511(0)227--z, 511(0)273--z, 523(0)241--z, 528(0)323--z,
528(0)335--z, 531(0)243--z, 539(0)183--z, 539(0)456--z
-
Determinate, 527(0)470--z
-
Determination, 522(0)100--z, 539(0)108--z, 553(0)113--z
-
Determined, 548(0)262--z
-
Determines, 548(0)262--z
-
Determining, 510(0)641--z
-
Determinism, 528(0)335--z
-
Deterministic, 502(0)565--z, 529(0)47--z, 529(0)146--z, 560(0)336--z
-
DeTroyer:1991:OBR, 498(0)561--z
-
Deutsch-McLeish, M., 521(0)41--z
-
Deutsch-McLeish:1991:SPB, 521(0)41--z
-
DEVA, 551(0)406--z
-
Develop, 497(0)559--z
-
Developing, 499(0)394--z, 532(0)61--z, 536(0)257--258, 536(0)259--z
-
development, 498(0)319--z, 499(0)168--z, 501(0)1--z, 501(0)7--z,
501(0)15--z, 501(0)25--z, 501(0)35--z, 501(0)49--z, 504(0)422--z,
505(0)83--z, 507(0)412--z, 509(0)44--z, 509(0)92--z, 509(0)99--z,
509(0)109--z, 509(0)114--z, 509(0)153--z, 509(0)178--z,
512(0)360--z, 512(0)360--z--1, 524(0)227--z, 527(0)298--z,
527(0)510--z, 544(0)3--z, 544(0)19--z, 544(0)35--z, 544(0)79--z,
544(0)193--z, 544(0)217--z, 546(0)74--z, 549(0)435--z, 550(0)380--z,
551(0)63--z, 551(0)149--z, 551(0)371--z, 551(0)457--z, 551(0)477--z,
551(0)629--z, 552(0)320--z, 552(0)363--z, 552(0)406--z,
555(0)306--z, 563(0)207--z, 571(0)411--z, 571(0)547--z
-
Developmental, 532(0)127--z
-
Devie, Herve, 516(0)233--z
-
Devie:1991:LC, 516(0)233--z
-
Deville, Y., 528(0)395--z
-
Deville, Y., see Van Hentenryck, P.
-
Devillers, O., 519(0)42--z
-
Devillers:1991:FDD, 519(0)42--z
-
deWaleffe:1991:CSC, 537(0)502--z
-
Deylon, B., 571(0)259--z
-
Deylon:1991:FTS, 571(0)259--z
-
Dezani-Ciancaglini, Mariangiola, 526(0)651--z
-
Dezani-Ciancaglini, Mariangiola, see Barbanera, Franco
-
Dholakia, H. N., 497(0)733--z
-
Dholakia, H. N., see Sundararajan, V.
-
Di Bella, D. M., 528(0)87--z
-
Di Bella, D. M., see Baiardi, F.
-
di Giovanni, R., 524(0)140--z
-
Di Nola, A., 548(0)161--z
-
di Nola, A., 521(0)173--z
-
Diab, M., 508(0)329--z, 539(0)140--z
-
Diab:1991:NSA, 539(0)140--z
-
Diab:1991:SAM, 508(0)329--z
-
Diagnose, 507(0)227--z
-
diagnosis, 517(0)1--z, 548(0)115--z, 549(0)177--z, 549(0)187--z,
575(0)114--z
-
diagnostic, 549(0)228--z
-
Diagram, 519(0)54--z, 531(0)23--z, 553(0)227--z, 553(0)265--z
-
Diameter, 553(0)203--z, 557(0)137--z
-
Diaz, J., 510(0)186--z, 519(0)65--z
-
Diaz, J., see Casas, R.
-
Diaz:1991:MP, 519(0)65--z
-
Dick, J., 550(0)37--z
-
Dick, Jeremy, 551(0)670--z
-
Dick:1991:ISF, 550(0)37--z
-
Dick:1991:VPV, 551(0)670--z
-
Dickson, 547(0)512--z
-
dictionary, 512(0)377--z, 520(0)328--z
-
Diday, E., 548(0)153--z
-
Diday:1991:DAU, 548(0)153--z
-
Diekert, V., 510(0)229--z, 520(0)131--z
-
Diekert:1991:CSC, 510(0)229--z
-
Diekert:1991:RCT, 520(0)131--z
-
Dietterich, T. G., 549(0)208--z
-
Dietterich, T. G., see Cerbone, G.
-
Dietz, J. L. G., 498(0)441--z
-
Dietz, P. F., 519(0)32--z
-
Dietz:1991:ESM, 498(0)441--z
-
Dietz:1991:FLA, 519(0)32--z
-
difference, 473(0)151--z, 496(0)455--z, 548(0)161--z, 566(0)478--z
-
different, 496(0)388--z, 499(0)394--z, 520(0)426--z, 549(0)177--z
-
differential, 508(0)304--z, 511(0)239--z, 529(0)180--z, 537(0)2--z,
539(0)171--z, 539(0)446--z, 547(0)1--z, 547(0)17--z, 576(0)156--z
-
Differential-Like, 547(0)352--z
-
Digest, 473(0)492--z, 537(0)303--311
-
diGiovanni:1991:HN, 524(0)140--z
-
digital, 473(0)465--z, 507(0)213--z, 511(0)227--z, 511(0)300--z,
514(0)350--z, 531(0)33--z, 537(0)206--z, 537(0)437--z, 547(0)446--z,
549(0)385--z, 552(0)406--z, 571(0)237--z
-
Diks, Krzysztof, 557(0)385--z
-
Diks:1991:PAF, 557(0)385--z
-
Dilemma, 496(0)388--z
-
Dill, D., 510(0)115--z
-
Dill, D., see Alur, R.
-
Dill, D. L., 575(0)255--z
-
Dill, David L., 531(0)272--z, 531(0)302--z
-
Dill, David L., see Loewenstein, Paul,
see Wong-Toi, Howard
-
Dill:1991:CLI, 575(0)255--z
-
Dillon, T. S., 531(0)126--z
-
Dillon, T. S., see Lai, Richard
-
dimension, 498(0)540--z, 508(0)322--z, 519(0)105--z, 525(0)361--z,
553(0)57--z
-
Dimensional, 499(0)20--z, 507(0)8--z, 519(0)20--z, 525(0)381--z,
530(0)94--z, 555(0)152--z
-
Dimensional, Low-, 565(0)442--z
-
Dimensional, Three-, 557(0)294--z
-
Diminishing, 533(0)156--z
-
Dimitrovici, C., 524(0)93--z, 534(0)52--z
-
Dimitrovici:1991:CAH, 534(0)52--z
-
Dimitrovici:1991:SCN, 524(0)93--z
-
Ding, C., 561(0)1--z
-
Ding:1991:STS, 561(0)1--z
-
Dingxing, W., 567(0)318--z
-
Dingxing, W., see Yaoqing, G.
-
Dinneen, M. J., 539(0)152--z
-
Dinneen:1991:ACE, 539(0)152--z
-
DiNola:1991:DFR, 548(0)161--z
-
diNola:1991:TSR, 521(0)173--z
-
Diophantine, 520(0)141--z, 547(0)281--z
-
dipole, 511(0)142--z
-
DIPSY-E, 549(0)410--z
-
direct, 514(0)21--z, 530(0)164--z, 547(0)96--z, 549(0)365--z
-
Directed, 510(0)429--z, 515(0)107--z, 519(0)461--z, 533(0)318--z,
534(0)341--z
-
Directed, Goal-, 533(0)80--z
-
Directed, Semantics-, 528(0)135--z
-
Directory, 507(0)242--z
-
DIS, 473(0)465--z
-
disambiguation, 549(0)250--z
-
Discipline, 526(0)18--z
-
discovery, 542(0)429--z
-
discrete, 473(0)63--z, 473(0)481--z, 496(0)188--z, 502(0)504--z,
511(0)55--z, 521(0)260--z, 531(0)282--z, 535(0)112--z, 537(0)134--z,
537(0)576--z, 537(0)576--z--1, 537(0)616--618, 547(0)281--z,
547(0)337--z, 547(0)399--z
-
Discrete-log, 537(0)639--z
-
discriminant, 511(0)458--z
-
discrimination, 521(0)337--z, 549(0)455--z
-
Discussion, 532(0)41--z, 563(0)31--z, 563(0)61--z, 563(0)84--z,
563(0)116--z, 563(0)182--z, 563(0)217--z, 563(0)258--z
-
Dishes, 510(0)686--z
-
Disjoint, 516(0)295--z, 519(0)449--z
-
Disjoint, Edge-, 557(0)336--z
-
Disjunctions, 567(0)161--z
-
disjunctive, 535(0)72--z, 542(0)459--z, 542(0)610--z, 566(0)85--z
-
disk, 555(0)359--z
-
Disorder, 555(0)124--z
-
Dispersion, 519(0)355--z
-
displays, 542(0)62--z
-
dissolution, 542(0)570--z
-
distance, 508(0)164--z, 510(0)327--z, 511(0)314--z, 514(0)30--z,
514(0)60--z, 514(0)65--z, 519(0)261--z, 521(0)538--z, 539(0)360--z,
542(0)399--z
-
Distance, {S}-, 507(0)29--z
-
Distinguishing, 575(0)13--z
-
Distributable, 524(0)161--z
-
distributed, 473(0)110--z, 483(0)47--z, 483(0)287--z, 496(0)176--z,
496(0)209--z, 496(0)373--z, 496(0)388--z, 497(0)415--z,
497(0)471--z, 497(0)532--z, 497(0)547--z, 497(0)559--z,
497(0)588--z, 497(0)599--z, 497(0)610--z, 499(0)252--z,
499(0)260--z, 499(0)279--z, 502(0)478--z, 505(0)119--z,
505(0)137--z, 505(0)150--z, 507(0)336--z, 507(0)350--z,
511(0)419--z, 512(0)268--z, 517(0)1--z, 521(0)568--z, 527(0)220--z,
527(0)346--z, 527(0)393--z, 528(0)87--z, 528(0)159--z, 542(0)122--z,
547(0)221--z, 549(0)475--z, 550(0)60--z, 555(0)204--z, 555(0)225--z,
557(0)22--z, 560(0)71--z, 563(0)2--z, 563(0)56--z, 563(0)109--z,
563(0)119--z, 563(0)178--z, 563(0)256--z, 563(0)273--z,
565(0)148--z, 565(0)243--z, 567(0)161--z, 571(0)411--z, 576(0)1--z
-
Distributed-Memory, 506(0)385--z
-
Distributing, 551(0)309--z
-
distribution, 511(0)373--z, 514(0)30--z, 520(0)181--z, 537(0)268--z,
537(0)274--z, 548(0)81--z, 563(0)202--z
-
disturbed, 514(0)215--z
-
Divari, M., 521(0)307--z
-
Divari, M., see Benvenuti, P.
-
Divertible, 473(0)1--z
-
Divide-and-Conquer, 557(0)229--z, 565(0)121--z
-
Dix, Jurgen, 543(0)13--z
-
Dix:1991:CRS, 543(0)13--z
-
Djidjev, H., 519(0)54--z
-
Djidjev, H. N., 510(0)327--z
-
Djidjev:1991:CSP, 510(0)327--z
-
Djidjev:1991:CVD, 519(0)54--z
-
DNA, 496(0)90--z
-
Do, Long Van, 520(0)308--z
-
Do, Long Van, see Nguyen, Huong Lam
-
Dobes, Zuzana, 546(0)670--z
-
Dobes:1991:KST, 546(0)670--z
-
Dobson, V. G., 565(0)196--z
-
Dobson:1991:ANN, 565(0)196--z
-
Document, 497(0)231--z, 497(0)288--z, 507(0)91--z, 537(0)437--z
-
Does, 525(0)471--z, 555(0)132--z
-
Dogsa, T., 550(0)332--z
-
Dogsa, T., see Rozman, I.
-
Dohnal, M., 548(0)63--z
-
Dohnal, M., see Fox, J.
-
Dollin, Chris, 551(0)687--z
-
Dollin:1991:HST, 551(0)687--z
-
Doma, Veronika, 551(0)189--z
-
Doma:1991:ESA, 551(0)189--z
-
domain, 497(0)55--z, 510(0)20--z, 521(0)538--z, 522(0)1--z, 526(0)88--z,
528(0)395--z, 530(0)16--z, 541(0)1--z, 541(0)17--z, 546(0)297--z,
548(0)141--z, 549(0)228--z, 551(0)675--z, 563(0)25--z, 567(0)411--z,
567(0)425--z
-
Domenjoud, E., 520(0)141--z
-
Domenjoud:1991:SSL, 520(0)141--z
-
Domesticating, 528(0)51--z
-
Domik, G., 555(0)91--z
-
Domik:1991:RVU, 555(0)91--z
-
Dominance, 557(0)375--z
-
Domingo-Ferrer, J., 514(0)227--z
-
Domingo-Ferrer, Josep, 473(0)474--z
-
Domingo-Ferrer:1991:CTP, 514(0)227--z
-
Domingo-Ferrer:1991:SRT, 473(0)474--z
-
Dominguez, Salvador, 553(0)37--z
-
Dominguez:1991:PAT, 553(0)37--z
-
DOMINO, 509(0)130--z
-
Doncker, Elise, de, 507(0)293--z
-
Dondossola, G., 549(0)399--z
-
Dondossola, G., see Bertin, A.
-
Dongen, V., Van, 505(0)191--z
-
Donni, F. M., 549(0)88--z
-
Donni:1991:HSD, 549(0)88--z
-
Door, 545(0)374--z
-
Dorigo, M., 496(0)55--z, 549(0)218--z
-
Dorigo, M., see Colorni, A.
-
Dorigo:1991:NPA, 549(0)218--z
-
Dorochevsky, M., 567(0)17--z, 569(0)17--z
-
Dorochevsky:1991:CHG, 569(0)17--z
-
Dorochevsky:1991:DHP, 567(0)17--z
-
Dorre, Jochen, 546(0)33--z, 546(0)39--z, 546(0)55--z
-
Dorre:1991:FNL, 546(0)33--z
-
Dorre:1991:LS, 546(0)39--z
-
Dorre:1991:SW, 546(0)55--z
-
Dosch, W., 544(0)217--z
-
Dosch, W., see Kloos, C. Delgado
-
DOT, 566(0)391--z
-
Dot, 502(0)156--z
-
Double, 532(0)24--z, 557(0)316--z
-
Double-Error, 539(0)118--z
-
Double-Wall, 532(0)564--z
-
Doubtful, 521(0)393--402
-
Dowek, G., 520(0)151--z
-
Dowek:1991:SOP, 520(0)151--z
-
Down, 575(0)83--z
-
Down, Top-, 512(0)360--z, 512(0)360--z--1
-
down, Top-, 524(0)118--z
-
Downs, Joseph, 522(0)13--z
-
Downs:1991:ICR, 522(0)13--z
-
Doyle, 533(0)354--z
-
Doyle, J., 542(0)16--z
-
Doyle:1991:LRD, 542(0)16--z
-
Drabble, Brian, 522(0)27--z
-
Drabble:1991:AAP, 522(0)27--z
-
Drawing, 550(0)101--z
-
Dressler, Oskar, 515(0)1--z
-
Dressler:1991:PPS, 515(0)1--z
-
Drewes, F., 532(0)1--z
-
Drewes:1991:NHR, 532(0)1--z
-
Dreyfus, G., 496(0)231--z
-
Dreyfus, G., see Roussel-Ragot, P.
-
Driankov, D., 548(0)166--z
-
Driankov:1991:TLF, 548(0)166--z
-
Driscoll, J. R., 542(0)266--z
-
Driscoll, J. R., see Wendlandt, E. B.
-
Driven, 507(0)385--z, 509(0)44--z, 534(0)362--z, 541(0)195--z,
575(0)266--z
-
Driven, Data-, 506(0)331--z, 567(0)301--z
-
driven, data-, 535(0)127--z
-
Driven, Metric-, 550(0)290--z
-
Driven, Task-, 531(0)282--z
-
driver, 515(0)1--z
-
Drollinger, D., 567(0)411--z
-
Drollinger, D., see Hanschke, P.
-
Drost, N. J., 527(0)157--z
-
Drost:1991:AFT, 527(0)157--z
-
DSP56000, 473(0)230--z
-
Dual, 508(0)354--z, 539(0)118--z
-
dual-echo, 511(0)175--z
-
Duality, 508(0)379--z, 530(0)1--z
-
duals, 514(0)60--z, 539(0)384--z
-
Duato, J., 505(0)390--z
-
Duato:1991:DDF, 505(0)390--z
-
Dube, S., 510(0)600--z, 555(0)69--z
-
Dube, S., see Culik, K.
-
Dubois, D., 483(0)64--z, 521(0)250--z, 548(0)33--z, 548(0)53--z
-
Dubois, D., see Amarger, S., \see{Cardoso, J.
-
Dubois, Didier, 515(0)87--z
-
Dubois:1991:BOP, 548(0)53--z
-
Dubois:1991:IPH, 521(0)250--z
-
Dubois:1991:PAB, 515(0)87--z
-
Duchamp, G., 510(0)242--z
-
Duchamp:1991:LFF, 510(0)242--z
-
Ducharme, F. A., Maymir-, 499(0)37--z
-
Dugat, V., 514(0)114--z
-
Dugat, V., see Astie-Vidal, A.
-
Dulay, N., 506(0)313--z
-
Dulay, N., see Magee, J.
-
Düllmann, Stephan, 537(0)134--z,
see Buchmann, Johannes A.
-
Dumortier, V., 567(0)309--z
-
Dumortier, V., see Bruynooghe, M.
-
Duncan, J. S., 511(0)343--z, 511(0)358--z
-
Duncan, J. S., see Amini, A. A.,
see Bozma, H. I.
-
Dunham, James George, 537(0)140--z
-
Dunham, James George, see Chuang, Chih-Chwen C.
-
Duplicates, 503(0)354--z
-
Dupre, D., Theseider-, 549(0)177--z
-
Duration, 571(0)21--z
-
Durdanovic, Igor, 533(0)110--z
-
Durdanovic:1991:FGC, 533(0)110--z
-
Duris, P., 510(0)697--z
-
Duris:1991:PMR, 510(0)697--z
-
Durst, Martin J., 553(0)57--z
-
Durst:1991:PDC, 553(0)57--z
-
Dusse, Stephen R., 473(0)230--z
-
Dusse:1991:CLM, 473(0)230--z
-
Dutheillet, C., 483(0)186--z
-
Dutheillet:1991:RSP, 483(0)186--z
-
Dutra, I., de Castro, 569(0)70--z
-
Dutta, S., 525(0)161--z
-
Dutta:1991:TCR, 525(0)161--z
-
Dwork, Cynthia, 576(0)114--128
-
Dwork:1991:VSS, 576(0)114--128
-
dynamic, 496(0)104--z, 496(0)269--z, 496(0)356--z, 496(0)388--z,
497(0)421--z, 503(0)259--z, 507(0)111--z, 510(0)339--z,
511(0)386--z, 519(0)32--z, 519(0)42--z, 519(0)392--z, 520(0)103--z,
520(0)346--z, 523(0)406--z, 525(0)207--z, 528(0)335--z,
534(0)246--z, 542(0)72--z, 542(0)530--z, 550(0)308--z, 553(0)227--z,
557(0)199--z, 557(0)364--z, 565(0)335--z, 565(0)482--z,
566(0)332--z, 566(0)431--z, 567(0)87--z
-
Dynamical, 548(0)161--z, 565(0)304--z
-
Dynamically, 503(0)71--z, 506(0)92--z, 519(0)425--z, 550(0)210--z
-
Dynamically-Typed, 512(0)21--z