Index file section D for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
D
-
D, 140(2)205--230, 147(1)211--248, 148(1)19--32, 186(1)1--41, 218(2)347--417
-
d, 174(1)269--274
-
D'Alessandro, Flavio, 204(1)35--54
-
D'Alessandro, Flavio, see Choffrut, Christian
-
d'Andréa, Gilles, 218(2)273--283
-
d'Argence, Patrick, Le Gouëslier, 196(1)395--415
-
D'Argenio, Pedro R., 177(2)351--380
-
d'un, 156(1)159--176, 158(1)65--79
-
d'une, 161(1)69--92, 209(1)261--285
-
D, 3-, 140(2)319--331
-
d-bit, 197(1)57--77
-
d-code, 182(1)245--256
-
D0L, 164(1)29--40
-
DAG, 159(2)343--354
-
dag, 196(1)109--130
-
Dahlhaus, E., 205(1)261--282
-
Dahlhaus, E., see Andreev, A. E.
-
Dalen, D., van, 197(1)242--z--3
-
Dam, Mads, 183(2)215--228
-
Dam:1997:DPE, 183(2)215--228
-
Damaschke, Peter, 178(1)225--236
-
Damaschke:1997:OPA, 178(1)225--236
-
Dami, Laurent, 192(2)201--231
-
Dami:1998:LCD, 192(2)201--231
-
dAndrea:1999:MSH, 218(2)273--283
-
Danos, V., 197(1)242--z--2, 197(1)247--z
-
Danos, Vincent, 227(1)79--97
-
Danos-Regnier, 197(1)246--z--1
-
Danos:1998:CIC, 197(1)247--z
-
Danos:1998:RIO, 197(1)242--z--2
-
Danos:1999:RIO, 227(1)79--97
-
dans, 159(1)5--13, 164(1)165--183, 180(1)81--113, 204(1)87--98
-
Dányi, G., 194(1)57--85
-
Danyi:1998:CSD, 194(1)57--85
-
DAQV, 196(1)289--317
-
Darboux, 157(1)115--127
-
DArgenio:1997:GCE, 177(2)351--380
-
Darondeau, Philippe, 186(1)107--134
-
Darondeau, Philippe, see Badouel, Eric
-
Dassow, Jürgen, 180(1)353--361
-
Dassow:1997:CCF, 180(1)353--361
-
data, dynamic-, 173(2)513--554
-
data-movement-intensive, 194(1)225--237
-
data-parallel, 162(2)351--369, 189(1)71--107
-
data-types, 216(1)109--157
-
dataflow, 141(1)1--52, 151(1)z--z, 167(1)131--170
-
DATALOG, 166(1)221--262, 190(2)211--239, 193(1)215--244
-
Datalog, 166(1)221--262, 190(2)211--239
-
DATALOG/sup, 193(1)215--244
-
datatypes, 139(1)69--113
-
Datta, Biswa N., 180(1)287--308
-
Datta, Biswa N., see Codenotti, Bruno
-
Datta, Karabi, 180(1)287--308
-
Datta, Karabi, see Codenotti, Bruno
-
Dattasharma, Abhi, 140(2)205--230
-
Dattasharma:1995:AVR, 140(2)205--230
-
David, René, 180(1)371--375
-
David:1997:SPO, 180(1)371--375
-
Davies, Jim, 138(2)243--271
-
Davies:1995:BHT, 138(2)243--271
-
DBMS, 173(1)113--149, 190(2)151--166, 193(1)215--244
-
DCPO, 179(1)421--425
-
dcpos, 175(1)3--13
-
de, 137(2)219--236, 141(1)269--282, 147(1)1--18, 155(1)85--109,
158(1)65--79, 159(1)5--13, 159(1)43--63, 159(1)105--128,
161(1)69--92, 164(1)165--183, 165(2)295--309, 165(2)325--354,
172(1)67--89, 174(1)171--191, 191(1)61--77, 201(1)137--150,
204(1)87--98, 204(1)119--130, 209(1)261--285, 215(1)31--49,
222(1)113--131
-
De Agostino, S., 205(1)261--282
-
De Agostino, S., see Andreev, A. E.
-
De Amo, S., 190(2)115--149
-
De Amo, S., see Bidoit, N.
-
de Falco, L., Tortora, 197(1)248--z--1
-
De Felice, Clelia, 164(1)223--252
-
de Graaf, W. A., 187(1)117--122
-
de Micheaux, N., Lafaye, 154(2)329--348
-
De Nicola, Rocco, 138(2)391--423
-
de Pol, Jaco, van, 200(1)289--312
-
De Prisco, Roberto, 143(1)175--188, 156(1)315--325, 197(1)171--188
-
de'Liguoro, Ugo, 170(1)83--128
-
de'Liguoro, Ugo, see Dezani-Ciancaglini, Mariangiola
-
de-Poissonization, 144(1)161--197
-
dead, 196(1)365--393
-
deadline, 144(1)277--314, 215(1)209--223
-
deadlock, 147(1)117--136, 151(1)195--205, 151(1)z--z, 177(2)329--349,
215(1)225--237
-
deadlock-freedom, 222(1)1--53
-
deBerg:1995:RGD, 140(2)301--317
-
deBoer:1995:NIC, 151(1)37--78
-
deBruin:1998:LDK, 195(1)3--32
-
debugging, 139(1)275--314, 142(2)257--276, 150(1)161--191,
167(1)131--170, 167(1)193--233, 173(1)113--149, 173(1)209--233,
173(1)235--252, 177(1)183--216, 177(2)407--423, 180(1)309--324,
183(2)215--228, 183(2)229--251, 183(2)253--279, 186(1)135--156,
195(2)259--289, 196(1)241--258
-
Dechter, Rina, 173(1)283--308
-
Dechter:1997:LGR, 173(1)283--308
-
decidability, 138(1)3--34, 139(1)1--25, 139(1)27--67, 141(1)253--268,
145(1)111--145, 146(1)243--268, 147(1)149--163, 147(1)165--180,
148(2)227--260, 148(2)281--301, 150(1)1--55, 154(1)23--39,
154(1)107--143, 155(2)321--347, 155(2)447--457, 156(1)119--144,
157(1)115--127, 158(1)161--176, 160(1)145--184, 160(1)185--216,
161(1)93--108, 161(1)141--156, 161(1)191--203, 164(1)29--40,
164(1)123--140, 164(1)141--163, 164(1)223--252, 165(2)247--273,
166(1)1--47, 166(1)173--202, 166(1)291--300, 167(1)171--192,
168(2)241--255, 168(2)z--z, 170(1)1--46, 170(1)445--464,
172(1)67--89, 172(1)309--321, 174(1)217--230, 174(1)269--274,
175(1)15--27, 175(1)127--158, 175(1)z--z, 176(1)67--87,
176(1)111--158, 176(1)175--204, 176(1)235--282, 179(1)301--317,
180(1)61--80, 180(1)203--215, 183(1)83--92, 183(2)215--228,
186(1)231--248, 193(1)149--179, 193(1)181--195, 193(1)197--214,
194(1)87--122, 194(1)219--223, 195(1)33--60, 195(2)113--131,
197(1)79--94, 197(1)245--z, 198(1)1--47, 215(1)169--189,
216(1)363--373
-
decidable, 139(1)1--25, 143(2)269--284, 147(1)87--116, 147(1)149--163,
147(1)165--180, 148(2)227--260, 154(1)107--143, 160(1)185--216,
164(1)223--252, 165(2)247--273, 166(1)1--47, 168(2)241--255,
172(1)67--89, 176(1)111--158, 183(2)215--228, 186(1)231--248,
193(1)181--195, 195(1)33--60, 195(2)113--131, 206(1)317--329
-
deciding, 139(1)315--354, 154(1)107--143, 158(1)143--159,
170(1)445--464
-
decipherability, 172(1)309--321
-
decision, 138(1)35--65, 141(1)133--150, 141(1)283--310, 142(2)229--255,
145(1)45--69, 146(1)199--242, 148(2)227--260, 148(2)325--349,
157(2)161--183, 158(1)161--176, 158(1)343--359, 164(1)13--28,
164(1)141--163, 165(2)247--273, 166(1)1--47, 170(1)1--46,
174(1)269--274, 180(1)1--15, 180(1)47--60, 188(1)59--78,
207(2)329--342, 208(1)111--148, 223(1)1--72, 224(1)157--172,
224(1)319--352
-
decision-tree, 188(1)117--128
-
decisional, 180(1)1--15
-
declarative, 166(1)221--262, 171(1)147--177, 179(1)273--299,
185(2)319--345, 190(2)241--277, 192(1)77--106
-
deco, 159(1)29--42
-
DecOcc, 153(1)171--210
-
decoding, 222(1)55--75
-
decomposability, 145(1)391--396
-
decomposable, 218(2)233--248
-
decomposition, 140(2)265--289, 145(1)391--396, 153(1)271--300,
154(2)247--282, 159(1)65--79, 159(1)105--128, 160(1)87--143,
160(1)365--380, 162(2)225--243, 168(1)121--154, 187(1)105--116,
187(1)117--122, 188(1)59--78, 224(1)35--58
-
décomposition., 159(1)105--128
-
decorations, 199(1)145--166
-
decreasing, 174(1)259--268, 178(1)257--264, 188(1)221--230
-
dedicated, 140(2)319--331
-
deduction, 135(1)67--110, 152(1)91--138, 166(1)173--202, 175(1)75--92,
175(1)z--z, 176(1)159--173, 179(1)273--299, 185(2)217--235,
194(1)240--z--1, 197(1)243--z, 211(1)129--188
-
deduction-style, 169(1)3--21
-
deductive, 142(1)125--138, 146(1)145--184, 160(1)321--363,
190(2)211--239, 206(1)181--218
-
deep, 173(1)235--252
-
default, 149(2)231--255, 160(1)321--363, 170(1)209--244, 170(1)383--406,
171(1)111--146, 177(1)155--182, 220(2)489--513
-
DeFelice:1996:AHF, 164(1)223--252
-
deferred, 149(1)179--199
-
deFigueiredo:1997:ECI, 181(1)91--106
-
definability, 146(1)5--23, 154(1)67--84, 173(1)151--181
-
definable, 154(1)67--84, 169(1)3--21, 194(1)137--161
-
defined, 159(1)129--136, 164(1)165--183, 170(1)245--276--1,
176(1)329--335, 180(1)325--339, 194(1)246--z--2
-
définies, 164(1)165--183
-
defining, 187(1)49--79
-
definite, 142(1)125--138, 154(1)85--106, 173(2)485--511, 192(2)259--286,
193(1)215--244
-
definition, 152(1)1--66, 163(1)117--144, 163(1)309--315, 169(1)113--121,
173(2)445--484, 174(1)157--170, 185(1)47--62, 185(2)379--391,
186(1)1--41, 195(2)259--289, 199(1)57--86
-
definition-folding, unfolding-, 142(1)89--124
-
definition-folding,, Unfolding-, 142(1)89--124
-
deforestation, 167(1)193--233
-
Degano, Pierpaolo, 216(1)237--270
-
Degano:1999:NIS, 216(1)237--270
-
degenerate, 145(1)371--380, 187(1)7--25
-
deGraaf:1997:ADS, 187(1)117--122
-
degree, 147(1)137--147, 155(2)425--438, 157(1)129--136, 161(1)301--306,
161(1)307--314, 177(1)59--71, 180(1)353--361, 181(1)91--106,
181(1)119--139, 181(2)267--287, 194(1)247--z--1, 205(1)261--282
-
degree, constant-, 143(2)335--342
-
degree, fixed-, 141(1)133--150, 161(1)301--306
-
degree, highest-, 161(1)307--314
-
deGroote:1999:ACC, 224(1)115--134
-
Degtyarev, Anatoli, 166(1)291--300
-
Degtyarev:1996:USR, 166(1)291--300
-
Dehornoy, Patrick, 206(1)163--180
-
Dehornoy:1998:TPC, 206(1)163--180
-
del-closed, 183(1)3--19
-
delaClergerie:1998:IFT, 199(1)167--198
-
Delahaye, J.-P., 200(1)261--287
-
Delahaye, J.-P., see Rivals, E.
-
delaHiguera:1997:DET, 175(2)293--308
-
delai, 191(1)61--77
-
delay, 162(2)323--340, 176(1)205--234, 178(1)119--127, 191(1)61--77,
195(2)155--182, 196(1)131--151, 196(1)131--151--1, 198(1)131--158,
204(1)11--28, 205(1)297--306
-
delayed, 188(1)101--116
-
deletion, 183(1)3--19, 185(1)3--13
-
deletions, 144(1)125--159, 154(2)203--224, 180(1)203--215
-
Delorme, Marianne, 218(2)347--417
-
Delorme:1999:DPC, 218(2)347--417
-
delta, 174(1)259--268
-
Delta-grammars, 194(1)247--z
-
{Delta}-grammars, 194(1)247--z
-
Delta-language, 175(1)183--222
-
Delta-languages, 175(1)183--222
-
deLuca:1997:SSM, 178(1)205--224
-
deLuca:1997:SWS, 183(1)45--82
-
deLuca:1998:CCF, 204(1)75--86
-
deLuca:1999:CFW, 218(1)13--39
-
Demange, Marc, 158(1)117--141, 209(1)107--122
-
Demange:1996:AMF, 158(1)117--141
-
Demange:1998:DAA, 209(1)107--122
-
DeMarrais, Jonathan, 226(1)7--18
-
DeMarrais, Jonathan, see Adleman, Leonard M.
-
Demetrovics, J., 190(2)151--166
-
Demetrovics:1998:APK, 190(2)151--166
-
demonic, 149(2)333--360, 159(2)245--270, 160(1)1--85, 166(1)173--202
-
Dempster-Shafer, 171(1)221--246
-
Demri, Stéphane, 166(1)173--202, 195(1)33--60
-
Demri:1996:LAD, 166(1)173--202
-
Demri:1998:CDI, 195(1)33--60
-
den Bussche, Jan, Van, 149(1)49--66
-
Dendris, Nick D., 172(1)233--254
-
Dendris:1997:FSG, 172(1)233--254
-
DeNicola:1995:PAV, 138(2)391--423
-
Denise, Alain, 159(1)43--63, 218(2)233--248
-
Denise:1996:GAU, 159(1)43--63
-
Denise:1999:URG, 218(2)233--248
-
denotational, 151(1)207--256, 155(1)221--264, 162(1)79--115,
168(1)155--212, 170(1)83--128, 170(1)145--171, 176(1)89--110,
177(1)3--25, 179(1)137--202, 179(1)217--250, 183(2)281--315,
197(1)243--z--1, 197(1)244--z, 197(1)247--z--1, 211(1)1--83,
211(1)397--398, 227(1)249--273, 227(1)275--297
-
dense, 138(1)113--139, 161(1)307--314, 174(1)157--170, 179(1)251--271,
189(1)179--219, 196(1)109--130, 201(1)281--290
-
density, 159(1)65--79, 218(1)161--175, 225(1)113--128
-
{D}épendance, 158(1)65--79
-
dependence, 148(2)227--260, 158(1)65--79, 174(1)67--96, 190(2)115--149
-
dependency, 139(1)115--130, 149(1)129--149, 152(2)171--217,
155(1)39--83, 160(1)87--143, 173(1)113--149, 185(2)319--345,
185(2)379--391, 190(2)151--166, 206(1)283--300
-
dependent, 143(2)309--318
-
dependent, class-, 155(1)141--156
-
dependent, f-, 143(2)309--318
-
dependent, time-, 179(1)273--299
-
depoissonization, 201(1)1--62
-
DePrisco:1995:MPL, 143(1)175--188
-
DePrisco:1996:NLB, 156(1)315--325
-
DePrisco:1998:TRV, 197(1)171--188
-
depth, 137(1)109--127, 144(1)221--249, 150(1)57--75, 169(1)67--80,
174(1)137--156, 207(1)159--170, 209(1)47--86
-
depth, constant-, 161(1)141--156, 191(1)97--115
-
depth-1, 158(1)193--219
-
depth-2, 174(1)137--156
-
depth-first, 184(1)105--143
-
der Heide, Friedhelm Meyer, auf, 203(2)175--203
-
der Heide, Friedhelm, Meyer auf, 162(2)245--281, 196(1)181--200
-
der Hoeven, Joris, van, 210(1)199--215
-
derandomization, 221(1)3--18
-
Derencourt, Denis, 163(1)145--160, 191(1)117--129
-
Derencourt, Denis, see Bruyère, Véronique
-
Derencourt:1996:TWC, 163(1)145--160
-
derivation, 139(1)315--354, 139(1)355--362, 152(2)285--303,
155(2)425--438, 159(1)81--102, 161(1)23--68, 167(1)95--130,
179(1)217--250, 185(1)191--213, 191(1)219--228, 194(1)240--z--1,
194(1)245--z
-
derivations, {SLD}-, 211(1)275--309
-
derivative, 138(1)35--65, 155(2)291--319
-
derived, 173(2)393--443, 224(1)291--317
-
Dershowitz, Nachum, 142(2)179--207
-
Dershowitz:1995:NT, 142(2)179--207
-
Desbat, L., 196(1)31--44
-
Desbat, L., see Colombet, L.
-
description, 138(1)35--65, 146(1)243--268, 161(1)157--190,
165(2)325--354, 179(1)251--271, 194(1)247--z--1
-
descriptional, 180(1)181--201, 180(1)353--361
-
descriptive, 151(1)3--27, 191(1)37--59
-
Desel, J., 153(1)49--64
-
Desel:1996:PNM, 153(1)49--64
-
Desharnais, Jules, 149(2)333--360
-
Desharnais:1995:EDS, 149(2)333--360
-
design, 140(1)95--138, 140(1)139--177, 140(2)319--331, 158(1)1--33,
162(1)133--150, 181(1)3--15, 185(2)347--377, 185(2)379--391,
188(1)117--128, 191(1)245--248, 192(2)201--231, 192(2)233--258,
192(2)287--314, 203(1)31--49, 207(1)171--180, 222(1)153--179,
226(1)173--184
-
designC6120, 141(1)283--310
-
designed, 154(1)57--65
-
DESIR-II, 187(1)81--86
-
Dessmark, Anders, 141(1)337--350
-
Dessmark:1995:MLL, 141(1)337--350
-
destination, 140(2)265--289
-
destruction, 155(1)141--156
-
Detecting, 187(1)7--25
-
detection, 141(1)163--173, 142(1)59--87, 186(1)199--230, 215(1)225--237
-
detector, 220(1)3--30
-
determinacy, 163(1)99--116
-
determinant, 161(1)69--92
-
determinate, 192(2)259--286
-
determination, 210(1)173--197
-
determined, 138(1)201--210
-
determining, 197(1)203--234
-
determinism, 142(1)59--87
-
deterministe, 191(1)61--77
-
deterministic, 138(2)273--314, 138(2)315--352, 142(1)59--87,
143(1)159--165, 143(2)269--284, 143(2)285--308, 145(1)391--396,
150(1)111--159, 152(2)219--249, 154(1)23--39, 154(2)183--201,
154(2)225--245, 156(1)71--97, 157(2)259--266, 157(2)273--275,
158(1)221--231, 159(1)43--63, 161(1)141--156, 161(1)301--306,
163(1)193--210, 165(2)275--293, 165(2)355--390, 165(2)475--482,
167(1)171--192, 168(1)39--51, 168(2)241--255, 170(1)209--244,
172(1)135--174, 178(1)1--36, 179(1)251--271, 180(1)181--201,
180(1)217--228, 182(1)233--244, 183(2)281--315, 185(1)15--45,
185(1)63--79, 187(1)105--116, 190(1)41--60, 190(1)61--85,
191(1)37--59, 191(1)61--77, 192(1)55--75, 194(1)57--85,
194(1)163--182, 194(1)240--z--2, 195(1)3--32, 197(1)95--109,
198(1)99--130, 215(1)191--208, 225(1)1--63
-
deterministic, Quasi-, 147(1)87--116
-
deterministic, quasi-, 147(1)87--116
-
determinizable, 211(1)253--273
-
determinization, 169(2)123--145
-
DeTurk, Dennis, 146(1)1--3
-
DeTurk, Dennis, see Scedrov, Andre
-
Devaney, 174(1)157--170
-
developing, 175(1)159--181
-
development, 159(1)5--13, 173(2)445--484, 175(1)159--181,
192(2)287--314, 194(1)242--z--1, 194(1)243--244, 217(1)157--172
-
developmental, 154(2)183--201
-
dévéloppements, 159(1)5--13
-
deviation, 157(2)161--183
-
device, 145(1)159--187, 153(1)245--270, 155(2)365--410, 169(1)23--37,
185(1)3--13, 194(1)123--136
-
Devillers, Olivier, 157(1)35--52
-
Devillers:1996:IRC, 157(1)35--52
-
deVink:1999:BPT, 221(1)271--293
-
devising, 186(1)171--198
-
DEXPTIME, 154(1)107--143, 198(1)99--130
-
Dezani-Ciancaglini, Mariangiola, 170(1)83--128, 212(1)29--75
-
Dezani-Ciancaglini, Mariangiola,
see Berarducci, Alessandro
-
Dezani-Ciancaglini:1996:FMC, 170(1)83--128
-
DFA, 178(1)1--36
-
DFAs, 178(1)1--36
-
Di Cosmo, Roberto, 169(2)201--220
-
Di Gianantonio, Pietro, 221(1)295--326
-
Di Ianni, Miriam, 196(1)131--151
-
dI-domains, 146(1)331--339, 166(1)203--219
-
diagnosis, 203(1)163--173
-
Diagnostic, 139(1)275--314, 142(2)257--276, 150(1)161--191,
167(1)131--170, 167(1)193--233, 173(1)113--149, 173(1)209--233,
173(1)235--252, 177(1)183--216, 177(2)407--423, 180(1)309--324,
183(2)215--228, 183(2)229--251, 183(2)253--279, 186(1)135--156,
195(2)259--289, 196(1)241--258
-
diagnostics, 183(2)229--251
-
diagonal, 165(2)483--490, 168(2)405--416, 188(1)221--230,
222(1)181--186
-
diagonalization, 188(1)101--116
-
diagram, 137(1)145--157, 140(2)265--289, 141(1)283--310, 145(1)45--69,
166(1)1--47, 174(1)193--202, 180(1)47--60, 194(1)247--z--2,
204(1)55--73
-
diamond, 163(1)259--267
-
Diamond, P., 148(1)1--17
-
Diamond:1995:FCS, 148(1)1--17
-
Diaz, J., 201(1)281--290
-
Díaz, Josep, 181(2)267--287
-
Diaz:1997:PAM, 181(2)267--287
-
Diaz:1998:RGC, 201(1)281--290
-
DICHOTOMY, 165(2)483--490
-
Dicky;, Arnold-, 156(1)289--299
-
DiCosmo:1996:CAR, 169(2)201--220
-
dictionary, 158(1)1--33, 162(2)245--281
-
Didier, Gilles, 215(1)31--49
-
Didier:1999:CEA, 215(1)31--49
-
DIEGO, 194(1)248--z--1
-
Diekert, Volker, 224(1)215--235
-
Diekert:1999:SWE, 224(1)215--235
-
Dietzfelbinger, Martin, 168(1)39--51
-
Dietzfelbinger:1996:CTL, 168(1)39--51
-
difference, 144(1)101--124, 157(1)3--33, 185(1)159--175, 187(1)81--86
-
differencing, 178(1)1--36
-
differentiable, 219(1)331--345
-
differential, 138(1)67--100, 144(1)59--65, 147(1)267--298, 157(1)3--33,
157(1)79--90, 157(1)101--114, 157(1)115--127, 157(1)z--z,
162(2)225--243, 187(1)3--6, 187(1)7--25, 187(1)27--48, 187(1)49--79,
187(1)81--86, 187(1)87--104, 187(1)263--284, 187(1)z--z,
197(1)203--234, 209(1)107--122
-
differential-algebraic, 187(1)49--79
-
differential-functional, 144(1)161--197
-
differentially, 144(1)59--65, 162(1)23--44, 187(1)49--79
-
differentiation, 151(1)163--193, 187(1)231--248
-
diffuse, 196(1)215--240
-
diffusion, 187(1)249--262, 209(1)195--211, 209(1)195--z
-
DiGianantonio:1999:ADT, 221(1)295--326
-
digit, 151(1)277--294, 163(1)193--210
-
digital, 138(1)141--168, 144(1)3--58, 144(1)101--124, 144(1)161--197,
144(1)251--275, 147(1)211--248, 151(1)257--276, 151(1)277--294,
151(1)z--z, 154(2)225--245, 156(1)159--176, 159(1)29--42,
162(1)133--150, 162(1)151--170, 173(1)151--181, 176(1)89--110,
178(1)225--236, 191(1)245--248, 196(1)201--214, 197(1)57--77,
226(1)117--142
-
digraph, 145(1)147--157, 168(1)121--154, 203(1)69--90, 203(2)205--223,
207(1)193--201
-
DiIanni:1998:EDR, 196(1)131--151
-
Dijkstra, 146(1)185--197, 159(2)245--270
-
Diks, Krzysztof, 145(1)95--109, 164(1)107--122, 203(1)3--29,
203(1)163--173
-
Diks:1995:AWR, 145(1)95--109
-
Diks:1996:RCF, 164(1)107--122
-
Diks:1998:MGP, 203(1)3--29
-
Diks:1998:SDS, 203(1)163--173
-
Dillon, L. K., 166(1)1--47, 170(1)1--46
-
Dillon, L. K., see Ramakrishna, Y. S.
-
dimension, 137(1)129--144, 137(2)177--217, 172(1)43--65, 175(2)309--335,
178(1)265--273, 180(1)363--370, 188(1)79--99, 210(1)217--223
-
dimension, VC-, 137(1)109--127, 137(1)129--144, 185(1)159--175
-
dimension-exchange, 220(2)363--376
-
dimensional, 134(1)51--61, 164(1)73--106, 168(2)367--404,
187(1)123--145, 187(1)179--202, 187(1)249--262, 221(1)157--177
-
Dimensional, 3-, 145(1)111--145
-
dimensional, -, 221(1)157--177
-
dimensional, higher-, 224(1)237--265
-
dimensional, Multi-, 185(2)319--345
-
dimensional, multi-, 185(2)319--345
-
dimensional, n-, 187(1)123--145
-
dimensional, one-, 148(1)157--163, 174(1)157--170,
188(1)195--209, 205(1)183--193, 217(1)53--80
-
dimensional, three-, 157(1)115--127, 205(1)243--260
-
dimensional, Two-, 164(1)73--106, 218(2)325--346
-
dimensional, two-, 138(1)35--65, 140(2)231--247,
143(1)123--135, 145(1)241--270, 147(1)1--18, 147(1)19--30,
154(2)349--366, 172(1)303--308, 175(2)293--308, 201(1)263--273
-
Dimopoulos, Yannis, 170(1)209--244
-
Dimopoulos:1996:GTS, 170(1)209--244
-
dinaturals, 197(1)242--z--1
-
diophantine, 173(1)183--208
-
direct, 150(1)161--191, 154(2)379--385, 169(2)123--145, 173(1)3--48,
187(1)117--122
-
direct, semi-, 191(1)219--228
-
directed, 127(2)287--312, 143(1)73--91, 151(2)385--435, 152(1)67--89,
154(2)247--282, 154(2)379--385, 157(2)215--225, 158(1)81--115,
158(1)343--359, 159(1)65--79, 159(1)129--136, 159(2)343--354,
168(1)121--154, 171(1)3--24, 174(1)97--121, 175(2)393--406,
178(1)103--118, 178(1)129--154, 194(1)207--218, 194(1)246--247,
203(1)143--150, 221(1)119--137
-
directed-complete, 175(1)3--13
-
direction, 138(1)35--65
-
directional, 140(2)301--317
-
discarded, 173(1)209--233
-
discipline, 221(1)457--493
-
discontinuum, 167(1)73--94
-
discovery, 137(1)53--84
-
discrete, 134(1)51--61, 138(1)3--34, 138(1)35--65, 138(1)67--100,
138(1)101--112, 138(1)113--139, 138(1)201--210, 138(1)211--239,
139(1)163--186, 140(2)231--247, 144(1)3--58, 148(1)67--92,
155(2)321--347, 156(1)1--38, 157(1)z--z, 160(1)241--270,
168(2)405--416, 178(1)225--236, 186(1)1--41, 194(1)240--z,
197(1)157--169, 218(2)347--417, 226(1)7--18
-
discrete-event, 138(1)201--210
-
discrete-time, 144(1)277--314, 221(1)369--392
-
discretization, 134(1)51--61, 157(1)53--77
-
discretized, 143(2)189--249
-
discrimination, 145(1)189--228
-
discussion, 217(1)157--172
-
disease, 145(1)357--369
-
disentailment, 173(1)235--252
-
disjoint, 140(2)205--230, 142(2)229--255, 145(1)27--43, 154(2)165--181,
165(1)97--131, 192(1)107--161
-
disjoint, node-, 181(2)307--316
-
disjointness, 152(1)139--169
-
disjunctions, 155(1)157--177, 173(1)89--112, 180(1)155--168
-
disjunctive, 155(1)157--177, 160(1)321--363, 184(1)105--143,
185(1)47--62, 190(2)167--210, 204(1)99--118, 206(1)181--218
-
disjunctive, conjunctive-, 170(1)83--128
-
disk, 174(1)23--65
-
disorder, 168(1)21--38
-
dispersal, 209(1)87--105
-
displacements, 183(2)187--214
-
dissemination, 147(1)69--85
-
distance, 140(2)291--300, 147(1)211--248, 151(1)29--36, 164(1)185--206,
180(1)203--215, 181(1)159--179, 193(1)113--127, 207(1)181--192
-
distance-hereditary, 172(1)209--232
-
distinct, 165(2)483--490, 193(1)215--244
-
distinguished, 178(1)129--154
-
distributed, 139(1)163--186, 143(1)73--91, 144(1)101--124,
145(1)271--290, 147(1)1--18, 149(1)151--178, 149(2)299--332,
151(1)195--205, 153(1)245--270, 156(1)99--117, 162(2)245--281,
162(2)297--322, 162(2)323--340, 162(2)341--349, 169(2)123--145,
170(1)47--81, 172(1)1--41, 173(1)49--87, 173(1)209--233,
175(2)393--406, 177(2)459--486, 178(1)119--127, 178(1)265--273,
179(1)353--380, 180(1)341--352, 181(1)195--225, 181(2)357--378,
182(1)159--170, 185(2)259--275, 186(1)199--230, 189(1)179--219,
190(2)363--396, 193(1)97--112, 194(1)241--242, 194(1)245--246,
194(1)246--247, 194(1)248--z--1, 195(2)227--258, 195(2)291--324,
196(1)45--70, 196(1)109--130, 196(1)259--288, 196(1)289--317,
203(2)225--251, 216(1)213--235, 220(1)31--65, 227(1)185--220
-
distributed-memory, 143(1)73--91, 147(1)1--18, 175(2)393--406
-
distribution, 144(1)67--99, 144(1)125--159, 147(1)267--298,
148(1)133--140, 155(1)141--156, 155(2)349--363, 156(1)315--325,
159(1)65--79, 162(1)151--170, 162(2)283--296, 164(1)185--206,
168(2)267--301, 181(1)45--56, 181(2)229--245, 181(2)289--306,
184(1)237--245, 192(2)315--351, 200(1)313--334, 220(2)363--376
-
distributive, 139(1)69--113, 143(1)51--72, 162(1)5--21, 165(2)391--405,
167(1)131--170, 208(1)111--148
-
distributivity, 166(1)203--219
-
disturbances, 138(1)141--168
-
disunification, 142(2)229--255
-
Dittrich, Wolfgang, 203(2)175--203
-
Dittrich, Wolfgang, see Baumker, Armin
-
divergence, 138(1)113--139, 139(1)131--162, 159(2)271--317,
177(2)329--349, 177(2)351--380, 179(1)397--419
-
divide, 162(2)283--296
-
divide-and-conquer, 162(2)283--296, 181(2)357--378
-
divisibility, 154(2)349--366
-
division, 171(1)281--302, 174(1)137--156, 194(1)123--136
-
divisor, 162(2)173--223
-
DLOGSPACE, 175(1)183--222, 198(1)99--130
-
DLOGTIME, 148(2)183--205
-
DNA, 143(1)113--122, 145(1)357--369, 185(1)3--13
-
DNF, 175(2)257--270
-
do, 219(1)451--465
-
document, 155(2)439--446, 172(1)67--89, 199(1)231--247
-
DOL, 143(2)269--284, 147(1)87--116
-
Dolev, Shlomi, 182(1)159--170
-
Dolev, Shlomi, see Abello, James
-
domain, 151(1)163--193, 151(1)195--205, 151(1)257--276, 151(1)z--z,
152(1)67--89, 155(1)221--264, 155(1)267--276, 159(2)319--341,
159(2)355--356, 160(1)1--85, 162(2)225--243, 165(1)57--74,
166(1)49--62, 166(1)203--219, 170(1)349--381, 171(1)247--280,
172(1)1--41, 172(1)43--65, 173(1)113--149, 173(1)209--233,
175(1)3--13, 176(1)89--110, 177(1)111--138, 177(1)155--182,
179(1)203--215, 179(1)217--250, 179(1)319--331, 179(1)421--425,
187(1)203--219, 189(1)179--219, 193(1)1--51, 193(1)53--73,
193(1)113--127, 193(1)181--195, 196(1)395--415, 197(1)246--z--2,
216(1)159--211, 219(1)19--48, 219(1)169--184, 222(1)153--179
-
domain;, Scott-, 166(1)203--219
-
domain-independent, 190(2)279--315
-
domain-theoretic, 151(1)163--193, 152(1)67--89, 177(1)155--182,
193(1)53--73, 210(1)73--98
-
domaine, 159(1)5--13
-
domains;, dI-, 146(1)331--339, 166(1)203--219
-
domains;, Scott-, 166(1)203--219
-
dominating, 138(2)273--314, 174(1)23--65, 209(1)123--140
-
domineering, 156(1)263--280
-
domino, 159(1)105--128, 159(1)137--142, 178(1)275--283
-
domino-sun-free, house-hole-, 172(1)209--232
-
don't, 178(1)129--154
-
Donini, Francesco M., 182(1)183--202
-
Donini, Francesco M., see Cadoli, Marco
-
Doornbos, Henk, 179(1)103--135
-
Doornbos:1997:CAM, 179(1)103--135
-
double, 152(2)305--320, 179(1)427--436, 180(1)17--45, 188(1)195--209
-
double-pushout, 184(1)145--193, 194(1)240--z--2, 194(1)247--z
-
double-pushouts, 186(1)43--81
-
doubly, 147(1)249--265
-
Dougherty, Daniel J., 139(1)207--242, 198(1)1--47
-
Dougherty, Daniel J., see Otto, Friedrich
-
Dougherty:1995:CLA, 139(1)207--242
-
down, push-, 199(1)167--198
-
down, top-, 142(1)125--138, 143(2)285--308, 156(1)71--97,
184(1)1--59, 194(1)57--85, 205(1)207--229
-
down;, top-, 156(1)71--97
-
Downarowicz, T., 209(1)377--387
-
Downarowicz:1998:MFM, 209(1)377--387
-
Downey, Rod G., 141(1)109--131
-
Downey, Rodney G., 147(1)31--54, 191(1)97--115, 209(1)123--140
-
Downey, Rodney G., see Bodlaender, Hans L.
-
Downey:1995:FPT, 141(1)109--131
-
Downey:1998:PCC, 191(1)97--115
-
Downey:1998:TDS, 209(1)123--140
-
downwards, 169(1)67--80
-
DPO, 194(1)240--z
-
Dragan, Feodor F., 172(1)209--232
-
Dragan, Feodor F., see Brandstädt, Andreas
-
Drakengren, Thomas, 155(1)267--276, 193(1)181--195
-
Drakengren:1996:USR, 155(1)267--276
-
Drakengren:1998:DCR, 193(1)181--195
-
Drangmeister, Kay U., 203(1)91--121
-
Drangmeister:1998:MEN, 203(1)91--121
-
Drappa, A., 194(1)242--z--1
-
Drappa:1998:UGG, 194(1)242--z--1
-
drawing, 172(1)175--193, 175(2)293--308, 203(1)51--67, 217(2)235--254
-
Drewes, F., 145(1)159--187, 194(1)242--z--2
-
Drewes:1995:GSA, 145(1)159--187
-
Drewes:1998:STG, 194(1)242--z--2
-
driven, 141(1)283--310
-
Drmota, Michael, 144(1)67--99
-
Drmota:1995:MCC, 144(1)67--99
-
Droste, Manfred, 150(1)77--109, 174(1)67--96
-
Droste, Manfred, see Bracho, Felipe
-
Droste:1995:RLC, 150(1)77--109
-
Droubay, Xavier, 223(1)73--85
-
Droubay:1999:PSW, 223(1)73--85
-
DS, Max-f-, 143(2)309--318
-
DSPACE2/sup, 178(1)155--169
-
D/sub, 155(1)267--276
-
DTIME, 179(1)301--317
-
DTM(4,7), 168(2)241--255
-
DTM(5,6), 168(2)241--255
-
DTM(l,n), 168(2)241--255
-
DTMm, 168(2)241--255
-
du, 187(1)263--284
-
Du, Dingzhu, 181(2)227--227
-
Du, Weichang, 185(2)319--345
-
Du, Weichang, see Orgun, Mehmet A.
-
Du, Xiufeng, 207(1)171--180
-
Du:1997:F, 181(2)227--227
-
Du:1998:ASI, 207(1)171--180
-
dual, 155(2)365--410, 159(1)137--142, 160(1)321--363, 172(1)175--193,
226(1)45--59
-
dual, primal-, 207(1)105--116
-
duality, 151(1)3--27, 151(1)79--124, 151(1)z--z, 153(1)271--300,
194(1)207--218, 197(1)243--z--1, 202(1)193--222
-
dually, 172(1)209--232
-
Dubhashi, Devdatt, 181(1)45--56, 203(2)225--251
-
Dubhashi, Devdatt, see Chaudhuri, Shiva
-
Dubhashi, Devdatt P., 148(1)133--140
-
Dubhashi:1995:FML, 148(1)133--140
-
Dubhashi:1998:NOD, 203(2)225--251
-
Dubois, Didier, 171(1)281--302
-
Dubois, Didier, see Bosc, Patrick
-
Dubois, O., 215(1)1--30
-
Dubois, O., see Boufkhad, Y.
-
Dufourd, Catherine, 222(1)187--194
-
Dufourd:1999:PBN, 222(1)187--194
-
Duggan, Dominic, 206(1)1--50
-
Duggan:1998:UEP, 206(1)1--50
-
Dumas, Philippe, 144(1)3--58
-
Dumas, Philippe, see Flajolet, Philippe
-
Dumitrescu, Sorina, 165(2)463--474
-
Dumitrescu:1996:NPG, 165(2)463--474
-
Düntsch, Ivo, 179(1)427--436
-
Duntsch:1997:LRS, 179(1)427--436
-
duplication, 178(1)119--127, 183(1)33--44
-
duplicator, 174(1)97--121
-
Duquenne, Vincent, 217(2)407--436
-
Duquenne:1999:LSD, 217(2)407--436
-
Durand, Arnaud, 160(1)305--320
-
Durand, Bruno, 148(1)19--32, 215(1)225--237, 221(1)61--75
-
Durand-Lose, J. O., 205(1)183--193
-
Durand-Lose:1998:PTT, 205(1)183--193
-
Durand:1995:RNC, 148(1)19--32
-
Durand:1996:FOS, 160(1)305--320
-
Durand:1999:CDD, 215(1)225--237
-
Durand:1999:TQ, 221(1)61--75
-
duration, 138(1)113--139, 138(1)169--199
-
duration-unknown, 174(1)193--202
-
durational, 140(1)73--94
-
Dutheillet, C., 176(1)39--65
-
Dutheillet, C., see Chiola, G.
-
Duval, Jean-Pierre, 204(1)87--98
-
Duval:1998:PLP, 204(1)87--98
-
Dybjer, P., 176(1)329--335
-
Dybjer, Peter, 170(1)245--276--1
-
Dybjer:1996:RID, 170(1)245--276--1
-
Dybjer:1997:RID, 176(1)329--335
-
Dyck, 159(1)15--28
-
Dyckhoff, Roy, 212(1)141--155
-
Dyckhoff:1999:PPI, 212(1)141--155
-
dynamic, 138(1)211--239, 140(2)205--230, 140(2)319--331, 142(1)59--87,
144(1)125--159, 151(1)125--162, 158(1)233--277, 161(1)109--122,
162(2)341--349, 164(1)165--183, 165(2)407--440, 165(2)441--461,
166(1)173--202, 167(1)235--274, 168(2)461--472, 169(2)161--184,
174(1)203--216, 175(2)225--238, 184(1)195--236, 186(1)199--230,
190(2)115--149, 192(2)201--231, 194(1)242--z--1, 195(1)3--32,
199(1)145--166, 216(1)109--157, 217(1)157--172, 229(1)41--102
-
dynamic, semi-, 203(1)69--90
-
dynamic-data, 173(2)513--554
-
dynamical, 138(1)35--65, 138(1)67--100, 138(1)201--210, 143(2)269--284,
145(1)1--26, 158(1)81--115, 163(1)291--302, 164(1)41--57,
168(2)417--459, 168(2)461--472, 174(1)157--170, 174(1)203--216,
178(1)77--102, 180(1)353--361, 180(1)363--370, 187(1)87--104,
201(1)99--136, 217(1)31--51
-
dynamically, 196(1)153--180